↓ Skip to main content
Altmetric
What is this page?
Embed badge
Share
Share on Twitter
Share on Facebook
Share by email
Mathematical Logic for Computer Science
Overview of attention for book
Table of Contents
Altmetric Badge
Book Overview
Altmetric Badge
Chapter 1
Introduction
Altmetric Badge
Chapter 2
Propositional Logic: Formulas, Models, Tableaux
Altmetric Badge
Chapter 3
Propositional Logic: Deductive Systems
Altmetric Badge
Chapter 4
Propositional Logic: Resolution
Altmetric Badge
Chapter 5
Propositional Logic: Binary Decision Diagrams
Altmetric Badge
Chapter 6
Propositional Logic: SAT Solvers
Altmetric Badge
Chapter 7
First-Order Logic: Formulas, Models, Tableaux
Altmetric Badge
Chapter 8
First-Order Logic: Deductive Systems
Altmetric Badge
Chapter 9
First-Order Logic: Terms and Normal Forms
Altmetric Badge
Chapter 10
First-Order Logic: Resolution
Altmetric Badge
Chapter 11
First-Order Logic: Logic Programming
Altmetric Badge
Chapter 12
First-Order Logic: Undecidability and Model Theory *
Altmetric Badge
Chapter 13
Temporal Logic: Formulas, Models, Tableaux
Altmetric Badge
Chapter 14
Temporal Logic: A Deductive System
Altmetric Badge
Chapter 15
Verification of Sequential Programs
Altmetric Badge
Chapter 16
Verification of Concurrent Programs
Overall attention for this book and its chapters
Altmetric Badge
Mentioned by
twitter
4
X users
syllabi
6
institutions with syllabi
wikipedia
4
Wikipedia pages
q&a
1
Q&A thread
Citations
dimensions_citation
61
Dimensions
Readers on
mendeley
40
Mendeley
Book overview
1. Introduction
2. Propositional Logic: Formulas, Models, Tableaux
3. Propositional Logic: Deductive Systems
4. Propositional Logic: Resolution
5. Propositional Logic: Binary Decision Diagrams
6. Propositional Logic: SAT Solvers
7. First-Order Logic: Formulas, Models, Tableaux
8. First-Order Logic: Deductive Systems
9. First-Order Logic: Terms and Normal Forms
10. First-Order Logic: Resolution
11. First-Order Logic: Logic Programming
12. First-Order Logic: Undecidability and Model Theory *
13. Temporal Logic: Formulas, Models, Tableaux
14. Temporal Logic: A Deductive System
15. Verification of Sequential Programs
16. Verification of Concurrent Programs
Summary
X
Syllabi
Wikipedia
Q&A
Dimensions citations
This data is correct as of December 2015 - for more up to date information, please visit
https://opensyllabus.org/
So far, Altmetric has seen this research output assigned in
15
syllabi from
6
institutions on Open Syllabus Project.
Institution
Syllabi count
Course subject areas covered
University of Cambridge
2
Unknown
North Carolina State University at Raleigh
1
Unknown
Indian Institute of Technology, Guwahati
1
Medicine
Universidad de Oviedo
1
Religious Studies
University of Delaware
1
Business, Computer Science
Unknown
9
Medicine, Health Administration