Principal   Biblioteca   Software   Enlaces   Glosario   Grupos de trabajo   Administradores
Contactar

:: Biblioteca :: Buscar

*Categoría   :: Biblioteca :: Fundamentos :: Lógica Básica
*Depositado por   Maria Manzano, e-mail: mara@usal.es
*Depositado el   28-07-2005
*Título   Apuntes de Lógica
*Autor   Ian Hodkinson, Antonia Huertas y María Manzano
Editorial   Summa Logicae USAL
*Fecha de creación   03-05-2005
Página Web  
Código  
*Idioma   Español/Spanish
*Formato   .pdf (Adobe)
*Claves Cálculo de tableux semánticos
Lógica de primer orden
Lógica proposicional
Diagramas
Tipo Título Archivo Opciones
Indice Índice: Apuntes de Lógica resumenr2002.pdf
Libro Libro completo: Apuntes de lógica ApuntesDeLogica.pdf
Capitulo Capítulo 1: Introducción general IntroduccionGeneral2002.pdf
Capitulo Capítulo 2: El lenguaje de la lógica proposicional Lenguajeproposicionalr2002.pdf
Capitulo Capítulo 3: Semántica proposicional SemanticaProposicional2002.pdf
Capitulo Capítulo 4: Tableaux semánticos Tableauxproposicional2002.pdf
Capitulo Capítulo 5: Teoría básica de conjuntos BasicaConjuntos2002.pdf
Capitulo Capítulo 6: Diagramas de Venn DiagramasdeVenn2002.pdf
Capitulo Capítulo 7: Relaciones y funciones relaciones2002.pdf
Capitulo Capítulo 8: Introducción lógica primer orden Introduccionprimerorden2002.pdf
Parte Capítulo 9: El lenguaje de la lógica de primer orden Lenguajeprimerorden2002.pdf
Capitulo Capítulo 10: Semántica de primer orden SemanticaPrimerOrden2002.pdf
Capitulo Capítulo 11: Tableaux para la lógica de primer orden TableauxPrimerOrden2002.pdf

     << Atras