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

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

Chi tiết về thư mục
Tác giả chính:	Ершов Ю. Л. Юрий Леонидович
Tác giả khác:	Палютин Е. А. Евгений Андреевич
Ngôn ngữ:	Tiếng Nga
Được phát hành:	СПб., Лань, 2005
Phiên bản:	4-е изд. стер.
Loạt:	Учебники для вузов. Специальная литература
Những chủ đề:	математическая логика учебные пособия высказывания исчисление теория множества истинность алгебраические системы предикаты модели доказательства алгоритмы рекурсивные функции
Định dạng:	Sách
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=75100

Những quyển sách tương tự

Математическая логика: учебное пособие
Bằng: Ершов Ю. Л. Юрий Леонидович
Được phát hành: (СПб., Лань, 2005)

Математическая логика: учебное пособие
Bằng: Ершов Ю. Л. Юрий Леонидович
Được phát hành: (СПб., Лань, 2004)

Математическая логика: учебное пособие для вузов
Bằng: Ершов Ю. Л. Юрий Леонидович
Được phát hành: (Москва, Физматлит, 2011)

Математическая логика: учебное пособие
Bằng: Ершов Ю. Л. Юрий Леонидович
Được phát hành: (Москва, Наука, 1979)

Математическая логика и теория алгоритмов: учебное пособие
Bằng: Крупский В. Н. Владимир Николаевич
Được phát hành: (Москва, Академия, 2013)

Математическая логика и теория алгоритмов: учебное пособие
Bằng: Гурова Л. М. Любовь Михайловна
Được phát hành: (Москва, Изд-во МГГУ, 2006)

Математическая логика: пер. с англ.
Bằng: Клини С. К. Стивен Коул
Được phát hành: (Москва, Едиториал УРСС, 2005)

Дискретная математика: учебник для вузов
Bằng: Соболева Т. С. Татьяна Сергеевна
Được phát hành: (Москва, Академия, 2006)

Симметрическая конструктивная логика
Bằng: Заславский И. Д. Игорь Дмитриевич
Được phát hành: (Ереван, Изд-во АН Армянской ССР, 1978)

Лекции по математической логике: учебное пособие
Bằng: Мощенский В. А. Владимир Андреевич
Được phát hành: (Минск, Изд-во Белорусского гос. ун-та, 1973)

Введение в метаматематику: пер. с англ.
Bằng: Клини С. К. Стефен К.
Được phát hành: (Москва, Изд-во иностранной литературы, 1957)

Введение в математическую логику: пер. с англ.
Bằng: Мендельсон Э. Эллиот
Được phát hành: (Москва, Наука, 1984)

Математическая логика: учебное пособие
Bằng: Лавров И. А. Игорь Андреевич
Được phát hành: (Москва, Академия, 2006)

Математическая логика и теория алгоритмов: учебное пособие
Bằng: Игошин В. И. Владимир Иванович
Được phát hành: (Москва, Academia, 2004)

Математическая логика. Курс лекций. Задачник-практикум и решения: учебное пособие
Bằng: Лихтарников Л. М. Леонид Моисеевич
Được phát hành: (СПб., Лань, 2008)

Дискретная математика: учебник для вузов
Bằng: Соболева Т. С. Татьяна Сергеевна
Được phát hành: (Москва, Академия, 2014)

Дискретная математика: учебник
Bằng: Соболева Т. С. Татьяна Сергеевна
Được phát hành: (Москва, Академия, 2014)

Математическая логика: учебное пособие
Bằng: Ершов Юрий Леонидович
Được phát hành: (Москва, Наука, 1987)

Математическая логика и теория алгоритмов: учебное пособие
Bằng: Набебин А. А. Алексей Александрович
Được phát hành: (СПб., Научный мир, 2008)

Элементы математической логики
Bằng: Новиков П. С. Петр Сергеевич
Được phát hành: (Москва, Наука, 1973)

Математическая логика. Курс лекций и практических занятий: учебное пособие
Bằng: Шапорев С. Д.
Được phát hành: (СПб., БХВ-Петербург, 2005)

Логика: учебное пособие
Bằng: Попов Ю. П. Юрий Петрович
Được phát hành: (Москва, КноРус, 2015)

Математическая логика: курс лекций; учебное пособие
Bằng: Тимофеева И. Л. Ирина Леонидовна
Được phát hành: (Москва, Университет, 2007)

Математическая логика. Дискретные функции. Теория алгоритмов: учебное пособие
Bằng: Глухов М. М. Михаил Михайлович
Được phát hành: (СПб., Лань, 2012)

Логика: Практический курс; учебник для вузов
Bằng: Рузавин Г. И.
Được phát hành: (Москва, ЮНИТИ-ДАНА, 2002)

Введение в математическую логику: пер. с англ.
Bằng: Мендельсон Э. Эллиот
Được phát hành: (Москва, Наука, 1976)

Дискретная математика и математическая логика: учебник
Bằng: Аляев Ю. А. Юрий Александрович
Được phát hành: (Москва, Финансы и статистика, 2006)

Математическая логика: дополнительные главы: учебное пособие
Bằng: Колмогоров А. Н. Андрей Николаевич
Được phát hành: (Москва, Изд-во МГУ, 1984)

Прикладная дискретная математика. Логика. Графы. Автоматы. Алгоритмы. Кодирование: [учебное пособие]
Bằng: Гданский Н. И. Николай Иванович
Được phát hành: (Москва, Вузовская книга, 2011)

Математическая логика и теория алгоритмов учебное пособие
Bằng: Гамова А. Н.
Được phát hành: (Саратов, СГУ, 2020)

Дискретная математика учебное пособие
Bằng: Бекарева Н. Д.
Được phát hành: (Новосибирск, НГТУ, 2019)

Математическая логика и теория алгоритмов: учебное пособие
Bằng: Игошин В. И. Владимир Иванович
Được phát hành: (Москва, Академия, 2008)

Элементы математической логики
Bằng: Марков А. А. Андрей Андреевич
Được phát hành: (Москва, Изд-во МГУ, 1984)

Математическая логика: учебное пособие
Bằng: Колмогоров А.Н. Андрей Николаевич
Được phát hành: (Москва, УРСС, 2005)

Математическая логика учебно-методическое пособие по укрупненной группе специальностей и направлений подготовки 44.03.05 – педагогическое образование с двумя профилями подготовки (профили: «математика и физика», «математика и информатика»)
Bằng: Друшляк А. И.
Được phát hành: (Севастополь, СевГУ, 2024)

Математическая логика. Задачник-практикум и решения: курс лекций; учебное пособие
Bằng: Лихтарников Л. М. Леонид Моисеевич
Được phát hành: (СПб., Лань, 2009)

Рекурсивно перечислимые множества и сводимости табличного типа
Bằng: Дегтев А. Н. Александр Николаевич
Được phát hành: (Москва, Наука, 1998)

Применение ЭВМ для решения задач математической логики: учебное пособие
Bằng: Мелихов А. Н. Аскольд Николаевич
Được phát hành: (Таганрог, Изд-воТРТИ, 1988)

Множества. Логика. Аксиоматические теории: пер. с англ.
Bằng: Столл Р. Р. Роберт Р.
Được phát hành: (Москва, Просвещение, 1968)

Математическая логика и теория алгоритмов для программистов: учебное пособие
Bằng: Гринченков Д. В. Дмитрий Валерьевич
Được phát hành: (Москва, КноРус, 2010)