Математична логіка
Львов М.С.
Надіслав: Львов Михаил (27 серпня 2003р.)
Факультет комп'ютерних наук, фізики та математики :: Дисципліни кафедри комп’ютерних наук та програмної інженерії
Анотація
Матеріал містить плани лекцій, методичні рекомендації до практичних занять, питання до екзамену

Четвертий курс, перший і другий семестри

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

Робоча програма
Workprog.doc

План лекцій
Lectures.pdf

Методичні рекомендації до практичних робіт
Prakt.rar

Питання до екзамену
Questions.pdf