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

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

Bibliografiska uppgifter
Huvudupphovsman:	Ершов Ю. Л. Юрий Леонидович
Övriga upphovsmän:	Палютин Е. А. Евгений Андреевич
Sammanfattning:	В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги — теория моделей и теория доказательств — изложены более подробно, чем это предусмотрено программой. Для студентов математических специальностей вузов. Может служить пособием для спецкурсов.
Språk:	ryska
Publicerad:	СПб., Лань, 2005
Upplaga:	5-е изд., стер.
Serie:	Учебники для вузов. Специальная литература
Ämnen:	математическая логика учебные пособия высказывания исчисление множества теория множеств алгебраические системы истинность предикаты модели теория моделей доказательства алгоритмы рекурсивные функции
Materialtyp:	Bok
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=105637

Liknande verk

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Введение в математическую логику учебное пособие для вузов
av: Зюзьков В. М.
Publicerad: (Санкт-Петербург, Лань, 2026)

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

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

Логика: Практический курс; учебник для вузов
av: Рузавин Г. И.
Publicerad: (Москва, ЮНИТИ-ДАНА, 2002)

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