Showing 61 - 80 results of 151 for search '"mathematical logic"', query time: 0.09s Refine Results
  1. 61
    Cálculo de la transferencia de calor en estado transitorio para una probeta estandarizada para el ensayo Jominy
    Por Gómez Guerrero, Yimerson; Gómez Naizaque, Edwin; Maldonado Monroy, Daniel; Quintero Gamboa, Yina
    Published in 2021
    Repositorio Universidad Santo Tomás

    “... presented in the Python program, combining the mathematical logic with the programmer's codes....”
    Get full text
    Get full text
  2. 62
    Article of journal
    Metodología y algoritmo para encontrar números perfectos en un rango determinado de números naturales usando Programación Funcional
    Published in 2019
    Repositorio Repositorio Institucional - RIBUC
    Get full text
    Get full text
  3. 63
    Trabajo de grado de pregrado
    Estrategias Didácticas Para El Mejoramiento Del Aprendizaje En Las Áreas De Matemáticas, Lenguaje Y Ciencias Naturales En Los Niños De La Fundación Sembrando Esperanza De Armenia Q...
    Por Gutiérrez Guzmán, Natalia.
    Published in 2017
    Repositorio Repositorio Universidad del Quindío

    Get full text
  4. 64
    El método de los (L, n)-modelos: una posible respuesta sobre la independencia de la versión a la Paris-Harrington del teorema de Folkman
    Por Valderrama Hernández, David
    Published in 2021
    Repositorio Universidad Nacional de Colombia

    Get full text
    Get full text
  5. 65
    La hibridez de lo necesario a posteriori
    Published in 2020
    Repositorio Repositorio Institucional U. Caldas
    Get full text
  6. 66
    Article of journal
    La hibridez de lo necesario a posteriori
    Por Miranda Rojas, Rafael
    Published in 2020
    Repositorio Repositorio Institucional U. Caldas

    Get full text
    Get full text
  7. 67
    Trabajo de grado de pregrado
    Informe de práctica profesional realizada en la empresa Leven Company sas de la ciudad de Bogotá
    Por Gómez Restrepo, Alejandro
    Published in 2020
    Repositorio Repositorio Institucional USTA

    Get full text
  8. 68
    Trabajo de grado de pregrado
    Módulo de unificación aritmética pre-hamburguesa y otras teorías decidibles
    Por Ayala Rincón, Mauricio; Tavares Araújo, Ivan E.
    Published in 2001
    Repositorio Repositorio UNAB

    Get full text
  9. 69
    Article of journal
    Tractatus Logico-Juridicus – Sus fundamentos
    Por Yoshino, Hajime
    Published in 2015
    Repositorio Biblioteca Digital Universidad Externado de Colombia

    Get full text
    Get full text
  10. 70
    Trabajo de grado de pregrado
    Col·legi d'esportistes
    Por Hernández Castañeda, Nicolás; Franco Sanabria, Daniel Eduardo
    Published in 2021
    Repositorio Repositorio Institucional USTA

    Get full text
  11. 71
    Article of journal
    El uso de sistemas inteligentes (IA) en el registro de la propiedad industrial
    Por García Rodríguez, Emilio; Duque Arias, David; Manrique, Rubén; Giraldo, Fabian
    Published in 2020
    Repositorio Biblioteca Digital Universidad Externado de Colombia

    Get full text
    Get full text
  12. 72
    Trabajo de grado de pregrado
    Material educativo en línea como apoyo en el desarrollo de procesos lógico matemáticos para el grado de transición
    Por Holguín Mariño, Margareth Julyana; Carrero Poveda, Nidia Pilar
    Published in 2012
    Repositorio Repositorio UNAB

    Get full text
  13. 73
    Iterated forcing with finitely additive measures: applications of probability to forcing theory
    Por Uribe Zapata, Andrés Felipe
    Published in 2023
    Repositorio Universidad Nacional de Colombia

    Get full text
    Get full text
  14. 74
    Doctoral thesis
    Lógicas de lo Real en tres paradigmas del psicoanálisis
    Por Calle Madrid, Carlos Alfonso
    Published in 2020
    Repositorio Repositorio UdeA

    Get full text
  15. 75
    Matemáticas financieras como base del análisis financiero empresarial
    Published in 2017
    Repositorio Repositorio UniAri
    Get full text
  16. 76
    Article of journal
    El rol del holismo y del contextualismo en la interpretación constitucional. Consideraciones a la luz de las categorías teóricas de la tesis de Duhem-Quine
    Por Zezza, Michele
    Published in 2023
    Repositorio Biblioteca Digital Universidad Externado de Colombia

    Get full text
    Get full text
  17. 77
    Article of journal
    Intuitionistic Logic according to Dijkstra’s Calculus of Equational Deduction
    Por Bohórquez, Jaime
    Published in 2008
    Repositorio Repositorio Institucional ECI

    Get full text
  18. 78
    Trabajo de grado de pregrado
    Especificación de la red móvil mediante un enfoque formal similar a wp
    Por Kumar Singh, Awadhesh; Ghanekar, Umesh; Bandyopadhyay, Anup Kumar
    Published in 2005
    Repositorio Repositorio UNAB

    Get full text
  19. 79
    Part of book
    Axiomatic Set Theory à la Dijkstra and Scholten
    Por Acosta, Ernesto; Aldana, Bernarda; Bohórquez, Jaime; Rocha, Camilo
    Published in 2017
    Repositorio Repositorio Institucional ECI

    Get full text
    Get full text
  20. 80
    Part of book
    Axiomatic Set Theory à la Dijkstra and Scholten
    Por Acosta, Ernesto; Aldana, Bernarda; Bohórquez, Jaime; Rocha, Camilo
    Published in 2017
    Repositorio Repositorio Institucional ECI

    Get full text
Search Tools: Get RSS Feed — Email this Search