banner
Local cover image
Local cover image
Amazon cover image
Image from Amazon.com
Image from Google Jackets
Image from OpenLibrary

Lógica simbólica para informáticos Julián Iranzo, Pascual

By: Material type: TextTextLanguage: Spanish México, DF : Alfaomega , 2006Description: 299 páginas ; Tablas ; gráficos ; ilustracionesContent type:
  • text
Media type:
  • no mediado
Carrier type:
  • volumen
ISBN:
  • 958-682-600-7
Subject(s): DDC classification:
  • 511.3 I652l
Contents:
INTRODUCCION A LA LOGICA. Qué es la lógica. De qué trata la lógica. Corrección, verdad y analiticidad. Presentación de los sistemas lógicos. LOGICA DE PROPOSICIONES. SEMANTICA. El lenguaje formal de la lógica de enunciados. Conectivas, tablas de verdad y funciones de verdad. Valoración y equivalencia lógica. Conjuntos adecuados de conectivas. Argumentación, validez y consecuencia lógica. CALCULO AXIOMATICO Y PROPIEDADES FORMALES. Sistema formal. Lenguaje objeto y metalenguaje. El sistema formal axiomático L. El concepto de deducción formal. Teorema de la deducción. Propiedades formales de la lógica de enunciados. Ley de intercambio. CALCULO DE DEDUCCION NATURAL. Métodos de prueba y deducción natural. El sistema de deducción natural. Consejos para la resolución de argumentos. Equivalencia entre el sistema L y el de deducción natural. LOGICA DE PREDICADOS. SEMANTICA. Nombres, factores y relatores. Cuantificadores. Lenguaje formal de primer orden. Teoría de modelos. CALCULO AXIOMATICO Y PROPIEDADES FORMALES. El sistema formal axiomático. Teorema de la deducción. Propiedades formales de la lógica de predicados. CALCULO DE DEDUCCION NATURAL. Métodos de prueba y deducción natural. Reglas de inferencia. Consejos para la resolución de argumentos. Equivalencia entre el sistema K y el de deducción natural. EXTENSIONES Y OTRAS LOGICAS. EXTENSIONES DE LA LOGICA DE PREDICADOS. Lógica de predicados de identidad. Tipos. Orden superior. OTRAS LOGICAS. Lógica clásica y otras lógicas. Problemas expresivos y la necesidad de otras lógicas. Lógicas multivalentes. Lógica modal. Lógica temporal. Lógica intuicionista. Lógica no monótona. FUNDAMENTOS MATEMATICOS. Conjuntos. Relaciones y funciones. Números naturales y principio de inducción matemática. REGLAS DE INFERENCIA. Reglas de inferencia básicas. Reglas de Inferencia derivadas. Fórmulas lógicamente equivalentes.
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Copy number Status Notes Barcode
Libros Libros Biblioteca ISUC 511.3 I652l (Browse shelf(Opens below)) Ej, 1 Available Biblioteca ISUC, estantería F, percha 3 , código de libro 000976 000976
Total holds: 0

INTRODUCCION A LA LOGICA. Qué es la lógica. De qué trata la lógica. Corrección, verdad y analiticidad. Presentación de los sistemas lógicos. LOGICA DE PROPOSICIONES. SEMANTICA. El lenguaje formal de la lógica de enunciados. Conectivas, tablas de verdad y funciones de verdad. Valoración y equivalencia lógica. Conjuntos adecuados de conectivas. Argumentación, validez y consecuencia lógica. CALCULO AXIOMATICO Y PROPIEDADES FORMALES. Sistema formal. Lenguaje objeto y metalenguaje. El sistema formal axiomático L. El concepto de deducción formal. Teorema de la deducción. Propiedades formales de la lógica de enunciados. Ley de intercambio. CALCULO DE DEDUCCION NATURAL. Métodos de prueba y deducción natural. El sistema de deducción natural. Consejos para la resolución de argumentos. Equivalencia entre el sistema L y el de deducción natural. LOGICA DE PREDICADOS. SEMANTICA. Nombres, factores y relatores. Cuantificadores. Lenguaje formal de primer orden. Teoría de modelos. CALCULO AXIOMATICO Y PROPIEDADES FORMALES. El sistema formal axiomático. Teorema de la deducción. Propiedades formales de la lógica de predicados. CALCULO DE DEDUCCION NATURAL. Métodos de prueba y deducción natural. Reglas de inferencia. Consejos para la resolución de argumentos. Equivalencia entre el sistema K y el de deducción natural. EXTENSIONES Y OTRAS LOGICAS. EXTENSIONES DE LA LOGICA DE PREDICADOS. Lógica de predicados de identidad. Tipos. Orden superior. OTRAS LOGICAS. Lógica clásica y otras lógicas. Problemas expresivos y la necesidad de otras lógicas. Lógicas multivalentes. Lógica modal. Lógica temporal. Lógica intuicionista. Lógica no monótona. FUNDAMENTOS MATEMATICOS. Conjuntos. Relaciones y funciones. Números naturales y principio de inducción matemática. REGLAS DE INFERENCIA. Reglas de inferencia básicas. Reglas de Inferencia derivadas. Fórmulas lógicamente equivalentes.

There are no comments on this title.

to post a comment.

Click on an image to view it in the image viewer

Local cover image
Share
© 2025 Instituto Superior Universitario Cotopaxi. Todos los derechos reservados.