Новые поступления (книга в стадии обработки) Лавров, Игорь Андреевич. Задачи по теории множеств, математической логике и теории алгоритмов [Текст] : сб. задач / И. А. Лавров, Л. Л. Максимова. - 3-е изд. - Москва : Физматлит, 1995. - 255 с. - Библиогр. - ISBN 5-02-014844-X : 4000.00 р.
Рубрики: математика--теория множеств--математическая логика--теория алгоритмов Кл.слова (ненормированные): множеств теория -- математическая логика -- алгоритмов теория Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского Доп. точки доступа: Максимова, Лариса Львовна |
Новые поступления (книга в стадии обработки) Лавров, Игорь Андреевич. Задачи по теории множеств, математической логике и теории алгоритмов [Текст] : учебное пособие / И. А. Лавров, Л. Л. Максимова. - 5-е изд., испр. - Москва : ФИЗМАТЛИТ, 2004. - 255, [1] с. - Библиогр.: с. 248-249. - Предм. указ.: с. 250-255. - ISBN 5-9221-0026-2 : 125.29 р.
Рубрики: математика--теория множеств--математическая логика--теория алгоритмов Кл.слова (ненормированные): множеств теория -- математическая логика -- алгоритмов теория Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского Доп. точки доступа: Максимова, Лариса Львовна |
Новые поступления (книга в стадии обработки) Лавров, Игорь Андреевич. Задачи по теории множеств, математической логике и теории алгоритмов [Текст] : [учеб. пособие] / И. А. Лавров, Л. Л. Максимова. - 5-е изд., испр. - Москва : ФИЗМАТЛИТ, 2006. - 255, [1] с. - Библиогр.: с. 248-249 (56 назв.). - ISBN 5-9221-0026-2 : 221.76 р.
Рубрики: математика--теория множеств--математическая логика--теория алгоритмов Кл.слова (ненормированные): множеств теория -- алгоритмов теория -- математическая логика Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского Доп. точки доступа: Максимова, Лариса Львовна |
Новые поступления (книга в стадии обработки) Лавров, Игорь Андреевич. Задачи по теории множеств, математической логике и теории алгоритмов. [Текст] / И. А. Лавров, Л. Л. Максимова. - 2-е изд. - Москва : Наука, 1984. - 224 с. - 0.90 р. Рубрики: Математика--Математическая логика Кл.слова (ненормированные): алгоритмы -- задачи -- логика предикатов -- математическая логика -- машины Тьюринга -- нумерации Клини -- нумерации Поста -- предикаты -- теория алгоритмов -- теория множеств Держатели документа: Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова) Доп. точки доступа: Максимова, Лариса Львовна |