Logic and Language Models for Computer Science: Third Edition - Rilegato

Richards, Dana; Hamburger, Henry

 
9789813229204: Logic and Language Models for Computer Science: Third Edition

Sinossi

This text presents the formal concepts underlying Computer Science.It starts with a wide introduction to Logic with an emphasis on reasoning and proof, with chapters on Program Verification and Prolog.The treatment of computability with Automata and Formal Languages stands out in several ways:The style is appropriate for both undergraduate and graduate classes.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Altre edizioni note dello stesso titolo

9780130654878: Logic and Language Models for Computer Science

Edizione in evidenza

ISBN 10:  0130654876 ISBN 13:  9780130654878
Casa editrice: Prentice Hall, 2002
Brossura