Información del autor
Autor Oscar J. Trelles Montero |
Documentos disponibles escritos por este autor (2)
Hacer una sugerencia Refinar búsquedaApuntes de lógica modal / Oscar J. Trelles Montero / Lima : Fondo Editorial de la Pontificia Universidad Católica del Perú (2001)
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 Logique 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 Logique 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
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 Idioma : Español (spa) Clasificación: 160 Logique 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
Idioma : Español (spa)
Clasificación: 160 Logique 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
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. Ing Civil 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
