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

Методичні рекомендації

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

з використанням системи «МатЛог»

 

Математична логіка та теорія алгоритмів 2011 Методичні рекомендації.doc