CSC535: Lecture 1 (Numbers, lists, basic proofs) [0/21] Next page

Overview: What is semantics? [1/21]
Overview: Why study semantics? [2/21]
Overview: Questions This Course Could Help Answer [3/21]
Overview: What you'll get out of the course [4/21]
Overview: Syllabus [5/21]
Overview: What this course is not [6/21]
Administrivia: Prerequisites [7/21]
Administrivia: Course websites [8/21]
Administrivia: Piazza [9/21]
Administrivia: Contact Information [10/21]
Administrivia: Assessment [11/21]
Administrivia: Attendance [12/21]
Administrivia: Expectations [13/21]
Administrivia: Textbooks [14/21]
Coq: What is a Proof? [15/21]
Coq: What is a Proof Assistant? [16/21]
Coq: Some Proof Assistants [17/21]
Coq: The Coq Proof Assistant [18/21]
Coq: Why Use Coq in This Course [19/21]
Coq: How to get Coq [20/21]
Coq: Using ProofGeneral [21/21]

Next page