Математическая логика и теория алгоритмов
Кожухов И.Б.
Учебное пособие, Москва - МГУ, 2004. 148 с.Пособие включает классические разделы математической логики (исчисление высказываний, элементы теории моделей), теории алгоритмов (машины Тьюринга и вычислительные функции), а также основания теории множеств
语言:
russian
ISBN 10:
1143408683
ISBN 13:
9785725603682
文件:
ZIP, 7.33 MB
IPFS:
,
russian0
Litres
想添加您的书店？ 通过 support@z-lib.do 与我们联系
转换文件
更多搜索结果
其他特权 
