Usted se encuentra revisando un registro bibliográfico de la BDU Para conocer mas sobre la Base de Datos Unificada haga click en el ícono del home

Titulos:
Lógica simbólica / Manuel Garrido
Idiomas:
spa
ISBN:
9788430937479
Lugar de Edición:
Madrid:
Editor:
Tecnos,
Fecha de Edición:
c2003
Edición #:
4a ed.
Notas Formateada:
Capítulo I: ¿Qué es la lógica? - Capítulo II: El lenguaje de la lógica - Capítulo III: Deducción y consecuencia -- Lógica de enunciados (cálculo de conectores) - Capítulo IV: Tautologías - Capítulo V: Estrategias de deducción natural - Capítulo VI Tablas semánticas - Capítulo 7: Cálculo de reglas derivadas -- Lógica de predicados (cálculo cuantificacional) - Capítulo VIII: Cuantificadores y modelos - Capítulo IX: Deducción cuantificacional - Capítulo X: Silogística - Capítulo XI: Lógica de relaciones - Capítulo XII: Identidad y descripciones -- Axiomatización de la lógica - Capítulo XIII: El método axiomático - Capítulo XIV: Sistemas axiomáticos de lógica elemental - Capítulo XV: Metalógica de enunciados - Capítulo XVI: Metalógica de predicados -- Automatización de la lógica (las bases lógicas de la informática) - Capítulo XVII: Máquinas de Turing - Capítulo XVIII: Métodos booleanos - Capítulo XIX: Deducción automática - Capítulo XX: Lógica y representación del conocimiento - Capítulo XXI: La lógica de internet -- Anexo: Breve historia de la lógica
Palabras clave:
LOGICA SIMBOLICA

Leader:
cam
Campo 003:
AR-BaIT
Campo 008:
090604t2003t sp |||||||||||||||||spa||
Campo 020:
^a9788430937479
Campo 040:
^aITBA^cITBA
Campo 041:
0 ^aspa
Campo 100:
1 ^aGarrido, Manuel^96802
Campo 245:
10^aLógica simbólica /^cManuel Garrido
Campo 246:
Campo 250:
^a4a ed.
Campo 260:
^aMadrid:^bTecnos,^cc2003
Campo 300:
^a540 p.
Campo 490:
1 ^aFilosofía y ensayo
Campo 505:
0 ^aCapítulo I: ¿Qué es la lógica? - Capítulo II: El lenguaje de la lógica - Capítulo III: Deducción y consecuencia -- Lógica de enunciados (cálculo de conectores) - Capítulo IV: Tautologías - Capítulo V: Estrategias de deducción natural - Capítulo VI Tablas semánticas - Capítulo 7: Cálculo de reglas derivadas -- Lógica de predicados (cálculo cuantificacional) - Capítulo VIII: Cuantificadores y modelos - Capítulo IX: Deducción cuantificacional - Capítulo X: Silogística - Capítulo XI: Lógica de relaciones - Capítulo XII: Identidad y descripciones -- Axiomatización de la lógica - Capítulo XIII: El método axiomático - Capítulo XIV: Sistemas axiomáticos de lógica elemental - Capítulo XV: Metalógica de enunciados - Capítulo XVI: Metalógica de predicados -- Automatización de la lógica (las bases lógicas de la informática) - Capítulo XVII: Máquinas de Turing - Capítulo XVIII: Métodos booleanos - Capítulo XIX: Deducción automática - Capítulo XX: Lógica y representación del conocimiento - Capítulo XXI: La lógica de internet -- Anexo: Breve historia de la lógica
Campo 650:
4^9853^aLOGICA SIMBOLICA
Proveniencia:
^aInstituto Tecnológico Buenos Aires (ITBA) - Biblioteca
Seleccionar y guardar el registro Haga click en el botón del carrito
Institucion:
Instituto Tecnológico Buenos Aires (ITBA)
Dependencia:
Biblioteca

Compartir este registro en Redes Sociales

Seleccionar y guardar el registro Haga click en el botón del carrito