Logic for Computer Science
Overview & Synopsis
The PDF covers the following topics related to Computer Science, Introduction to Logics, Propositional Calculus, Predicate Calculus, Applications of Predicate Calculus, Automated Deduction in Propositional Calculus, Automated Deduction in Predicate Calculus, SecondOrder Logic, SecondOrder Quantifier Elimination, Modal Logics, Temporal Logic, Logics of Programs, Fixpoint Calculus, Rough Concepts.
Indexed from repository: FreeBookCentre
(
freebookcentre.net)
Document Information
| Document Title | Logic for Computer Science |
|---|---|
| Author / Organization | Andrzej Szalas |
| Categories | Computer Science |
| Resource Verification | Listed PDF (Verification Pending) |
| Original Host Website |
FreeBookCentre
(freebookcentre.net)
|
| File Format | application/pdf (Portable Document Format) |
| Page Count | 125 pages |
| Language | EN |
| Catalog ID | DOC-309193 |
| Original Source Link | Visit Source Page on freebookcentre.net » |