Lógica simbólica /
Guardado en:
| Autor Principal: | |
|---|---|
| Formato: | Libro |
| Publicado: |
España :
Tecnos
|
| Edición: | 4a. ed. |
| Materias: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Tabla de Contenidos:
- Qué es la lógica?
- El lenguaje de la lógica
- Lógica simbólica
- Deducción y consecuencia
- Lógica de enunciados (cálculo de conectores)
- Tautologías
- Estrategias de deducción natural
- Tablas semánticas
- Cálculo de reglas derivadas
- Lógica de predicados (cálculo cuantificacional)
- Cuantificadores y modelos
- Deducción cuantificacional
- Silogística
- Lógica de relaciones
- Identidad y descripciones
- Axiomatización de la lógica
- El méatodo axiomático
- Sistemas axiomáticos de lógica elemental
- Metalógica de enunciados
- Metalógica de predicados
- Automatización de la lógica (las bases lógicas de la informática)
- Máquinas de turing
- Métodos booleanos
- Deducción automática
- Lógica y representación del conocimiento
- La lógica de Internet
- Breve historia de la lógica