Lectures related to Relations in Computer Science

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.

Differential Forms on Manifolds

Introduces differential forms on manifolds, covering tangent bundles and intersection pairings.

Sets and Proofs

Introduces sets in discrete mathematics and explores proof techniques like direct and indirect proofs.

Equivalence Relations: Classes, Partitions

Covers equivalence relations, classes, and partitions of a set.