First-order logic, also known as predicate logic, is a formal system used in various fields such as mathematics, philosophy, linguistics, and computer science. It allows the use of quantified variables and sentences that contain variables, distinguishing it from propositional logic. First-order logic is commonly used for formalizing mathematics into axioms and has been extensively studied in the foundations of mathematics.
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.
No concepts data
+ 35 more concepts