Sistema de Bibliotecas

Apuntes de lógica modal / Oscar J. Trelles Montero / Lima : Fondo Editorial de la Pontificia Universidad Católica del Perú (2001)

Público ISBD Vista personalizada Título : Apuntes de lógica modal Tipo de documento: texto impreso Autores: Oscar J. Trelles Montero, Autor Mención de edición: Primera edición Editorial: Lima : Fondo Editorial de la Pontificia Universidad Católica del Perú Fecha de publicación: 2001 Número de páginas: 235 páginas Il.: diagramas Dimensiones: 20 cm ISBN/ISSN/DL: 978-9972-42-432-8 Nota general: Incluye referencias bibliográficas Idioma : Español (spa) Clasificación: [Agneaux] ASPECTOS SOCIALES - PERÚ Clasificación: 160 Lógica Nota de contenido: Las nociones modales -- Semántica T, S4 y S5 -- Los sistemas de deducción natural T, es S4 y S5 -- Lógica cuántica cuantificación al modal -- Deducción natural cuantificación modal -- Lógica deóntica -- DNDT, DNDS4, DNDS5 -- Lógica temporal -- Lógica modal óntica, temporal y deóntica. Link: https://biblioteca.unap.edu.pe/opac_css/index.php?lvl=notice_display&id=91146 Apuntes de lógica modal [texto impreso] / Oscar J. Trelles Montero, Autor  . -  Primera edición . - Lima : Fondo Editorial de la Pontificia Universidad Católica del Perú, 2001 . - 235 páginas : diagramas ; 20 cm. ISBN : 978-9972-42-432-8 Incluye referencias bibliográficas Idioma : Español (spa) Clasificación: [Agneaux] ASPECTOS SOCIALES - PERÚ Clasificación: 160 Lógica Nota de contenido: Las nociones modales -- Semántica T, S4 y S5 -- Los sistemas de deducción natural T, es S4 y S5 -- Lógica cuántica cuantificación al modal -- Deducción natural cuantificación modal -- Lógica deóntica -- DNDT, DNDS4, DNDS5 -- Lógica temporal -- Lógica modal óntica, temporal y deóntica. Link: https://biblioteca.unap.edu.pe/opac_css/index.php?lvl=notice_display&id=91146 Apuntes de lógica modal Trelles Montero, Oscar J. - Lima : Fondo Editorial de la Pontificia Universidad Católica del Perú - 2001 Incluye referencias bibliográficas Las nociones modales -- Semántica T, S4 y S5 -- Los sistemas de deducción natural T, es S4 y S5 -- Lógica cuántica cuantificación al modal -- Deducción natural cuantificación modal -- Lógica deóntica -- DNDT, DNDS4, DNDS5 -- Lógica temporal -- Lógica modal óntica, temporal y deóntica.

Reserva

Reservar este documento

Ejemplares (1)

Código de barras	Signatura	Tipo de medio	Ubicación	Sección	Estado
35771-83229-01	160 T79A	Libros	Biblioteca Central	Area Sociales ( 1er. Piso )	Disponible

Introducción a la lógica / Oscar J. Trelles Montero / Lima : Pontificia Universidad Católica del Perú (2000)

Público ISBD Vista personalizada Título : Introducción a la lógica Tipo de documento: texto impreso Autores: Oscar J. Trelles Montero, Autor ; Emiliano Diógenes Rosales Papa, Autor Mención de edición: Primera edición Editorial: Lima : Pontificia Universidad Católica del Perú Fecha de publicación: 2000 Número de páginas: 388 páginas Il.: ilustraciones, tablas Dimensiones: 20 cm ISBN/ISSN/DL: 978-9972-1-0192-2 Nota general: Incluye referencias bibliográficas: paginas 371-379 Idioma : Español (spa) Clasificación: 160 Lógica Nota de contenido: Conceptos básicos -- Lógica proposicional: aspectos semánticos -- Simbolización y aplicaciones -- Consecuencia semántica -- Lógica cuantificacional: introducción -- Simbolización -- Inferencias clásicas -- El sistema de deducción natural proposicional -- Lógica cuantificacional: el método DN -- El sistema de diagramas sintácticos (SDS). Link: https://biblioteca.unap.edu.pe/opac_css/index.php?lvl=notice_display&id=20881 Introducción a la lógica [texto impreso] / Oscar J. Trelles Montero, Autor ; Emiliano Diógenes Rosales Papa, Autor  . -  Primera edición . - Lima : Pontificia Universidad Católica del Perú, 2000 . - 388 páginas : ilustraciones, tablas ; 20 cm. ISBN : 978-9972-1-0192-2 Incluye referencias bibliográficas: paginas 371-379 Idioma : Español (spa) Clasificación: 160 Lógica Nota de contenido: Conceptos básicos -- Lógica proposicional: aspectos semánticos -- Simbolización y aplicaciones -- Consecuencia semántica -- Lógica cuantificacional: introducción -- Simbolización -- Inferencias clásicas -- El sistema de deducción natural proposicional -- Lógica cuantificacional: el método DN -- El sistema de diagramas sintácticos (SDS). Link: https://biblioteca.unap.edu.pe/opac_css/index.php?lvl=notice_display&id=20881 Introducción a la lógica Trelles Montero, Oscar J.Rosales Papa, Emiliano Diógenes - - Lima : Pontificia Universidad Católica del Perú - 2000 Incluye referencias bibliográficas: paginas 371-379 Conceptos básicos -- Lógica proposicional: aspectos semánticos -- Simbolización y aplicaciones -- Consecuencia semántica -- Lógica cuantificacional: introducción -- Simbolización -- Inferencias clásicas -- El sistema de deducción natural proposicional -- Lógica cuantificacional: el método DN -- El sistema de diagramas sintácticos (SDS).

Reserva

Reservar este documento

Ejemplares (4)

Código de barras	Signatura	Tipo de medio	Ubicación	Sección	Estado
34-0702-01	160 T79	Libros	Bib. Esp. Ciencias Fís. Matemáticas	Estanteria (Libros)	Disponible
17733-56429-01	160 T79	Libros	Biblioteca Central	Area Sociales ( 1er. Piso )	Disponible
17733-58685-02	160 T79	Libros	Biblioteca Central	Area Sociales ( 1er. Piso )	Disponible
17733-59108-03	160 T79	Libros	Biblioteca Central	Area Sociales ( 1er. Piso )	Disponible

---

1 (1 - 2 / 2)