Inicio
Resultado de la Búsqueda
7 Búsqueda de la palabra clave 'Lógica'
Refinar Búsqueda Generar flujo RSS de la Búsqueda.
Enlace permanente de la Búsqueda. Hacer una sugerencia
T�tulo : Lógica matemática Tipo de documento: texto impreso Autores: José Ferrater Mora (1912-1991), Autor ; Hugues Leblanc, Autor Editorial: México, D.F. : Fondo de Cultura Económica Fecha de publicación: 1970 N�mero de páginas: 227 p. Il.: il. Dimensiones: 21 cm. ISBN/ISSN/DL: 970-686-349-4 Nota general: Bibliografía: p. 211-217. - Palabras clave: Lógica simbólica y matemática Lógica matemática [texto impreso] / José Ferrater Mora (1912-1991), Autor ; Hugues Leblanc, Autor . - México, D.F. : Fondo de Cultura Económica, 1970 . - 227 p. : il. ; 21 cm.
ISBN : 970-686-349-4
Bibliografía: p. 211-217. -
Palabras clave: Lógica simbólica y matemática Reserva
Reservar este documento
Ejemplares (1)
Ubicaci?n Signatura C�digo de barras Estado Adquisición Proveedor Biblioteca Central Nivel 2 511.3/F43 000499 Disponible Donación Elga Arguedas (Vda. de Teófilo Iriarte Calderón)
T�tulo : Introducción a la lógica Tipo de documento: texto impreso Autores: Roberto Katayama, Autor Editorial: Lima : Universidad Ricardo Palma, Editorial Universitaria Fecha de publicación: 2003 ISBN/ISSN/DL: 9972-885-52-6 Palabras clave: Lógica simbólica y matemática Nota de contenido: Lógica y lenguaje - Lógica proposicional - Lógica cuantificacional. Introducción a la lógica [texto impreso] / Roberto Katayama, Autor . - Lima : Universidad Ricardo Palma, Editorial Universitaria, 2003.
ISBN : 9972-885-52-6
Palabras clave: Lógica simbólica y matemática Nota de contenido: Lógica y lenguaje - Lógica proposicional - Lógica cuantificacional. Reserva
Reservar este documento
Ejemplares (2)
Ubicaci?n Signatura C�digo de barras Estado Adquisición Proveedor Biblioteca Central Nivel 2 160/K25 000195 Disponible Donación Donación - Ing. Miguel Angel Rodriguez Rea (Dir. de la Edit. de la Universidad Ricardo Palma) Biblioteca Central Nivel 2 160/K25/ej.2 000604 Disponible Compra Librería San Cristóbal
T�tulo : Introducción a la lógica Tipo de documento: texto impreso Autores: Irving Copi M, Autor Editorial: México, D.F. : Limusa Fecha de publicación: 2008 N�mero de páginas: 700 p. Dimensiones: 24 cm. ISBN/ISSN/DL: 978-968-18-4882-8 Palabras clave: Lógica Nota de contenido: Lenguaje - Deducción - Inducción Introducción a la lógica [texto impreso] / Irving Copi M, Autor . - México, D.F. : Limusa, 2008 . - 700 p. ; 24 cm.
ISBN : 978-968-18-4882-8
Palabras clave: Lógica Nota de contenido: Lenguaje - Deducción - Inducción Reserva
Reservar este documento
Ejemplares (5)
Ubicaci?n Signatura C�digo de barras Estado Adquisición Proveedor Biblioteca Central Nivel 2 160.7/C764 002518 Disponible Compra Librería LIBUN Biblioteca Central Nivel 2 160.7/C764/ej.2 002519 Disponible Compra Librería LIBUN Biblioteca Central Nivel 2 160.7/C764/ej.3 002520 Disponible Compra Librería LIBUN Biblioteca Central Nivel 2 160.7/C764/ej.4 002521 Disponible Compra Librería LIBUN Biblioteca Central Nivel 2 160.7/C764/ej.5 002522 Disponible Compra Librería LIBUN
T�tulo : Introducción a la lógica matemática Tipo de documento: texto impreso Autores: Patrick Suppes, Autor ; Shirley Hill, Autor Editorial: Barcelona : Reverté Fecha de publicación: 2004 N�mero de páginas: ix, 278 p. Dimensiones: 22 cm. ISBN/ISSN/DL: 84-291-5150-8 Nota general: Incluye índice - Título original: First course in mathematical logic . Palabras clave: Lógica simbólica y matemática Nota de contenido: Simbolización de proposiciones - Inferencia lógica - Certeza y validez - Tablas de certeza - Términos, predicados y cuantificadores universales - Especificación universal y leyes de identidad - Un sistema matemático simple: axiomas de la adición - Generalización universal. Introducción a la lógica matemática [texto impreso] / Patrick Suppes, Autor ; Shirley Hill, Autor . - Barcelona : Reverté, 2004 . - ix, 278 p. ; 22 cm.
ISBN : 84-291-5150-8
Incluye índice - Título original: First course in mathematical logic .
Palabras clave: Lógica simbólica y matemática Nota de contenido: Simbolización de proposiciones - Inferencia lógica - Certeza y validez - Tablas de certeza - Términos, predicados y cuantificadores universales - Especificación universal y leyes de identidad - Un sistema matemático simple: axiomas de la adición - Generalización universal. Reserva
Reservar este documento
Ejemplares (1)
Ubicaci?n Signatura C�digo de barras Estado Adquisición Proveedor Biblioteca Central Nivel 2 511.3/S94 000196 Disponible Compra -
T�tulo : Lenguajes formales y teorÃa de la computación Tipo de documento: texto impreso Autores: John C. Martin, Autor ; Jorge Luis Blanco y Correa Magallanes, Traductor Menci?n de edici?n: 3a ed. Editorial: México, D.F. : McGraw-Hill Fecha de publicación: 2004 N�mero de páginas: [xviii], 545 p. Dimensiones: 24 cm. ISBN/ISSN/DL: 970-10-4594-7 Nota general: Título original: Introduction to languages and the theory of computation. Palabras clave: Lenguajes formales (Computación) - Lógica matemática Nota de contenido: Notación y técnicas matemáticas - Lenguajes regulares y autómatas finitos - Lenguajes de contexto libre y autómatas finitos con pila - Problemas insolubles y funciones computables - Introducción a la complejidad computacional. Lenguajes formales y teorÃa de la computación [texto impreso] / John C. Martin, Autor ; Jorge Luis Blanco y Correa Magallanes, Traductor . - 3a ed. . - México, D.F. : McGraw-Hill, 2004 . - [xviii], 545 p. ; 24 cm.
ISBN : 970-10-4594-7
Título original: Introduction to languages and the theory of computation.
Palabras clave: Lenguajes formales (Computación) - Lógica matemática Nota de contenido: Notación y técnicas matemáticas - Lenguajes regulares y autómatas finitos - Lenguajes de contexto libre y autómatas finitos con pila - Problemas insolubles y funciones computables - Introducción a la complejidad computacional. Reserva
Reservar este documento
Ejemplares (1)
Ubicaci?n Signatura C�digo de barras Estado Adquisición Proveedor Biblioteca Central Nivel 2 511.3/M26454/2004 004078 Disponible Compra Librería San Cristóbal PermalinkPermalink
