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!
|
| LEADER | 01332nam a22001935a 4500 | ||
|---|---|---|---|
| 001 | CEM.cems011147 | ||
| 005 | 20071119153305.0 | ||
| 008 | 130507b######################000#0#####d | ||
| 003 | CEMS | ||
| 020 | |a 8430937471 | ||
| 082 | 0 | 4 | |a 160 |
| 100 | 1 | |a Garrido, Manuel | |
| 245 | 1 | 0 | |a Lógica simbólica / |c Manuel Garrido |
| 250 | |a 4a. ed. | ||
| 260 | |a España : |b Tecnos | ||
| 300 | |a 540 p. | ||
| 505 | 0 | |a 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 | |
| 653 | |a Lógica | ||
| 859 | |a CEMS |b BIB. CEMS - 11 de abril |h 160 |i G193a4 |p 21957.03 |t Ej.1 | ||