Logic and Language Models for Computer Science, 4th Edition

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 ProblemsBibliographyIndexReadership: Researchers, professionals, academics, and graduate students in theoretical computer science.Logic and Language Models for Computer Science 4th Edition is written by Dana Richards; Henry Hamburger and published by WSPC. ISBNs for Logic and Language Models for Computer Science are 9789811260681, 9811260680 and the print ISBNs are 9789811260667, 9811260664. Additional ISBNs include 9789811260674.