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

Математическая логика, учебное пособие

Bibliografiske detaljer
Hovedforfatter:	Ершов Ю. Л. Юрий Леонидович
Andre forfattere:	Палютин Е. А. Евгений Андреевич
Summary:	В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги — теория моделей и теория доказательств — изложены более подробно, чем это предусмотрено программой. Для студентов математических специальностей вузов. Может служить пособием для спецкурсов.
Sprog:	russisk
Udgivet:	СПб., Лань, 2005
Udgivelse:	5-е изд., стер.
Serier:	Учебники для вузов. Специальная литература
Fag:	математическая логика учебные пособия высказывания исчисление множества теория множеств алгебраические системы истинность предикаты модели теория моделей доказательства алгоритмы рекурсивные функции
Format:	Bog
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=105637

Lignende værker

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

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

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

Введение в метаматематику пер. с англ.
af: Клини С. К. Стефен К.
Udgivet: (Москва, Изд-во иностранной литературы, 1957)

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

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

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

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

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

Введение в математическую логику пер. с англ.
af: Мендельсон Э. Эллиот
Udgivet: (Москва, Наука, 1976)

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

Введение в математическую логику пер. с англ.
af: Мендельсон Э. Эллиот
Udgivet: (Москва, Наука, 1984)

Дискретная математика учебник для вузов
af: Соболева Т. С. Татьяна Сергеевна
Udgivet: (Москва, Академия, 2006)

Симметрическая конструктивная логика
af: Заславский И. Д. Игорь Дмитриевич
Udgivet: (Ереван, Изд-во АН Армянской ССР, 1978)

Математическая логика и теория алгоритмов учебное пособие
af: Игошин В. И. Владимир Иванович
Udgivet: (Москва, Academia, 2004)

Лекции по математической логике учебное пособие
af: Мощенский В. А. Владимир Андреевич
Udgivet: (Минск, Изд-во Белорусского гос. ун-та, 1973)

Множества. Логика. Аксиоматические теории пер. с англ.
af: Столл Р. Р. Роберт Р.
Udgivet: (Москва, Просвещение, 1968)

Математическая логика и теория алгоритмов учебное пособие
af: Гамова А. Н.
Udgivet: (Саратов, СГУ, 2020)

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

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

Математическая логика. Курс лекций. Задачник-практикум и решения учебное пособие
af: Лихтарников Л. М. Леонид Моисеевич
Udgivet: (СПб., Лань, 2008)

Математическая логика и теория алгоритмов учебное пособие
af: Набебин А. А. Алексей Александрович
Udgivet: (СПб., Научный мир, 2008)

Дискретная математика учебник
af: Соболева Т. С. Татьяна Сергеевна
Udgivet: (Москва, Академия, 2014)

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

Дискретная математика учебник для вузов
af: Соболева Т. С. Татьяна Сергеевна
Udgivet: (Москва, Академия, 2014)

Логика высказываний и булевы алгебры учебное пособие
af: Гринченков Д. В.
Udgivet: (Новочеркасск, ЮРГПУ (НПИ), 2022)

Элементы математической логики
af: Новиков П. С. Петр Сергеевич
Udgivet: (Москва, Наука, 1973)

Математическая логика и теория алгоритмов учебник
af: Судоплатов С. В.
Udgivet: (Москва, Инфра-М, 2008)

Математическая логика и теория алгоритмов учебное пособие
af: Ярахмедов Г. А.
Udgivet: (Махачкала, ДГПУ, 2024)

Математическая логика: дополнительные главы учебное пособие
af: Колмогоров А. Н. Андрей Николаевич
Udgivet: (Москва, Изд-во МГУ, 1984)

Математическая логика. Дискретные функции. Теория алгоритмов учебное пособие
af: Глухов М. М. Михаил Михайлович
Udgivet: (СПб., Лань, 2012)

Прикладная дискретная математика. Логика. Графы. Автоматы. Алгоритмы. Кодирование [учебное пособие]
af: Гданский Н. И. Николай Иванович
Udgivet: (Москва, Вузовская книга, 2011)

Математическая логика. Курс лекций и практических занятий учебное пособие
af: Шапорев С. Д.
Udgivet: (СПб., БХВ-Петербург, 2005)

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

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

Математическая логика и теория алгоритмов учебное пособие
af: Игошин В. И. Владимир Иванович
Udgivet: (Москва, Академия, 2008)

Элементы теории систем
af: Марасанов В. В. Владимир Васильевич
Udgivet: (Кишинев, Штиинца, 1991)

Математическая логика пер. с англ.
af: Гудстейн Р. Л.
Udgivet: (Москва, Изд-во иностранной литературы, 1961)

Дискретная математика и математическая логика учебник
af: Аляев Ю. А. Юрий Александрович
Udgivet: (Москва, Финансы и статистика, 2006)

Математическая логика и теория алгоритмов
af: Гурова Л. М.
Udgivet: (Москва, Горная книга, 2006)