Задачи по Дискретна математика

* Съждително и предикатно смятане
* Множества, релации, функции
* Доказателства на твърдения
 ** Допускане на противното
 ** Индукция върху естествените числа
* Кардиналност (мощност) на множество
  ** Изброими множества
  ** Неизброими множества
  ** Теорема на Кантор-Шрьодер-Бернщайн
* Комбинаторика
* Графи и дървета
* Булеви функции
  ** Функции запазващи константите
  ** Самодвойствени функции
  ** Линиейни функции
  ** Монотонни функции
  ** Пълни класове. Теорема на Пост-Яблонский