Математическая логика: дополнительные главы: учебное пособие

Математическая логика: дополнительные главы: учебное пособие

Podrobná bibliografie
Hlavní autor:	Колмогоров А. Н. Андрей Николаевич
Další autoři:	Драгалин А. Г. Альберт Григорьевич
Jazyk:	ruština
Vydáno:	Москва, Изд-во МГУ, 1984
Témata:	математическая логика учебные пособия множества алгорифмы доказательства теория
Médium:	Kniha
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=136714

Podobné jednotky

Математическая логика: учебное пособие
Autor: Колмогоров А.Н. Андрей Николаевич
Vydáno: (Москва, УРСС, 2005)

Математическая логика: учебное пособие
Autor: Ершов Ю. Л. Юрий Леонидович
Vydáno: (Москва, Наука, 1979)

Математическая логика: учебное пособие
Autor: Ершов Ю. Л. Юрий Леонидович
Vydáno: (СПб., Лань, 2004)

Математическая логика: учебное пособие
Autor: Ершов Ю. Л. Юрий Леонидович
Vydáno: (СПб., Лань, 2005)

Математическая логика: учебное пособие для вузов
Autor: Ершов Ю. Л. Юрий Леонидович
Vydáno: (СПб., Лань, 2005)

Математическая логика: учебное пособие
Autor: Ершов Юрий Леонидович
Vydáno: (Москва, Наука, 1987)

Теория алгорифмов
Autor: Марков А. А. Андрей Андреевич
Vydáno: (Москва, Фазис, 1997)

Математическая логика: учебное пособие для вузов
Autor: Ершов Ю. Л. Юрий Леонидович
Vydáno: (Москва, Физматлит, 2011)

Математическая логика и теория алгоритмов: учебное пособие
Autor: Гурова Л. М. Любовь Михайловна
Vydáno: (Москва, Изд-во МГГУ, 2006)

Логика: учебное пособие: Дистанционное образование
Autor: Коровкина Н. М. Наталья Михайловна
Vydáno: (Томск, Изд-во ТПУ, 2001)

Вводный курс математической логики
Autor: Успенский В. А. Владимир Андреевич
Vydáno: (Москва, Физматлит, 2007)

Математическая логика: пер. с англ.
Autor: Клини С. К. Стивен Коул
Vydáno: (Москва, Едиториал УРСС, 2005)

Теория алгоритмов: учебное пособие для вузов
Autor: Фалевич Б. Я. Борис Яковлевич
Vydáno: (Москва, Машиностроение, 2004)

Математическая логика и теория алгоритмов для программистов: учебное пособие
Autor: Гринченков Д. В. Дмитрий Валерьевич
Vydáno: (Москва, КноРус, 2010)

Логика: учебник
Autor: Ивин А. А. Александр Архипович
Vydáno: (Москва, ФАИР-ПРЕСС, 1999)

Математическая логика и теория алгоритмов
Vydáno: (Новосибирск, Наука, 1982)

Математическая логика и теория алгоритмов для программистов: учебное пособие
Autor: Гринченков Д. В. Дмитрий Валерьевич
Vydáno: (Москва, КноРус, 2013)

Математическая логика
Autor: Гладкий А. В. Алексей Всеволодович
Vydáno: (Москва, Изд-во Российского ГГУ, 1998)

Логика: учебное пособие
Autor: Хоменко Е. А. Ефим Алексеевич
Vydáno: (Москва, Воениздат, 1976)

Математическая логика: курс лекций; учебное пособие
Autor: Тимофеева И. Л. Ирина Леонидовна
Vydáno: (Москва, Университет, 2007)

Логика: учебное пособие для вузов
Autor: Ивин А. А. Александр Архипович
Vydáno: (Москва, Высшая школа, 2004)

Математическая статистика; Дополнительные главы: учебное пособие
Autor: Боровков А. А. Александр Алексеевич
Vydáno: (Москва, Наука, 1984)

Логика: учебное пособие
Autor: Попов Ю. П. Юрий Петрович
Vydáno: (Москва, КноРус, 2015)

Математическая логика и теория алгоритмов: учебное пособие
Autor: Шелупанов А. А. Александр Александрович
Vydáno: (Томск, STT, 2001)

Математический интуиционизм. Введение в теорию доказательств
Autor: Драгалин А. Г. Альберт Григорьевич
Vydáno: (Москва, Наука, 1979)

Математическая логика: учебное пособие
Autor: Эдельман С. Л. Самсон Львович
Vydáno: (Москва, Высшая школа, 1975)

Основания математики. Теория доказательств: пер. с нем.
Autor: Гилберт Д. Давид
Vydáno: (Москва, Наука, 1982)

Логика: учебное пособие
Autor: Светлов В. А. Виктор Александрович
Vydáno: (СПб., Лидер, 2011)

Теория множеств и континуум-гипотеза
Autor: Коэн П. Д. Пол Дж.
Vydáno: (Москва, Мир, 1969)

Математическая логика и теория алгоритмов: учебное пособие
Autor: Крупский В. Н. Владимир Николаевич
Vydáno: (Москва, Академия, 2013)

Вводный курс математической логики: учебное пособие
Autor: Успенский В. А. Владимир Андреевич
Vydáno: (Москва, Изд-во МГУ, 1991)

Математическая логика и теория алгоритмов
Vydáno: (Новосибирск, Изд-во ИМ СО РАН, 1993)

Исследования по теории алгорифмов и математической логике: сборник
Vydáno: (Москва, Наука, 1979)

Алгебра и логика: сборник научных трудов
Vydáno: (Новосибирск, Ин-т математики СО АН СССР, 1991)

Алгебра и логика: сборник научных трудов
Vydáno: (Новосибирск, Изд-во ИМ СО РАН, 1991)

Алгебра и логика: сборник научных трудов
Vydáno: (Новосибирск, Изд-во ИМ СО РАН, 1991)

Математическая логика: учебное пособие
Autor: Лавров И. А. Игорь Андреевич
Vydáno: (Москва, Академия, 2006)

Логика: учебник
Autor: Демидов И. В. Игорь Владимирович
Vydáno: (Москва, Дашков и К, 2007)

Численные методы алгебры: теория и алгорифмы
Autor: Воеводин В. В. Валентин Васильевич
Vydáno: (Москва, Наука, 1966)

Логика: [учебник]
Autor: Солодухин О. А. Олег Анатольевич
Vydáno: (Ростов-на-Дону, Феникс, 2000)