|
Литература
|
Гринченков Д.В.: Математическая логика и теория алгоритмов для программистов. - М.: КНОРУС, 2010
|
|
Литература
|
Гринченков Д.В.: Математическая логика и теория алгоритмов для программистов. - М.: КноРус, 2010
|
|
Литература
|
Игошин В.И.: Математическая логика и теория алгоритмов. - М.: Академия, 2010
|
|
Литература
|
Крупский В.Н.: Теория алгоритмов. - М.: Академия, 2009
|
|
Литература
|
Игошин В.И.: Задачи и упражнения по математической логике и теории алгоритмов. - М.: Академия, 2007
|
|
Литература
|
Лавров И.А.: Задачи по теории множеств, математической логике и теории алгоритмов. - М.: Физматлит, 2004
|
|
Литература
|
Успенский В.А.: Вводный курс математической логики. - М.: ФИЗМАТЛИТ, 2004
|
|
Литература
|
Успенский В.А.: Вводный курс математической логики. - М.: Физматлит, 2004
|
|
Литература
|
Верещагин Н.К.: Языки и исчисления. - М.: МЦНМО, 2002
|
|
Литература
|
Лавров И.А.: Задачи по теории множеств, математической логике и теории алгоритмов. - М.: ФИЗМАТЛИТ, 2002
|
|
Литература
|
Лавров И.А.: Задачи по теории множеств, математической логике и теории алгоритмов. - М.: Физматлит, 2002
|
|
Литература
|
Верещагин Н.К.: Языки и исчисления. - М.: МЦНМО, 2000
|
|
Литература
|
Горбатов В.А.: Фундаментальные основы дискретной математики. - М.: Наука: Физматлит, 2000
|
|
Литература
|
Игошин В.И.: Математическая логика и теория алгоритмов. - Саратов: СГУ, 1991
|
|
Литература
|
Лавров И.А.: Задачи по теории множеств, математической логике и теории алгоритмов. - М.: Наука, 1984
|
|
Литература
|
Косовский Н.К: Элементы математической логики и ее приложения к теории субрекурсивных алгоритмов. - Л.: Изд-во ЛГУ, 1981
|
|
Литература
|
Криницкий Н.А.: Алгоритмы вокруг нас. - М.: Наука, 1977
|
|
Литература
|
АН СССР ; под ред. С.И. Адяна: Труды математического института им. В.А. Стеклова. - М.: Наука, 1973
|