Logic and Language Models for Computer Science By Henry Hamburger, Dana Richards
2002 | 341 Pages | ISBN: 0130654876 | PDF | 16 MB
2002 | 341 Pages | ISBN: 0130654876 | PDF | 16 MB
This book invites the reader to explore abstractions that are crucial to computer science. The authors bring a sense of excitement to logics, formal languages and automata—motivating topics by linking them to computing and to computational applications, sometime with whole chapters. They achieve exceptional clarity through a plethora of examples and figures, yet without-losing sight of, and indeed celebrating, the precision that is the hallmark of this subject matter.