Información de la indexación
Documentos en la biblioteca con la clasificación 624.183402 (44)
Lenguajes formales y teoría de la computación / John C. Martín / México, D.F. : McGraw.Hill/Interamericana (2004)
Título : Lenguajes formales y teoría de la computación Tipo de documento: texto impreso Autores: John C. Martín, Autor ; Jorge Luis Blanco y Correa Magallanes, Traductor ; Jorge Luis Blanco y Correa Magallanes, Traductor ; Jorge Luis Blanco y Correa Magallanes, Traductor Editorial: México, D.F. : McGraw.Hill/Interamericana Fecha de publicación: 2004 Número de páginas: xvii, 545 páginas Il.: ilustraciones ISBN/ISSN/DL: 978-970-10-4594-7 Nota general: Título original en inglés: Introduction to languajes and the theory of computation, Idioma : Español (spa) Idioma original : Inglés (eng) Clasificación: 624.183402 Hormigón. Manuales Link: https://biblioteca.unap.edu.pe/opac_css/index.php?lvl=notice_display&id=25065 Lenguajes formales y teoría de la computación [texto impreso] / John C. Martín, Autor ; Jorge Luis Blanco y Correa Magallanes, Traductor ; Jorge Luis Blanco y Correa Magallanes, Traductor ; Jorge Luis Blanco y Correa Magallanes, Traductor . - México, D.F. : McGraw.Hill/Interamericana, 2004 . - xvii, 545 páginas : ilustraciones.
ISBN : 978-970-10-4594-7
Título original en inglés: Introduction to languajes and the theory of computation,
Idioma : Español (spa) Idioma original : Inglés (eng)
Clasificación: 624.183402 Hormigón. Manuales Link: https://biblioteca.unap.edu.pe/opac_css/index.php?lvl=notice_display&id=25065
Lenguajes formales y teoría de la computación
Martín, John C. - México, D.F. : McGraw.Hill/Interamericana - 2004
Título original en inglés: Introduction to languajes and the theory of computation,
Reserva
Reservar este documento
Ejemplares (1)
Código de barras Signatura Tipo de medio Ubicación Sección Estado 21533-63021-01 511.3 M26 2004 Libros Biblioteca Central Area Ingenierías ( 1er. Piso ) Disponible Lenguajes, gramáticas y autómatas / Rafel Cases Muñoz / México, D.F. : Alfaomega (2002)
Título : Lenguajes, gramáticas y autómatas : curso básico Tipo de documento: texto impreso Autores: Rafel Cases Muñoz, Autor ; Lluís Márquez Villodre, Autor ; Lluís Márquez Villodre, Autor ; Lluís Márquez Villodre, Autor Mención de edición: Primera edición Editorial: México, D.F. : Alfaomega Fecha de publicación: 2002 Colección: Alfaomega Número de páginas: 226 páginas Il.: ilustraciones, diagramas, tablas Dimensiones: 25 cm ISBN/ISSN/DL: 978-970-15-0775-9 Nota general: Incluye referencias bibliográficas; índice alfabético Idioma : Español (spa) Clasificación: 624.183402 Hormigón. Manuales Nota de contenido: Lenguajes formales -- Gramáticas incontextuales -- Normalización de gramáticas -- Autómatas finitos -- Minimización de autómatas finitos -- Expresiones regulares y gramáticas regulares -- Propiedades de iteración -- Autómatas de pila -- Autómatas bidireccionales -- Simopsis del curso. Link: https://biblioteca.unap.edu.pe/opac_css/index.php?lvl=notice_display&id=23744 Lenguajes, gramáticas y autómatas : curso básico [texto impreso] / Rafel Cases Muñoz, Autor ; Lluís Márquez Villodre, Autor ; Lluís Márquez Villodre, Autor ; Lluís Márquez Villodre, Autor . - Primera edición . - México, D.F. : Alfaomega, 2002 . - 226 páginas : ilustraciones, diagramas, tablas ; 25 cm. - (Alfaomega) .
ISBN : 978-970-15-0775-9
Incluye referencias bibliográficas; índice alfabético
Idioma : Español (spa)
Clasificación: 624.183402 Hormigón. Manuales Nota de contenido: Lenguajes formales -- Gramáticas incontextuales -- Normalización de gramáticas -- Autómatas finitos -- Minimización de autómatas finitos -- Expresiones regulares y gramáticas regulares -- Propiedades de iteración -- Autómatas de pila -- Autómatas bidireccionales -- Simopsis del curso. Link: https://biblioteca.unap.edu.pe/opac_css/index.php?lvl=notice_display&id=23744
Lenguajes, gramáticas y autómatas
Cases Muñoz, RafelMárquez Villodre, Lluís ; Márquez Villodre, Lluís ; Márquez Villodre, Lluís - - México, D.F. : Alfaomega - 2002
Incluye referencias bibliográficas; índice alfabético
Lenguajes formales -- Gramáticas incontextuales -- Normalización de gramáticas -- Autómatas finitos -- Minimización de autómatas finitos -- Expresiones regulares y gramáticas regulares -- Propiedades de iteración -- Autómatas de pila -- Autómatas bidireccionales -- Simopsis del curso.
Reserva
Reservar este documento
Ejemplares (2)
Código de barras Signatura Tipo de medio Ubicación Sección Estado 23-0538-01 511.3 C32 Libros Bib. Esp. Ing Sistemas Estanteria (Libros) Disponible 20339-60887-01 511.3 C32 V.775 Libros Biblioteca Central Area Ingenierías ( 1er. Piso ) Disponible Lógica para ciencia de la computación / Leopoldo Bertossi Duran / Santiago : Pontificia Universidad Católica de Chile (1996)
Título : Lógica para ciencia de la computación Tipo de documento: texto impreso Autores: Leopoldo Bertossi Duran, Autor Editorial: Santiago : Pontificia Universidad Católica de Chile Fecha de publicación: 1996 Colección: Textos Universitarios Número de páginas: 302, [8] páginas Il.: ilustraciones, diagramas ISBN/ISSN/DL: 978-956-14-0404-5 Idioma : Español (spa) Clasificación: 624.183402 Hormigón. Manuales Link: https://biblioteca.unap.edu.pe/opac_css/index.php?lvl=notice_display&id=21491 Lógica para ciencia de la computación [texto impreso] / Leopoldo Bertossi Duran, Autor . - Santiago : Pontificia Universidad Católica de Chile, 1996 . - 302, [8] páginas : ilustraciones, diagramas. - (Textos Universitarios) .
ISBN : 978-956-14-0404-5
Idioma : Español (spa)
Clasificación: 624.183402 Hormigón. Manuales Link: https://biblioteca.unap.edu.pe/opac_css/index.php?lvl=notice_display&id=21491
Lógica para ciencia de la computación
Bertossi Duran, Leopoldo - Santiago : Pontificia Universidad Católica de Chile - 1996
Reserva
Reservar este documento
Ejemplares (1)
Código de barras Signatura Tipo de medio Ubicación Sección Estado 18288-57346-01 511.3 B46 Libros Biblioteca Central Area Ingenierías ( 1er. Piso ) Disponible Lógica Computacional / Enrique Paniagua Arís / Madrid [España] : Thomson Editores (2003)
Título : Lógica Computacional Tipo de documento: texto impreso Autores: Enrique Paniagua Arís, Autor ; Juan Luis Sánchez Gonzáles, Autor ; Juan Luis Sánchez Gonzáles, Autor ; Juan Luis Sánchez Gonzáles, Autor ; Fernando Martín Rubio, Autor ; Fernando Martín Rubio, Autor ; Fernando Martín Rubio, Autor Mención de edición: 1a ed. Editorial: Madrid [España] : Thomson Editores Fecha de publicación: 2003 Número de páginas: xiv, 200 p. Il.: gráfs.; tbls. Dimensiones: 24 cm. ISBN/ISSN/DL: 978-84-9732-182-2 Nota general: Incluye referencias bibliográficas Idioma : Español (spa) Clasificación: 624.183402 Hormigón. Manuales Nota de contenido: La sintaxis de la lógica -- La semántica de la lógica -- El método axiomático -- El método interpretativo -- La demostración automática de teoremas -- Los agentes inteligentes y la lógica Link: https://biblioteca.unap.edu.pe/opac_css/index.php?lvl=notice_display&id=87206 Lógica Computacional [texto impreso] / Enrique Paniagua Arís, Autor ; Juan Luis Sánchez Gonzáles, Autor ; Juan Luis Sánchez Gonzáles, Autor ; Juan Luis Sánchez Gonzáles, Autor ; Fernando Martín Rubio, Autor ; Fernando Martín Rubio, Autor ; Fernando Martín Rubio, Autor . - 1a ed. . - Madrid [España] : Thomson Editores, 2003 . - xiv, 200 p. : gráfs.; tbls. ; 24 cm.
ISBN : 978-84-9732-182-2
Incluye referencias bibliográficas
Idioma : Español (spa)
Clasificación: 624.183402 Hormigón. Manuales Nota de contenido: La sintaxis de la lógica -- La semántica de la lógica -- El método axiomático -- El método interpretativo -- La demostración automática de teoremas -- Los agentes inteligentes y la lógica Link: https://biblioteca.unap.edu.pe/opac_css/index.php?lvl=notice_display&id=87206
Lógica Computacional
Paniagua Arís, EnriqueSánchez Gonzáles, Juan Luis ; Sánchez Gonzáles, Juan Luis ; Sánchez Gonzáles, Juan Luis ; Martín Rubio, Fernando ; Martín Rubio, Fernando ; Martín Rubio, Fernando - - Madrid (España) : Thomson Editores - 2003
Incluye referencias bibliográficas
La sintaxis de la lógica -- La semántica de la lógica -- El método axiomático -- El método interpretativo -- La demostración automática de teoremas -- Los agentes inteligentes y la lógica
Reserva
Reservar este documento
Ejemplares (1)
Código de barras Signatura Tipo de medio Ubicación Sección Estado 23-0560-01 511.3 P23 Libros Bib. Esp. Ing Sistemas Estanteria (Libros) Disponible Lógica para Informáticos / Rafel Farré Cirera / Alfaomega Grupo Editor (2012)
Título : Lógica para Informáticos Tipo de documento: texto impreso Autores: Rafel Farré Cirera, Autor ; Robert Nieuwenhuis, Autor ; Robert Nieuwenhuis, Autor ; Robert Nieuwenhuis, Autor ; Pilar - otros Nivela Alós, Autor ; Pilar - otros Nivela Alós, Autor ; Pilar - otros Nivela Alós, Autor Mención de edición: 1a ed. Editorial: Alfaomega Grupo Editor Fecha de publicación: 2012 Número de páginas: xii, 206 p. Il.: tbls. Dimensiones: 23 cm. ISBN/ISSN/DL: 978-607-707-165-5 Nota general: Incluye contenido Idioma : Español (spa) Clasificación: 624.183402 Hormigón. Manuales Nota de contenido: Preliminares -- Definición de la lógica proposicional -- Deducción en la lógica proposicional -- Definición de la lógica de primer orden -- Deducción en la lógica de primer orden -- Fundamentos de la programación lógica -- Ejercicios resueltos Link: https://biblioteca.unap.edu.pe/opac_css/index.php?lvl=notice_display&id=86305 Lógica para Informáticos [texto impreso] / Rafel Farré Cirera, Autor ; Robert Nieuwenhuis, Autor ; Robert Nieuwenhuis, Autor ; Robert Nieuwenhuis, Autor ; Pilar - otros Nivela Alós, Autor ; Pilar - otros Nivela Alós, Autor ; Pilar - otros Nivela Alós, Autor . - 1a ed. . - Alfaomega Grupo Editor, 2012 . - xii, 206 p. : tbls. ; 23 cm.
ISBN : 978-607-707-165-5
Incluye contenido
Idioma : Español (spa)
Clasificación: 624.183402 Hormigón. Manuales Nota de contenido: Preliminares -- Definición de la lógica proposicional -- Deducción en la lógica proposicional -- Definición de la lógica de primer orden -- Deducción en la lógica de primer orden -- Fundamentos de la programación lógica -- Ejercicios resueltos Link: https://biblioteca.unap.edu.pe/opac_css/index.php?lvl=notice_display&id=86305
Lógica para Informáticos
Farré Cirera, RafelNieuwenhuis, Robert ; Nieuwenhuis, Robert ; Nieuwenhuis, Robert ; Nivela Alós, Pilar - otros ; Nivela Alós, Pilar - otros ; Nivela Alós, Pilar - otros - - México : Alfaomega Grupo Editor - 2012
Incluye contenido
Preliminares -- Definición de la lógica proposicional -- Deducción en la lógica proposicional -- Definición de la lógica de primer orden -- Deducción en la lógica de primer orden -- Fundamentos de la programación lógica -- Ejercicios resueltos
Reserva
Reservar este documento
Ejemplares (1)
Código de barras Signatura Tipo de medio Ubicación Sección Estado 23-1433-01 511.3 F23 Libros Bib. Esp. Ing Sistemas Estanteria (Libros) Disponible Lógica matemática / Juana Idelza Zavaleta Gómez / Puno : s.e. (1994)
PermalinkLógica Matemática / Ferrater Mora, José / México, D.F. : Fondo de Cultura Económica (1965)
PermalinkLógica matemática / Obeso Fernández, Virgilio / Barranquilla : Ediciones Uninorte (2007)
PermalinkLógica matemática con problemas resueltos / Ccolque Taipe, Felipe Clímaco / Puno [Perú] : Universidad Nacional del Altiplano (2005)
PermalinkLógica y matemáticas discretas en la informática / Bohórquez Villamizar, Jaime Alejandro / Bogotá : Escuela Colombiana de Ingeniería (2012)
PermalinkLógica y Matemáticas Discretas en la Informática / Jaime Alejandro Bhórquez Villamizar / Bogotá : Escuela Colombiana de Ingeniería (2012)
PermalinkLógica simbólica / Manuel Garrido / Madrid : Tecnos (Grupo Anaya) (2001)
PermalinkMatemáticas discretas / Edward R. Scheinerman / México, D.F. : International Thomson Editores (2001)
PermalinkMatemáticas discretas / Seymour Lipschutz / México, D.F. : McGraw-Hill Interamericana (2009)
PermalinkMatemáticas discretas. Fundamentos de las Ciencias de la Computación / Augusto Cortez Vásquez / Editorial San Marcos (2011)
Permalink