En te recopilación encontrarás PDF de Universidades o blogs especializados sobre temas de lógica matemática tales como teorías de conjuntos, cálculos deductivos, teorías axiomáticas, semántica, etc.
También incluimos una selección de libros de teoría y ejercicios de lógica y como no su aplicación a la computación. Esperamos que te resulten de utilidad, por favor comparte si conoces recursos interesantes relacionados. Gracias !
Recopilación de manuales de lógica matemática en PDF.
- PDF: 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 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 I. Lógica de Enunciados (Universidad filosofía) de Amador Antón.
Lógica computacional de Fernando Martín. «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 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. 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 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 (4ª Ed.) de José A. Fernández Bravo.
Lógica matemática: Introducción a la lógica matemática de A.N. Kolmogórov / A.G. Dragalin.
«Los autores eminentes lógicos y matemáticos soviéticos, ejercieron una marcada influencia en el estilo y la dirección de las investigaciones en el campo de la lógica y la filosofía en esta ciencia a nivel mundial.
El primer capítulo constituye por sí mismo un curso inicial mínimo de esta disciplina; al final del libro se presentan dos anexos relacionados con diferentes aplicaciones prácticas del material de este capítulo (códigos con corrección de errores y esquemas de contacto).
En el segundo capítulo se analiza la semántica de los lenguajes lógico-matemáticos desde un punto de vista más específico. El tercer capítulo está dedicado a la deducibilidad y a las teorías de primer orden.
La forma misma de exposición de los resultados fundamentales de la lógica moderna (elementos de la teoría de conjuntos, fundamentos de la lógica de proposiciones y la lógica de predicados) no supone una preparación especial por parte del lector, lo que hace que este libro sea accesible a toda persona interesada en esta disciplina y los problemas filosóficos de esta ciencia moderna.»
Software matemático.
Hoy en día resulta una herramienta muy didáctica disponer de software o 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:
- MAPLE, resulta ideal para la resolución de problemas matemáticos, cálculo y álgebra en maplesoft.com. Tienes un manual en PDF de Maple 8 (de la UOC).
-
Mathics, es una alternativa gratis. Tiene menos funcionalidades y documentación, pero carga poco el sistema y sirve perfectamente para la mayoría de usuarios. Esta es su web mathics.net, allí encontrarás toda la información.
-
Enlace con la versión de evaluación (trial) de Mathematica en wolfram.commathematica-trial, con 30 días de prueba.
-
CDF Player, permite interaccionar con aplicaciones del proyecto de demostraciones de Wolfram. Explorar documentos interactivos en el navegador de web y ver ejemplos, informes y archivos de Mathematica.
-
Simulink by Mathworks, simulación y diseño para Matlab. Ver vídeo de demostración. Link de descarga de la prueba de evaluación.
-
Mathematica. Su potencia de procesamiento numérico es muy elevada, abarcando casi todos los campos del cálculo, álgebra y matemáticas aplicadas. Su aprendizaje es un gran activo que podremos utilizar toda la vida como apoyo científico-matemático.
- MATLAB® es un programa de cálculo numérico orientado a matrices. Su nombre deriva de la contracción MATrix LABoratory o “Laboratorio de matrices” en español. Enlace a manuales.
Calculadoras científicas.
Para determinados trabajos y para estudios universitarios y profesiones técnicas recomendamos los siguientes modelos más avanzados. Corresponden a los mejor valorados por los usuarios de Amazon.
Canon F-789SGA – Calculadora científica de Canon.
- Teclado antibacteriano.
- Capacidad de alto nivel. 605 funciones avanzadas.
- Simplifica las ecuaciones más complicadas.
- Alimentación doble: luz solar y pila reemplazable.
HP F2215A Calculadora financiera (desconexión automática), color negro de HP.
Casio FX-570ES Plus Calculadora (Escritorio, Batería, Mostrar, Gris, Plata, Botones, Dot-matrix) de Casio.
HP 17BII+ – Calculadora científica, negro de HP.
Casio FX-7400GII – Calculadora gráfica de Casio. 1200 funciones. Conexión PC.
