相關主題
商品描述
1. Introduction to Logic.- 2. First-order Logic.- 3. Non-classical Logics.- 4. Automata Theory and Formal Languages.- 5. Turing Machines and Computability.- 6. Logic is Computation.
類似商品
-
Automata Theory with Modern Applications$980$960 -
VIP 95折
Understanding Computation: Pillars, Paradigms, Principles$4,070$3,867 -
Problem Solving in Automata, Languages, and Complexity$1,060$1,039 -
VIP 95折
Automata: Theory, Trends, and Applications$5,260$4,997 -
VIP 95折
Logics for Computer Science: Classical and Non-Classical$4,670$4,437 -
Automata, Computability and Complexity: Theory and Applications (IE-Paperback)$1,080$1,058 -
Mathematical Structures for Computer Science, 6/e (Hardcover)$1,200$1,176 -
VIP 95折
Formal Languages and Computation: Models and Their Applications (Hardcover)$3,200$3,040 -
VIP 95折
The SPIN Model Checker : Primer and Reference Manual (Hardcover)$2,540$2,413 -
VIP 95折
Formal Languages and Computation: Models and Their Applications$2,920$2,774