Logic and Discrete Mathematics: A Computer Science Perspective

Winfried Karl Grassman, Jean-Paul Tremblay

Anno: 1995
Rilegatura: Hardback
Pagine: 776 p.
Testo in English
Dimensioni: 187 x 244 mm
Peso: 1161 gr.
  • EAN: 9780135012062
pagabile con 18App pagabile con Carta del Docente

Articolo acquistabile con 18App e Carta del Docente

€ 167,42

€ 174,40

Risparmi € 6,98 (4%)

Venduto e spedito da IBS

167 punti Premium

Disponibile in 4/5 settimane

This text covers traditional topics of discrete mathematics - logic, sets, relations, functions, and graphs - and reflects recent trends in computer science. It covers logic reasoning and shows how to use discrete mathematics and logic for specifying new computer applications, and how to reason about programs in a systematic way. It also contains chapters on language and grammars, and relational databases and describes Prolog and Miranda.