Lectures related to Sets and Proofs

Sets, Functions and Relations: Organisational Questions

Covers organizational aspects, introduces Kahut for quizzes, presents complex examples, and summarizes the main topics.

Course Overview: Teaser on Course Contents

Offers an overview of propositional and predicate logic, sets, functions, relations, algorithms, Swiss cities, sorting tables, Covid infections, poker hands, and prime numbers.

Discrete Mathematics: Logic, Structures, Algorithms

Covers the basics of discrete mathematics, focusing on logic, structures, and algorithms for computer systems.

Differential Equations: Solutions and Functions

Explores solutions of differential equations and properties of functions.

Applications between Sets: Functions and Graphs

Covers applications between sets, functions, and graphs, exploring injectivity, surjectivity, and bijectivity.