Escoge la categoría

Lógica y pensamiento formal

Comparte


logica-y-pensamiento-formal-9789588378329-uros
Lógica y pensamiento formal
14541
Este libro ofrece unas notas de clase que son el fruto del ejercicio docente de los profesores de la Escuela de Ciencias Humanas, en los cursos de introducción al pensamiento formal y de lógica. El objetivo principal de este texto es ofrecer una herramienta, tanto a los docentes como a los estudiantes, que facilite la introducción a esta área del conocimiento; lo cual se hace a través del estudio de tres de los sistemas formales más básicos.El presente manual incluye un capítulo sobre lógica proposicional, otro sobre proposicional modal raras veces presente en los manuales de lógica-, y presenta una introducción a la vez suficientemente accesible y conceptualmente rigurosa de la lógica de predicados la cual es, a veces, expuesta o de manera ligera o demasiado elaborada, de tal suerte que requiere mayor formación en lógica. En este libro también se ha hecho un esfuerzo particular de incluir la mayor cantidad posible de ejercicios, de diferentes niveles de dificultad, en cada uno de los capítulos.El libro facilita el desarrollo de competencias mínimas en lógica. Es apropiado para estudiantes que apenas tienen un primer acercamiento a la lógica, al desarrollar capacidades de formalización satisfactorias y creatividad a la hora de resolver problemas.El presente manual incluye un capítulo sobre lógica proposicional, otro sobre proposicional modal raras veces presente en los manuales de lógica-, y presenta una introducción a la vez suficientemente accesible y conceptualmente rigurosa de la lógica de predicados la cual es, a veces, expuesta o de manera ligera o demasiado elaborada, de tal suerte que requiere mayor formación en lógica. En este libro también se ha hecho un esfuerzo particular de incluir la mayor cantidad posible de ejercicios, de diferentes niveles de dificultad, en cada uno de los capítulos.El libro facilita el desarrollo de competencias mínimas en lógica. Es apropiado para estudiantes que apenas tienen un primer acercamiento a la lógica, al desarrollar capacidades de formalización satisfactorias y creatividad a la hora de resolver problemas. El libro facilita el desarrollo de competencias mínimas en lógica. Es apropiado para estudiantes que apenas tienen un primer acercamiento a la lógica, al desarrollar capacidades de formalización satisfactorias y creatividad a la hora de resolver problemas.

Atributos LU

TítuloLógica y pensamiento formal
AutorVarios autores autores
Tabla de ContenidoPrefacio



1. Introducción

1.1 Sobre los razonamientos

1.2 Sobre la justificación

1.3 Sobre el lenguaje

1.4 Sistemas lógicos

1.5 Ejercicios



2. Lógica proposicional

2.1 Traducción: lenguaje natural y lenguaje formal

2.2 Métodos de comprobación semánticos

2.3 Deducción natural

2.4 Ejercicios



3. Lógica proposicional

3.1 Limitaciones de la semántica de LPC

3.2 Sistemas extensionales e intensionales

3.3 Sintaxis

3.4 Semántica

3.5 Otros tipos de limitaciones

3.6 Ejercicios



4. Lógica de predicados

4.1 Sintaxis

4.2 Semántica

4.3 Deducción natural

4.4 Ejercicios



5. Teoría de conjuntos

5.1 Operaciones básicas entre conjuntos

5.2 Productos cartesianos

5.3 Relaciones

5.4 Funciones

5.5 Paradojas de la teoría de conjuntos



Bibliografía



Índice alfabético



Solución a ejercicios seleccionados
TipoLibro
ISXN9789588378329
Año de Edición2008
Núm. Páginas207
Peso (Físico)410
Tamaño (Físico)17 x 24 cm
Acabado (Físico)Tapa Rústica

Títulos Similares