Buscar
Mostrando ítems 1-10 de 15
Fibring logics with topos semantics
(Oxford Univ PressOxfordInglaterra, 2003)
Completeness in hybrid type theory
(2014)
We show that basic hybridization (adding nominals and @ operators) makes it possible to give straightforward Henkin-style completeness proofs even when the modal logic being hybridized is higher-order. The key ideas are ...
Completeness in Hybrid Type Theory
(Springer, 2014-05)
We show that basic hybridization (adding nominals and @ operators) makes it possible to give straightforward Henkin-style completeness proofs even when the modal logic being hybridized is higher-order. The key ideas are ...
REMARKS ON HIGHER-ORDER MODAL LOGIC
(Acta Cientifica VenezolanaCaracasVenezuela, 1987)
Análise de custo-efetividade dos inibidores da rapamicina para o tratamento de imunossupressão no transplante renal
(Universidade Federal de Minas GeraisUFMG, 2012-06-15)
Terminal chronic kidney disease can be treated with hemodialysis (HD), peritoneal dialysis (PD) or by means of renal transplantation. Among these three treatment modalities, the transplant is, according to the literature, ...
A evolução das habilidades cognitivas de raciocínio lógico em tecnologia da informação
(Instituto de FísicaPrograma de Pós-Graduação em Ensino, Filosofia e História das CiênciasUFBABrasil, 2018-01-09)
O mercado tecnológico, especialmente o de tecnologia da informação, tem apresentado um ótimo crescimento nos últimos anos. O Brasil é o 5º maior mercado interno de Tecnologia da Informação e Comunicação (TIC) e ocupa o 7º ...
Ensaio e artigo: confluências e divergências entre dois gêneros na esfera acadêmica
(Universidade Federal de UberlândiaBRPrograma de Pós-graduação em Estudos LinguísticosLinguística Letras e ArtesUFU, 2016)
Institución escolar y programa Conectar Igualdad: las escuelas secundarias en su dimensión tecnológica, subjetiva e inter-subjetiva: Un análisis desde las representaciones estudiantiles y docentes (Argentina, 2015)
(2017-12-21)
A partir del año 2010, en Argentina ha sido implementada una de las políticas más importantes de introducción de tecnologías digitales en las escuelas en modalidades 1 a 1: el Programa Conectar Igualdad (PCI). Este se ...