Logic and Language Models for Computer Science (Fourth Edition)

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.

這本獨特的彙編著重於計算理論，特別是邏輯和自動機理論。特別強調計算機科學應用，包括循環不變量、程序正確性、邏輯編程和算法證明技巧。這本創新的書籍與標準教科書不同，它按照不同的順序建立概念，使用更少的定理和更簡單的證明。它增加了許多新的例子、問題和答案。它可以作為大多數大學的本科教材使用。