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