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

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

Bibliographische Detailangaben
1. Verfasser:	Ершов Ю. Л. Юрий Леонидович
Weitere Verfasser:	Палютин Е. А. Евгений Андреевич
Zusammenfassung:	В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги — теория моделей и теория доказательств — изложены более подробно, чем это предусмотрено программой. Для студентов математических специальностей вузов. Может служить пособием для спецкурсов.
Sprache:	Russisch
Veröffentlicht:	СПб., Лань, 2005
Ausgabe:	5-е изд., стер.
Schriftenreihe:	Учебники для вузов. Специальная литература
Schlagworte:	математическая логика учебные пособия высказывания исчисление множества теория множеств алгебраические системы истинность предикаты модели теория моделей доказательства алгоритмы рекурсивные функции
Format:	Buch
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=105637

Ähnliche Einträge

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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