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