Computation Engineering: Applied Automata Theory and Logic

Computation Engineering: Applied Automata Theory and Logic (Paperback)

Publisher: New Age International
Edition: Paperback
Edition Number: 1
Language: English
ISBN: 8184891270
EAN: 9788184891270
No. of Pages: 506
Publish Date: 2009-1-1
Binding: Paperback
Ships to India.

Other Editions

Edition Price Availability
Hardcover 2006 R 3,802 In Stock.
Paperback 2010 R 8,929 In Stock.

Description


Although it is critical in today`s world that students ho take automata theory and logic courses retain what they have learned and understand how to use their knowledge, many textbooks typically emphasize automata theory only, not logic, thus losing available opportunity to tie these subjects together and reinforce learning. This textbook uses interactive tools throughout, 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.

This special low-priced edition is for sale in India, Bangladesh, Bhutan, Maldives, Nepal, Myanmar, Pakistan and Sri Lanka only.

Contents:
Introduction
Mathematical Preliminaries
Cardinalities and Diagonalization
Binary Relations
Mathematical Logic, Induction, Proofs
Dealing with Recursion
Strings and Languages
Machines, Languages, DFA
NFA and Regular Expressions
Operations on Regular Machinery
The Automaton/Logic Connection, Symbolic Techniques
The `Pumping` Lemma
Context-free Languages
Push-down Automata and Context-free Grammars
Turing Machines
Basic Undesirability Proofs
Advanced Undecidability Proofs
Basic Notions in Logic Including SAT
Complexity Theory and NP-Completeness
DFA for Presburger Arithmetic
Model Checking: Basics
Model Checking: Temporal Logics
Model Checking: Alogorithms
Conclusions


show moreless

Specification

Title: Computation Engineering: Applied Automata Theory and Logic
Publisher: New Age International
Edition: Paperback
Edition Number: 1
Language: English
ISBN: 8184891270
EAN: 9788184891270
No. of Pages: 506
Publish Date: 2009-1-1
Binding: Paperback

Disclaimer

  • The book summary and image may be of a different edition or binding of the same title.
  • Book reviews are added by registered customers. They need not necessarily buy book.
  • These books are NOT available for reading online or for free download in PDF or ebook format.
  • Price can change due to reprinting, price change by publisher or sourcing cost change for imported books.
  • www.infibeam.com/Books is the biggest online bookstore in India for sale of books at best price - fiction, literature, audiobooks, study guides, novels, story books, rare books, textbooks and books by popular authors. These are available in various editions and bindings e.g. paperback and at best discount.
  • For the imported title, once the order gets placed ,it can’t be cancelled


Great Value

Safe Payment

Shop With
Confidence

24/7 Help Center

Free & Easy Return

Get Discounts & Offers
Stay Connected
Copyright © 2007-2017 Infibeam.com and Affiliates
Site is up