Logic
Jump to navigation
Jump to search
This page contains resources about Logic in general and Automated Reasoning.
More specific information is included in each subfield.
Subfields and Concepts[edit]
- First-Order Logic / Predicate Logic / Quantification Theory
- Sequential Logic / Propositional Logic / Propositional Calculus
- Modal Logic
- Boolean Algebra / Boolean Logic / Digital Logic
- Argumentation (in Artificial Intelligence)
- Multi-Agent Systems / Self-Organized Systems
- Probabilistic Reasoning
- Inductive Vs Deductive Reasoning
Online Courses[edit]
Video Lectures[edit]
Lecture Notes[edit]
Books[edit]
See References for more books.
- Augusto, L. M. (2017). Logical consequences. Theory and applications: An introduction. London: College Publications.
- Ben-Ari, M. (2003). Mathematical Logic for Computer Science (2nd ed.). Springer-Verlag.
- Huth, M., Ryan, M. (2004). Logic in Computer Science: Modelling and Reasoning about Systems (2nd ed.). Cambridge University Press.
- Burris, S. N. (1997). Logic for Mathematics and Computer Science. Prentice Hall.
Software[edit]
- Prolog