Results 41 to 50 of about 3,414 (118)
Hacia la formalización del razonamiento ecuacional sobre mónadas [PDF]
, 2014 Una de las grandes ventajas de los lenguajes funcionales puros es que permiten ser razonados ecuacionalmente, de esta forma, se facilita la verificación de su corrección.
Lobo Vesga, Elisabet
core
Sobre la Fundamentación desde el Yo. [PDF]
, 2006 Este artículo se centra en la acción del intelecto. Leonardo Polo difiere de Hegel en la interpretación de esta actividad y en el subsiguiente papel atribuido al inteligible. Por esta razón investigo la congruencia del conocimiento como espontaneidad.
Padial, J.J. (Juan José)
core
Del monito a Juan Pueblo. Las imágenes de Monos y Monadas entre 1934 y 1936
, 2006 Desde mediados de 1934 aparecio en Rosario una nueva publicacion semanal de actualidades, cultura y entretenimientos. Se trataba de Monos y Monadas La revista de Rosario, cuyo grupo periodistico se proponia reflejar la vida intensa y acelerada de esta ...
Lorena V. Mouguelar
semanticscholar +1 more source
En torno a la dinámica de Leibniz. La trama histórica de un camino que desde la metafísica condujo a la física [PDF]
, 2002 La geometría euclídiana y la mecánica de Newton están profundamente arraigadas en la concepción clásica del mundo físico Por esta razón, las teorías del pasado que han tenido insuficiencias son rápidamente olvidadas, y es tarea de los historiadores de la
Menéndez, Vicente
core
Ciência & Educação, 2014 Este trabalho integra um projeto que investiga relações entre processos identitários docentes, reformas curriculares em nível de Ensino Médio e a noção de disciplina escolar.
Maria Inês Petrucci-Rosa
doaj +1 more source
Pandemia y plataformas: capitalismo, controlatorios y coronavirus [PDF]
, 2020 Este artículo indaga algunas transformaciones que los encierros y hacinamientos del escenario pandémico dejan en evidencia. Primero presentaremos una serie de mutaciones en el capitalismo que apuntalan el diagrama de las formaciones sociales ...
Rossi, Luis Sebastián Ramón
core
Construcción de un compilador y un intérprete de Scheme usando Haskell [PDF]
, 2015 El objetivo de este trabajo ha sido crear un compilador e intérprete del lenguaje Scheme, usando Haskell. Para ello se ha hecho uso de un parser monádico como es Parsec.
Nebrera Perdomo, Francisco
core
NARRATIVAS FEMININAS GUAJAJARA E AKRÃTIKATÊJÊ NO ENSINO SUPERIOR
e-Mosaicos, 2018 Homens e mulheres pertencentes a povos originários ocupam universidades brasileiras pelas recentes políticas de cotas. Com isso, vão provocando estranhamentos, reflexões, desafios e mobilizações a esses espaços que devem promover além da entrada ...
Elison Antonio Paim +1 more
doaj +1 more source