Математична логіка
Консультації
Консультації з математичної логіки проходять щотиждня: Понеділок, 14:05, кімната 222.
Матеріали до практичних занять
- Заняття 1. Висловлювання. Логічні сполучники.
- Заняття 2. Логічні міркування. Формули.
- Заняття 3 та 4. Логічні виводи.
- Заняття 5. Предикати. Речення.
- Заняття 6. Інтерпретація в логіці предикатів.
- Заняття 7. Логічні наслідки в логіці предикатів.
- Заняття 8. Логічні виводи в логіці предикатів.