Logic and discrete mathematics : a computer science perspective Winfried Karl Grassmann, Jean-Paul Tremblay
Tipo de material: TextoEditor: Upper Saddle River, N.J. : Prentice-Hall, 1996Descripción: xviii, 750 p. : ilTipo de contenido: text Tipo de medio: unmediated Tipo de portador: volumeISBN: 0135012066Tema(s): CIENCIA DE LA COMPUTACION -- MATEMATICASClasificación CDD: 004.0151
Contenidos:
Cap. 1 : Propositional calculus - Cap. 2 : Predicate calculus - Cap. 3 : Induction and recursion - Cap. 4 : Prolog - Cap. 5 : Sets and relations - Cap. 6 : Functions - Cap. 7 : Graphs and trees - Cap. 8 : Formal requirement specification in Z - Cap. 9 : Program correctness proofs - Cap. 10 : Grammars, languages, and parsing - Cap. 11 : Derivations - Cap. 12 : An overview of relational database systems
Tipo de ítem | Biblioteca actual | Colección | número de clasificación | Copia número | Estado | Notas | Fecha de vencimiento | Código de barras |
---|---|---|---|---|---|---|---|---|
Libro General | Biblioteca Campus San Joaquín | Colección General | 004.0151 G769 (Navegar estantería(Abre debajo)) | 1 | Disponible | 3560902017708 | ||
Bibliografía General Básica | Biblioteca Central | Colección General | 004.0151 G769 (Navegar estantería(Abre debajo)) | 1 | Disponible | 35609000335734 | ||
Bibliografía General Básica | Biblioteca Central | Colección General | 004.0151 G769 (Navegar estantería(Abre debajo)) | 2 | Disponible | 35609000843547 | ||
Bibliografía General Básica | Biblioteca Central | Colección General | 004.0151 G769 (Navegar estantería(Abre debajo)) | 3 | Disponible | 35609000957891 | ||
Bibliografía General Básica | Biblioteca Central | Colección General | 004.0151 G769 (Navegar estantería(Abre debajo)) | 4 | Disponible | 35609000957875 | ||
Bibliografía General Básica | Biblioteca Central | Colección General | 004.0151 G769 (Navegar estantería(Abre debajo)) | 5 | Disponible | 35609000957859 |
p. 641-643
Cap. 1 : Propositional calculus - Cap. 2 : Predicate calculus - Cap. 3 : Induction and recursion - Cap. 4 : Prolog - Cap. 5 : Sets and relations - Cap. 6 : Functions - Cap. 7 : Graphs and trees - Cap. 8 : Formal requirement specification in Z - Cap. 9 : Program correctness proofs - Cap. 10 : Grammars, languages, and parsing - Cap. 11 : Derivations - Cap. 12 : An overview of relational database systems
COBERTURA BIBLIOGRÁFICA:
ILI-153 (Ingeniería Civil Informática, Ingeniería Ejecución Informática), ILI-152 (Ingeniería Civil Informática, Ingeniería Ejecución Informática)
ASIGNATURAS: