51 Л 136 Лавров, Игорь Андреевич. Задачи по теории множеств, математической логике и теории алгоритмов. [Текст] / И. А. Лавров, Л. Л. Максимова. - 5-е изд., исправленное. - Москва : Физматлит, 2004. - 256 с. - ISBN 5-9221-0026-2 : 129.36 р. УДК 510 Рубрики: Естественные науки--Математика Кл.слова (ненормированные): множества -- отношения -- функции -- бинарные отношения -- математическая логика -- предикаты -- машины Тьюринга -- нумерации Клини и Поста Аннотация: В книге в форме задач систематически изложены основы теории множеств, математической логики и теории алгоритмов. Книга предназначена для активного изучения математической логики и смежных с ней наук. Держатели документа: КемГСХИ : 650056, Кемерово, ул. Марковцева, 5 Доп.точки доступа: Максимова, Лариса Львовна Экземпляры всего: 10 ОХФ; 1, 1 (1), АУНЛ; 9, 9 (9) Свободны: ОХФ; 1, 1 (1), АУНЛ; 9, 9 (9)