Introducción a la Lógica Matemática por Rogerio Miguel Coelho

Titulo del libro: Introducción a la Lógica Matemática

Autor: Rogerio Miguel Coelho

Número de páginas: 228 páginas

Fecha de lanzamiento: January 12, 2017

Editor: Amazon

Introducción a la Lógica Matemática por Rogerio Miguel Coelho

Obtenga el libro de Introducción a la Lógica Matemática de Rogerio Miguel Coelho en formato PDF o EPUB. Puedes leer cualquier libro en línea o guardarlo en tus dispositivos. Cualquier libro está disponible para descargar sin necesidad de gastar dinero.

Rogerio Miguel Coelho con Introducción a la Lógica Matemática

Este libro tiene como objetivo servir de base para todos los interesados en iniciar sus conocimientos en la Lógica Matemática por intermedio de un lenguaje directo y claro. Por tal motivo, el libro fue dividido en una serie de capítulos concisos abordando la teoría a través de ejemplos.

Cada capítulo tiene ejercicios con preguntas de múltiple opción (ideal para concurso) y preguntas discursivas. Todos los ejercicios vienen con la solución para que el lector pueda verificar la evolución de su aprendizaje.
Para facilitar el estudio a los lectores, al final de cada capítulo el libro cuenta con un resumen con todos los puntos más importantes.

El último capítulo del libro aborda Prolog, un lenguaje de programación que permite resolver problemas de Lógica a través de la computadora. En este capítulo, el lector sabrá donde bajar e instalar un software Prolog, y finalmente, como hacer programas simples para la solución de problemas de Lógica de primer orden.

El libro fue prácticamente dividido en tres partes:
1. Cálculo Proposicional.
1.1 Lenguaje Natural x Lenguaje Matemática.
1.2 Conectivos Lógicos.
1.3 Tabla Verdad.
1.4 Equivalencias Tautológicas.
1.5 Reglas de Inferencia.
1.6 Pruebas de Argumentos.

2 Lógica de los Predicados.
2.1 Cuantificador Existencial.
2.2 Cuantificador Universal.
2.3 Validación de Argumentos.

3 PROLOG.
3.1 - Sintaxis del Lenguaje PROLOG.
3.2 - Sintaxis de los Conectores Lógicos en PROLOG.
3.3 - Sintaxis de los Operadores Matemáticos en PROLOG.
3.4 - Listas en PROLOG.

Los más vendidos Libros