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

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

Dades bibliogràfiques
Autor principal:	Лавров И. А. Игорь Андреевич
Altres autors:	Максимова Л. Л. (редактор)
Sumari:	В учебном пособии изложены основы современного подхода к изучению математических теорий с привлечением логических понятий и методов, а также концепция программы Д. Гильберта о построении математических теорий аксиоматическим путем. Рассмотрены аксиоматические теории для множеств натуральных и действительных чисел и для геометрии. Для студентов высших учебных заведений.
Idioma:	rus
Publicat:	Москва, Академия, 2006
Col·lecció:	Университетский учебник Прикладная математика и информатика
Matèries:	математическая логика семантика алгебраические системы логические системы синтаксис логические исчисления высказывания предикаты функции интерпретации аксиоматические теории теория множеств числовые теории геометрические теории учебные пособия
Format:	MixedMaterials Llibre
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=101858

Ítems similars

Математическая логика: учебное пособие
per: Игошин В. И. Владимир Иванович
Publicat: (Москва, Инфра-М, 2012)

Математическая логика: учебное пособие
per: Игошин В. И. Владимир Иванович
Publicat: (Москва, Инфра-М, 2019)

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

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

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

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

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

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

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

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

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

Логические и математические исчисления: учебное пособие
per: Шиханович Ю. А. Юрий Александрович
Publicat: (Москва, Научный мир, 2011)

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

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

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

Содержательная семантика модальной логики
per: Ивлев Ю. В. Юрий Васильевич
Publicat: (Москва, Изд-во МГУ, 1985)

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

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

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

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

Дискретная математика для программистов: учебное пособие
per: Новиков Ф. А. Федор Александрович
Publicat: (СПб., Питер, 2006)

Дискретная математика для программистов: учебное пособие
per: Новиков Ф. А. Федор Александрович
Publicat: (СПб., Питер, 2008)

Основания математики. Логические исчисления и формализация арифметики.
per: Гильберт Д. Давид
Publicat: (Москва, Наука, 1979)

Основания математики. Логические исчисления и формализация арифметики.
per: Гильберт Д. Давид
Publicat: (Москва, Наука, 1982)

Дискретные модели в информатике учебно-методическое пособие
per: Гаджиева З. Д.
Publicat: (Махачкала, ДГПУ, 2024)

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

Краткий курс математики. Часть 3 Учебное пособие
per: Бухенский К. В.
Publicat: (Рязань, РГРТУ, 2014)

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

Математика. Основы дискретной математики учебное пособие
per: Зорькина Н. В.
Publicat: (Ульяновск, УИ ГА, 2019)

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

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

Дискретная математика для магистров и бакалавров: учебник
per: Новиков Ф. А. Федор Александрович
Publicat: (Санкт-Петербург, Питер, 2011)

Дискретная математика для бакалавров и магистров: учебник
per: Новиков Ф. А. Федор Александрович
Publicat: (Санкт-Петербург, Питер, 2013)

Дискретная математика для бакалавров и магистров: учебник
per: Новиков Ф. А. Федор Александрович
Publicat: (Санкт-Петербург, Питер, 2014)

Логические теории временных контекстов (временная логика)
per: Ишмуратов А. Т. Анатолий Темиргалиевич
Publicat: (Киев, Наукова думка, 1981)

Математическая логика: учебник
per: Никольская И. Л. Инна Львовна
Publicat: (Москва, Высшая школа, 1981)

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

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

Логика: теория аргументации и критического мышления
per: Воробьева С. В.
Publicat: (Минск, БГУ, 2018)

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