LOGIC & LANG MODEL COMP (4TH ED‪)‬

This unique compendium highlights the theory of computation, particularly logic and automata theory. Special emphasis is on computer science applications including loop invariants, program correctness, logic programming and algorithmic proof techniques.

This innovative volume differs from standard textbooks, by building on concepts in a different order, using fewer theorems with simpler proofs. It has added many new examples, problems and answers. It can be used as an undergraduate text at most universities.

Contents:
PrefaceAbout the AuthorMathematical PreliminariesLogic for Computer Science:Propositional LogicProofs by DeductionPredicate LogicProofs with PredicatesProgram VerificationLanguage Models for Computer Science:Language and ModelsGenerating Regular LanguagesFinite AutomataContext-Free GrammarsPushdown Automata and ParsingTuring MachinesAppendices:Logic ProgrammingThe AWK LanguageAnswers to Selected ProblemsBibliographyIndex
Readership: Researchers, professionals, academics, and graduate students in theoretical computer science.