Computation Engineering

Applied Automata Theory and Logic

Autori

• Ganesh Gopalakrishnan

Parametri

• 508 pagine
• 18 ore di lettura

• Computer, IT, programmazione
• Ingegneria elettrica

Maggiori informazioni sul libro

Focusing on the integration of automata theory and logic, this textbook offers a unique approach to Computation Engineering. It employs interactive tools like BDD and SAT to enhance understanding and engagement. By blending theoretical concepts with practical applications, the material remains relevant and accessible. Key ideas are illustrated across various domains, reinforcing learning and helping students connect theoretical frameworks with logical reasoning effectively.

Lingua: Inglese

Pubblicato: 2010

(In brossura)