|
Data, Logic, and Computing: Winter 2024
Logic: the language of mathematics
Logic is the study of correct reasoning or good arguments.
It aims to provide criteria for assessing the correctness of arguments and distinguishing them from fallacies.
In this chapter, we introduce the language of logics, the concept of propositions or statements, the methods with which such statements can be combined, as well as the concept of logical equivalence. It serves as the foundations for the following chapter on proofs.
Lecture Notes
|
Download documents:
PDF document (click to download)
or
Latex source file (click to download)
Notes from lectures themselves:
- Handwritten Notes from class on 1/29: Propositions; AND and OR: PDF document
- Handwritten Notes from class on 1/31: Propositions; Conditional; properties PDF document
- Handwritten Notes from class on 2/02: Propositions: properties PDF document
|
Further Reading
|