Computation Engineering Applied Automata Theory and Logic

Many Computation Engineering textbooks emphasize automata theory only, not logic, losing a the opportunity to tie these subjects together and reinforce learning. This textbook ties theory and logic together, using interactive tools, such as simple BDD and SAT tools. By providing a blend of theory an...

Full description

Saved in:
Bibliographic Details
Main Author Gopalakrishnan, Ganesh
Format eBook Book
LanguageEnglish
Published Netherlands Springer Nature 2006
Springer
Springer US
Edition1
Subjects
Circuits and Systems
Computer logic
Computer Science
Data processing Computer science
Electrical Engineering
Machine theory
Mathematical Logic and Formal Languages
Mathematics
Theory of Computation
Online AccessGet full text
ISBN0387325204
9780387325200
0387244182
9780387244181
1441937412
9781441937414
DOI10.1007/0-387-32520-4

Cover

More Information
Summary:Many Computation Engineering textbooks emphasize automata theory only, not logic, losing a the opportunity to tie these subjects together and reinforce learning. This textbook ties theory and logic together, using interactive tools, such as simple BDD and SAT tools. By providing a blend of theory and practical applications the material is presented as both inviting and current. Key concepts are illustrated in multiple domains so that information is reinforced and students can begin to tie theory and logic together.
Bibliography:Includes bibliographical references (p. [453]-460) and index
ISBN:0387325204
9780387325200
0387244182
9780387244181
1441937412
9781441937414
DOI:10.1007/0-387-32520-4