Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 7 of 7 for “"Lógica matemática"”.
-
Uso de textos de apoyo como organizador previo: matemáticas para la enseñanza fundamental y media
… referidas a la Enseñanza de las Ciencias y las Matemáticas no quedaron atrás, Motivados por el importante papel atribuido por quienes se han dedicado a los estudios de las didácticas, especialmente en el ámbito de la contextualización, intentamos destacar, entre las diversas atribuciones de un …
-
Una contribución sobre la variedad de las álgebras cilíndricas de dimensión dos libres de elementos diagonales
… en la tarea de realizar investiación en Matemáticas y Lógica Matemática, Aldo V. Figallo, mi pa-dre y director de este trabajo, me sugirió comenzar con el análisis de un sistema proposicional algebrizable, o más preci-samente, la versión algebraica de ese sistema proposicional. Entonces, …
-
Álgebras de De Morgan pseudocomplementadas modales 4-valuadas
… determinamos, en primer lugar, una dualidad topológica para estas álgebras la que nos permitió caracterizar al retículo de las congruencias. Cabe señalar que esta dualidad es utilizada fuertemente a lo largo de todo el trabajo. Además, probamos que las mpM−álgebras constituyen una variedad …
-
Contribución al estudio de ternas de De Morgan generalizadas
Los orígenes de la Lógica Matemática ó Álgebra de la Lógica se sitúan en el trabajo de G. Boole "The Mathematical Analysis of Logic" (Mac Millan, Barclay £ Mac Millan, Cambridge, 1847). Con la aportación de Boole se llegan a construir los sistemas formales necesarios para deducir los teoremas de la …
-
Abordagem Estatística no 4º ciclo do Ensino Fundamental na Escola Estadual Camará: Uma metodologia para o ensino da coleta, organização e interpretação de dados.
Aware of the need to address the contents of the block treatment of information at teaching Fundamental, especially those related to Statistics, you must mount an educational proposal that will serve the elementary school students, with regard to the inclusion of statistical data, thus preparing …
-
Polimorfismo atómico e o teorema da normalização forte
Nesta dissertação provamos, através do sistema Fat (restrição predicativa do sistema polimórfico F de Jean-Yves Girard), que o cálculo proposicional intuicionista é fortemente normalizável considerando β-conversões. Embora o resultado em si seja bem conhecido, a estratégia (via Fat) seguida nesta …
-
Sistema percial em PROLOG no diagnóstico do potencial agrícola de solos
… à ciência do solo suportado pela programação em lógica (linguagem PROLOG), baseado em regras com raciocínio difuso, possibilitando a utilização do conhecimento dos peritos declarados em literatura e armazenados na base de conhecimento do sistema. Foi proposto um sistema pericial que constituiu de …