Manuales y tutoriales sobre Lógica matemática

Recopilación de manuales de lógica matemática en PDF.

  • portada_curso_mathematicaPDF: Lógica matemática de Carlos Ivorra Castillo de la Universidad de Valencia en uv.es. Lenguajes y modelos. El cálculo deductivo. Teorías axiomáticas. La completitud semántica. La aritmética de Peano. La teoría de Kripke-Platek. La teoría de la recursión. La formalización de la lógica. Incompletitud. Teorías de conjuntos.
  • PDF: Lógica y teoría de conjuntos  de Carlos Ivorra Castillo de la Universidad de Valencia en uv.es.
  • PDF: Apuntes de lógica de la Universidad de Cádiz en uca.es. Resumen del índice de contenidos. Proposiciones y tablas de verdad. Conexión entre proposiciones. Implicación. Equivalencia lógica.
  • PDF: Lógica matemática. Apoyo a la docencia. Universidad Autónoma Metropolitana en uam.mx. Teorías de conjuntos. Lenguajes y sistemas formales. Lógica proposicional. Lógica de predicados. Leguajes y autómatas. Máquinas de Turing.

Bibliografía recomendada.

 

Introducción a la Lógica Matemática

Introducción a la Lógica Matemática de P. Suppes. “El propósito de este libro es introducir al estudiante en el método deductivo de la Matemática moderna, pero se ha intentado escribirlo de manera que lo puedan utilizar los estudiantes con un margen de edad y habilidad muy amplio. Se ha insistido mucho a lo largo del texto en la importancia del problema de traducir a símbolos lógicos o matemáticos proposiciones enunciadas en lenguaje corriente, y se han agregado multitud de ejemplos y ejercicios.”

Lógico Matemática Ejercicios

Lógico Matemática Ejercicios I. Lógica de Enunciados (Universidad filosofía) de Amador Antón.

Lógica computacional

Lógica computacional de Fernando Martín Rubio. “El presente texto pretende servir de elemento base para la adquisición de los fundamentos, conceptos, componentes y enfoques del componente lógico de dichos sistemas.”

Lógica Práctica y Aprendizaje Computacional

Lógica Práctica y Aprendizaje Computacional de Dávila Q. Jacinto A. “Este libro es una composición atrevida de tres temas, uno para cada capítulo: lógica, simulación y aprendizaje automático. La idea que conecta los tres temas es la noción de agente.

En el capítulo 1 se revisa una forma de lógica, la Lógica Computacional, y se le usa como lenguaje de alto nivel para modelar un conjunto de agentes y sus formas de razonamiento.

En el capítulo 2, el foco del libro gira hacia el modelado de los ambientes en los que los agentes se desenvuelven, objetivo habitual de la simulación de sistemas, por lo que se presenta una familia de lenguajes usados para describir sistemas multi-agentes.

En el capítulo 3, el modelo básico de agente es ampliado para incorporarle capacidades de aprendizaje de reglas lógicas. Este esfuerzo culmina con una demostración práctica de la capacidad de estos agentes aprendices para servir a tareas de optimización basada en simulación.”

Lógica matemática

Lógica Matemática. Talleres de iniciación de Margarita María Niño Torres. Tienda Kindle. “Quince talleres gráficos que introducen las reglas del pensamiento lógico. Apto para personas de cualquier edad a partir del ingreso a la escuela secundaria.”

Pensamiento lógico computacional

Pensamiento lógico computacional de David Cárdenas González. “Este eBook tiene el propósito de apoyar a todas las personas interesadas en comenzar sus estudios en el área de computación ya sea que necesiten conocer las partes de un equipo de cómputo o bien que les interese resolver problemas cuya solución se plantea algorítmicamente. Es una herramienta que sirve para desarrollar la capacidad de abstracción de problemas, síntesis de información y un pensamiento estructurado que permitirá tomar decisiones y resolver inconvenientes de forma efectiva, lo cual sirve como punto de partida para quienes deseen, por ejemplo, aprender a desarrollar aplicaciones.”

Desarrollo del Pensamiento Lógico y Matemático

Desarrollo del Pensamiento Lógico y Matemático (4ª Ed.) de José A. Fernández Bravo.

Lógica matemática: Introducción a la lógica matemática

Lógica matemática: Introducción a la lógica matemática de A.N. Kolmogórov / A.G. Dragalin.

Software matemático.

Hoy en día resulta una herramienta muy didáctica disponer de software ó calculadoras científicas que nos ayuden a llegar a las soluciones, adquirir conceptos (debido a la posibilidad de crear gráficas fácilmente) y finalmente a confirmar nuestros cálculos. En los siguientes enlaces hacemos una relación de los más utilizados:

Calculadoras científicas.

Para estudios universitarios y profesiones técnicas recomendamos los siguientes modelos más avanzados. Corresponden a los mejor valorados por los usuarios de Amazon.
B00842KGIW

 Canon F-789SGA – Calculadora científica, gris de Canon.

B004DBAHQE

HP F2215A – Calculadora financiera (desconexión automática), color negro de HP.

B00ID71L32

Casio FX-570ES Plus – Calculadora (Escritorio, Batería, Mostrar, Gris, Plata, Botones, Dot-matrix) de Casio.

B0000CAQ0C

HP 17BII+ – Calculadora científica, negro de HP.

B004EQ3CYM

Casio FX-7400GII – Calculadora gráfica de Casio.

 

Más manuales de matemáticas …

Más enlaces sobre lógica matemática:

4.67 avg. rating (88% score) - 3 votes

Deja tu comentario...

will not be published