NUEVA BÚSQUEDA Comparte con tus amigos
Resultado de la búsqueda
3 resultado(s) búsqueda de la palabra clave 'simbólica'
Refinar búsqueda Hacer una sugerenciaIntroducción a la lógica / Roberto Katayama
texto impresoAutores: Roberto Katayama, Autor Título : Introducción a la lógica Pie de imprenta: Lima : Universidad Ricardo Palma, Editorial Universitaria, 2003 ISBN: 9972-885-52-6 Contenido: Lógica y lenguaje - Lógica proposicional - Lógica cuantificacional. Palabras Clave: Lógica simbólica y matemática Roberto Katayama, Autor
Introducción a la lógica . - Lima : Universidad Ricardo Palma, Editorial Universitaria, 2003ISBN : 9972-885-52-6
Contenido: Lógica y lenguaje - Lógica proposicional - Lógica cuantificacional. Palabras Clave: Lógica simbólica y matemática Reserva
Reservar este documento
Ejemplares
Ubicación Código Ejemplar 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
texto impresoAutores: Patrick Suppes, Autor ; Shirley Hill, Autor Título : Introducción a la lógica matemática Pie de imprenta: Barcelona : Reverté, 2004 Descripción: ix, 278 p.; 22 cm. Nota general: Incluye índice - Título original: First course in mathematical logic . ISBN: 84-291-5150-8 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. Palabras Clave: Lógica simbólica y matemática Patrick Suppes, Autor ; Shirley Hill, Autor
Introducción a la lógica matemática . - Barcelona : Reverté, 2004ix, 278 p. ; 22 cm.
ISBN : 84-291-5150-8
Incluye índice - Título original: First course in mathematical logic .
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. Palabras Clave: Lógica simbólica y matemática Reserva
Reservar este documento
Ejemplares
Ubicación Código Ejemplar Estado Adquisición Proveedor Biblioteca Central Nivel 2 511.3/S94 000196 Disponible Compra -
texto impresoAutores: José Ferrater Mora (1912-1991), Autor ; Hugues Leblanc, Autor Título : Lógica matemática Pie de imprenta: México, D.F. : Fondo de Cultura Económica, 1970 Descripción: 227 p.: il. ; 21 cm. Nota general: Bibliografía: p. 211-217. - ISBN: 970-686-349-4 Palabras Clave: Lógica simbólica y matemática José Ferrater Mora (1912-1991), Autor ; Hugues Leblanc, Autor
Lógica matemática . - México, D.F. : Fondo de Cultura Económica, 1970227 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
Ubicación Código Ejemplar Estado Adquisición Proveedor Biblioteca Central Nivel 2 511.3/F43 000499 Disponible Donación Elga Arguedas (Vda. de Teófilo Iriarte Calderón)
