Задачи по теории множеств, математической логике и теории алгоритмов

Задачи по теории множеств, математической логике и теории алгоритмов

מידע ביבליוגרפי
מחבר ראשי:	Лавров И. А. Игорь Андреевич
מחברים אחרים:	Максимова Л. Л. Лариса Львовна
שפה:	רוסית
יצא לאור:	Москва, Наука, 1984
מהדורה:	2-е изд.
נושאים:	математика множества математическая логика теория алгоритмы задачники
פורמט:	ספר
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=36696

פריטים דומים

Задачи по теории множеств, математической логике и теории алгоритмов
מאת: Лавров И. А. Игорь Андреевич
יצא לאור: (Москва, Физматлит, 2002)

Задачи по теории множеств, математической логике и теории алгоритмов
מאת: Лавров И. А. Игорь Андреевич
יצא לאור: (Наука, 1975)

Задачи по теории множеств, математической логике и теории алгоритмов
מאת: Лавров И. А. Игорь Андреевич
יצא לאור: (Москва, Физматлит, 2006)

Основания теории множеств: пер. с англ.
מאת: Френкель А. А. Абрахам А.
יצא לאור: (Москва, Мир, 1966)

Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов: учебное пособие
יצא לאור: (СПб., Лань, 2008)

Задачи и упражнения по математической логике и теории алгоритмов: учебное пособие для вузов
מאת: Игошин В. И. Владимир Иванович
יצא לאור: (Москва, Академия, 2005)

Задачник по математической логике: учебное пособие
מאת: Горбатов В .А.
יצא לאור: (Москва, Изд-во МЭИ, 1972)

Задачи и упражнения по математической логике и теории алгоритмов: учебное пособие для вузов
מאת: Игошин В. И. Владимир Иванович
יצא לאור: (Москва, Академия, 2006)

Лекции по математической логике: учебное пособие
מאת: Мощенский В. А. Владимир Андреевич
יצא לאור: (Минск, Изд-во Белорусского гос. ун-та, 1973)

Ч. 1 : Теория моделей; Справочная книга по математической логике
יצא לאור: (1982)

Лекции по математической логике и теории алгоритмов; Ч. 3; Вычислимые функции
מאת: Верещагин Н. К
יצא לאור: (Москва, МЦНМО, 1999)

Ч. 2 : Теория множеств; Справочная книга по математической логике
יצא לאור: (1982)

Вводный курс математической логики: учебное пособие
מאת: Успенский В. А. Владимир Андреевич
יצא לאור: (Москва, Изд-во МГУ, 1991)

Лекции по математической логике и теории алгоритмов: учебное пособие; Ч. 2; Языки и исчисления
מאת: Верещагин Н. К
יצא לאור: (Москва, МЦНМО, 2000)

Элементы теории множеств и математической логики: учебное пособие
מאת: Дурнев В. Г. Валерий Георгиевич
יצא לאור: (Ярославль, Изд-во Ярославского ГУ, 1978)

Исследования по теории алгорифмов и математической логике: сборник
יצא לאור: (Москва, Наука, 1979)

Математическая логика и теория алгоритмов: учебное пособие
מאת: Гурова Л. М. Любовь Михайловна
יצא לאור: (Москва, Изд-во МГГУ, 2006)

Введение в математическую логику: пер. с англ.
מאת: Мендельсон Э. Эллиот
יצא לאור: (Москва, Наука, 1984)

Т. 2: [сборник]; Исследования по теории алгорифмов и математической логике
יצא לאור: (1976)

Математическая логика: учебное пособие
מאת: Ершов Ю. Л. Юрий Леонидович
יצא לאור: (Москва, Наука, 1979)

Ч. 3 : Теория рекурсии; Справочная книга по математической логике
יצא לאור: (1982)

Вопросы теории множеств и теории функций
מאת: Ляпунов А. А. Алексей Андреевич
יצא לאור: (Москва, Наука, 1979)

Вводный курс математической логики
מאת: Успенский В. А. Владимир Андреевич
יצא לאור: (Москва, Физматлит, 2007)

Аксиоматические системы теории множеств: пер. с фр.
מאת: Ван Хао
יצא לאור: (Москва, Изд-во иностранной литературы, 1963)

Теория алгоритмов: учебное пособие для вузов
מאת: Игошин В. И. Владимир Иванович
יצא לאור: (Москва, Инфра-М, 2015)

Т. 1: [сборник]; Исследования по теории алгорифмов и математической логике
יצא לאור: (1973)

Теория множеств и континуум-гипотеза
מאת: Коэн П. Д. Пол Дж.
יצא לאור: (Москва, Мир, 1969)

О теории множеств: пер. с пол.
מאת: Серпинский В. Вацлав
יצא לאור: (Москва, Просвещение, 1966)

О математической логике и философии математики. Начальные сведения об основаниях математики: пер. с англ.
מאת: Ивс Г.
יצא לאור: (Москва, Знание, 1968)

Математическая логика и теория алгоритмов: учебное пособие
מאת: Шелупанов А. А. Александр Александрович
יצא לאור: (Томск, STT, 2001)

Ч. 4 : Теория доказательств и конструктивная математика; Справочная книга по математической логике
יצא לאור: (1983)

Математическая логика и теория алгоритмов
יצא לאור: (Новосибирск, Изд-во ИМ СО РАН, 1993)

Избранные труды; Теория множеств. Математическая логика и алгебра
מאת: Новиков П. С. Петр Сергеевич
יצא לאור: (Москва, Наука, 1979)

Математическая логика и теория алгоритмов для программистов: учебное пособие
מאת: Гринченков Д. В. Дмитрий Валерьевич
יצא לאור: (Москва, КноРус, 2010)

Исследования по математической лингвистике, математической логике и информационным языкам: сборник статей
יצא לאור: (Москва, Наука, 1972)

Mathematik: Mit 524 Bildern und 414 Beispielen
מאת: Hilbert Alfred Von Dr
יצא לאור: (Leipzig, Fachbuchverlag, 1989)

Лекции и задачи по дискретной математике (от теории к алгоритмам): учебное пособие
מאת: Ярыгин А. Н. Анатолий Николаевич
יצא לאור: (Старый Оскол, ТНТ, 2012)

Задачи по теории множеств и математическому анализу: учебное пособие
מאת: Тимофеев В. И. Владимир Иванович
יצא לאור: (Казань, Изд-во КАИ, 1977)

Проблемы математической логики. Сложность алгоритмов и классы вычислимых функций: сборник переводов
יצא לאור: (Москва, Мир, 1970)

Труды по теории множеств
מאת: Кантор Г. Георг
יצא לאור: (Москва, Наука, 1985)