Математична логіка і теорія алгоритмів

Мета викладання дисципліни – ознайомлення студентів з основними поняттями і методами математичної логіки і теорії алгоритмів з орієнтацією на їх практичне використання в  інформатиці і обчислювальній техніці.

Курс містить наступні теми:

Тема 1. Основні поняття та закони логіки висловлювань.

Тема 2. Логіки 1-го порядку. Аксіоматичні системи логік 1-го.

Тема 3. Нетрадиційні логіки.

Тема 4. Формальні моделі алгоритмів та алгоритмічно обчислюваних функцій.

Тема 5. Складність алгоритмів. Класи складності алгоритмів. Відносна обчислюваність. Т-звідність.