## Chapter 11 : Day 11: Logic and sets

### By Lund University

First day of the second part of the course. A fresh start is always nice. We do a complete reboot and start from the begining.

## Logic: Lectures

In this section, we explore very fundamental questions such as what exactly do we mean by a statement "x = 4". We will formally define fundamental terms such as predicates, implications and compound statement. We will also investigate various methods of constructing proofs in mathematics.

## Logic: Problems

Exercises on logic

## Sets: Lectures

This section is an introduction to an important topic in mathematics, namely set theory. Set theory is generally considered as a subtopic of mathematical logic. Informally, sets are collection of objects. We will introduce the basic notation, such as set membership and subsets. We will also look at some set algebra; union, intersection and complement. Finally, we look at Venn the diagram as a way of illustrating rules for set operations.

## Sets: Problems

Exercises on sets