Direct proof

Deterministic finite automaton (DFA)

Set (mathematics)

Set theory

Proof by contradiction

Contraposition

Quantification (logic)

Logical connective

Predicate (mathematical logic)

Function (mathematics)

Constant (mathematics)

Quantifier (logic)

Binary relation

Reflexive relation

Symmetric relation

Transitive relation

Equivalence relation

Equivalence class

Domain of a function

Codomain

Injective function

Surjective function

Bijection

Function composition

Cardinality of the continuum

Cantor's diagonal argument

Graph theory

Mathematical induction

Strong induction

Formal language

Propositional calculus (Propositional logic)

CS 103A Math Problem-Solving Strategies Stanford University Winter 2020 CS 103A serves as an additional review course for CS103 students, focusing on strengthening proof-based mathematics skills and general problem-solving strategies in a context closely tied to CS103. Math, like programming, is a skill that takes practice to develop. In CS103A, we'll
provide extra review of the topics from CS103 and discuss general problem-solving
strategies that often come up in proof-based mathematics. We hope that the course
helps solidify the concepts from CS103 and provides you with a set of tools you can
use to confront challenging math problems with confidence.

If you're interested in taking CS103 but feel like you could use a little bit more practice
and review, this is the course for you!  CS103A has CS103 as a corequisite. This class is specifically designed as an add-on
course for CS103 and the material and presentation will be tailored to current CS103
students. As a result, you must be enrolled in CS103 to take CS103A. 

CS 103A Math Problem-Solving Strategies

Mathematical Foundations

Relational Analysis

Equality

Propositional Analysis

Natural Deduction

Refutation Proofs

Relational Logic

Fitch Proofs

Functional Logic

Induction

CS 157 Introduction to Logic 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. CS 157 is a rigorous introduction to Logic from a computational perspective. It focusses on the encoding of information in the form of logical sentences; it covers various methods for reasoning with information in this form; and it provides an overview of logic technology and its applications (in mathematics, science, engineering, business, law, and so forth). Topics include the syntax and semantics of Propositional Logic, Relational Logic, and Functional Logic, validity, contingency, unsatisfiability, logical equivalence, entailment, consistency, direct deduction (Hilbert), natural deduction (Fitch), refutation reasoning (Resolution), mathematical induction, compactness, soundness, completeness.   

CS 157 Introduction to Logic

Logic

Direct proof

2 courses cover this concept

CS 103A Math Problem-Solving Strategies

CS 157 Introduction to Logic