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.\nContents:\nPreface\nAbout the Author\nMathematical Preliminaries\nLogic for Computer Science:\nPropositional Logic\nProofs by Deduction\nPredicate Logic\nProofs with Predicates\nProgram Verification\nLanguage Models for Computer Science:\nLanguage and Models\nGenerating Regular Languages\nFinite Automata\nContext-Free Grammars\nPushdown Automata and Parsing\nTuring Machines\nAppendices:\nLogic Programming\nThe AWK Language\nAnswers to Selected Problems\nBibliography\nIndex\nReadership: Researchers, professionals, academics, and graduate students in theoretical computer science.\nLogic 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.