Fitch notation is a system used to construct formal proofs in sentential and predicate logics. It arranges sentences into rows, with the degree of indentation indicating which assumptions are active for that step. It was named after Frederic Fitch.
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.
No concepts data
+ 11 more concepts