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

Курс складається з двох частин: математичної логіка, де вивчаються властивості теорій першого порядку, зокрема числення предикатів, теорії алгоритмів, де розглядаються концепції Гьоделя та Тюринга ...

Сергій Дяченко