Grassmann, Winfried K. <br/><br/>
Logic and discrete mathematics :  a computer science perspective 
Winfried Karl Grassmann, Jean-Paul Tremblay 
 - xviii, 750 p. :  il. 
<br/><br/>p. 641-643 
<br/><br/>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 
<br/><br/> COBERTURA BIBLIOGRÁFICA:<br/>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)<br/><br/>ASIGNATURAS: 
<br/><br/><label>ISBN: </label>0135012066 
<br/><br/><label>Subjects--Topical Terms: </label><br/>CIENCIA DE LA COMPUTACION--MATEMATICAS
<br/><br/><label>Dewey Class. No.: </label>004.0151  / G769