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.
Mathematical Logic for Computer Science
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Introduction
-
Altmetric BadgeChapter 2 Propositional Logic: Formulas, Models, Tableaux
-
Altmetric BadgeChapter 3 Propositional Logic: Deductive Systems
-
Altmetric BadgeChapter 4 Propositional Logic: Resolution
-
Altmetric BadgeChapter 5 Propositional Logic: Binary Decision Diagrams
-
Altmetric BadgeChapter 6 Propositional Logic: SAT Solvers
-
Altmetric BadgeChapter 7 First-Order Logic: Formulas, Models, Tableaux
-
Altmetric BadgeChapter 8 First-Order Logic: Deductive Systems
-
Altmetric BadgeChapter 9 First-Order Logic: Terms and Normal Forms
-
Altmetric BadgeChapter 10 First-Order Logic: Resolution
-
Altmetric BadgeChapter 11 First-Order Logic: Logic Programming
-
Altmetric BadgeChapter 12 First-Order Logic: Undecidability and Model Theory *
-
Altmetric BadgeChapter 13 Temporal Logic: Formulas, Models, Tableaux
-
Altmetric BadgeChapter 14 Temporal Logic: A Deductive System
-
Altmetric BadgeChapter 15 Verification of Sequential Programs
-
Altmetric BadgeChapter 16 Verification of Concurrent Programs
Altmetric Badge
Mentioned by
- 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