Applied Logic for Computer Scientists Computational Deduction and Formal Proofs /
This book provides an introduction to logic and mathematical induction which are the basis of any deductive computational framework. A strong mathematical foundation of the logical engines available in modern proof assistants, such as the PVS verification system, is essential for computer scientists...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Other Authors: | |
| Format: | Electronic Book |
| Language: | English |
| Published: |
Cham :
Springer International Publishing : Imprint: Springer,
2017
|
| Series: | Undergraduate topics in computer science
|
| Subjects: |