Información del autor
Autor Rafel Farré Cirera |
Documentos disponibles escritos por este autor (1)
Hacer una sugerencia Refinar búsqueda
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