Logic

From Ioannis Kourouklides
Revision as of 16:39, 28 April 2018 by Kourouklides (talk | contribs) (Subfields and Concepts)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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

See also[edit]

Other Resources[edit]