PIF1005Winter 2024Mathematics
← Back to university path
Mathematics for Computer Scientists I
Detailed view of the course, studied concepts, technologies used, and major academic work associated with it.
Code
PIF1005
Session
Winter 2024
Domain
Mathematics
Overview
Course in discrete mathematics and logic applied to computer science. It provided the foundational mathematical tools needed to model computing problems, reason rigorously, and understand core concepts such as logic, sets, graphs, and Boolean algebra.
Technologies used
LogiqueMathématiques discrètesGraphesAlgèbre booléenne
Key concepts covered
- Propositional logic
- Predicate logic
- Sets and functions
- Relations and order relations
- Mathematical proofs and reasoning
- Introduction to algorithms
- Graphs, networks, trees, and arborescences
- Boolean algebra
- Logic circuits
- Simplification of logic circuits
- Modeling real-world situations for computing implementations
Coursework and evaluated components
- Assignment 1
- Assignment 2
- Midterm exam
- Final exam
- Exercises on logic, sets, graphs, and proofs