Logic in Computer Science is the application of formal logic to the field of computing. Formal logic provides a systematic framework to represent and reason about propositions, predicates, and arguments. Logic in Computer Science typically involves Boolean logic, propositional logic, predicate logic, and sometimes more advanced topics such as temporal logic and modal logic.
The field includes the study of various logic-based languages, the use of logic in formal methods for software and hardware verification, the application of logic in AI and databases, and more.
Studying Logic requires no other background than high school level algebra.
Stanford University
Fall 2022
CS 157 provides a rigorous introduction to Logic from a computational viewpoint. The course mainly deals with encoding information as logical sentences and reasoning methods for this information. It gives an overview of logic technology and its applications. Topics range from propositional logic, relational logic, functional logic to various deduction techniques and mathematical induction.
Carnegie Mellon University
Fall 2021
This undergraduate course introduces students to constructive logics such as intuitionistic and linear logic, focusing on their use in computer science. The goal is to understand the distinction between classical and constructive logic, define logical connectives, implement theorem provers, and explore computational interpretations of logics. Concepts covered include natural deduction, sequent calculus, logic programming, linear logic, and many more.