Fundamentals of Logic and Computation [E-Book] : With Practical Automated Reasoning and Verification / by Zhe Hou.
Although the fields of logic and computation are intrinsically related, most courses treat the two topics separately. This unique textbook aims to compress and unify important concepts of logical reasoning and computational theory, facilitating an in-depth understanding. Delivering theory with pract...
Saved in:
Full text |
|
Personal Name(s): | Hou, Zhe, author |
Edition: |
1st ed. 2021. |
Imprint: |
Cham :
Springer,
2021
|
Physical Description: |
X, 222 pages 34 illustrations, 6 illustrations in color (online resource) |
Note: |
englisch |
ISBN: |
9783030878825 |
DOI: |
10.1007/978-3-030-87882-5 |
Series Title: |
/* Depending on the record driver, $field may either be an array with
"name" and "number" keys or a flat string containing only the series
name. We should account for both cases to maximize compatibility. */?>
Texts in Computer Science
|
Subject (LOC): |
- 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.