Para poder validar tus códigos, se requiere haber iniciado sesión de usuario previamente.
Inicia sesión aquí

- ISBN: 9789588378329
- SAP: 400277
Lógica y pensamiento formal
Autor:
- Categoría: Filosofía
- Año de edición: 2008
Palabras clave:
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.
Libro Impreso | |
---|---|
Idioma | Español |
Año de Edición | 2008 |
Tamaño | 17 x 24 cm |
Peso | 0.328 kg |
Sello o marca comercial | Editorial Universidad del Rosario |
Número absoluto de páginas | 207 Páginas |
Sap | 400277 |
ISBN | 9789588378329 |
Sku | 14541 |
Prefacio
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 intencionales
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
THEMA |
---|
QD > Filosofía |
QDTL > Filosofía: lógica |
BISAC |
---|
PHI000000 > FILOSOFÍA > General |
Impreso | |
---|---|
Siglo del Hombre: Ir a la tienda | |
Amazon: Ir a la tienda |