TY  - BOOK
AU  - Grassmann,Winfried K.
AU  - Tremblay,Jean-Paul
TI  - Logic and discrete mathematics: a computer science perspective
SN  - 0135012066
U1  - 004.0151 
PY  - 1996///
CY  - Upper Saddle River, N.J.
PB  - Prentice-Hall
KW  - CIENCIA DE LA COMPUTACION
KW  - MATEMATICAS
N1  - 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
ER  -