Main
Математическая логика и теория алгоритмов
Математическая логика и теория алгоритмов
Кожухов И.Б.
5.0
/
5.0
0 comments
Учебное пособие, Москва - МГУ, 2004. 148 с.Пособие включает классические разделы математической логики (исчисление высказываний, элементы теории моделей), теории алгоритмов (машины Тьюринга и вычислительные функции), а также основания теории множеств
Comments of this book
There are no comments yet.