Home

Основни теми в дискретната математика

Съждително смятане (файл)

• Основни съждителни операции
• Съждителни формули. Тавтологии
• Дизюнктивна нормална форма

Множества

• Основни операции върху множества

Релации

Функции

• Тотални и частични функции
• Композиция на функции
• Инективни функции. Обратими функции
• Сюрективни функции
• Биективни функции

Мощност на множества

• Крайни множества (дали това да не се премести при комбинаторика?)
  • Принцип на умножението
  • Принцип на разликата
  • Принцип на обединението
  • Принцип на разбиването
  • Принцип на включването и изключването
• Принцип на обединението
• Изброимо безкрайни множества
• Неизброимо безкрайни множества

Доказателства

• Допускане на противното
• Индукция върху естествените числа
• Индукция върху наредби