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

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

מידע ביבליוגרפי
מחבר ראשי:	Лавров И. А. Игорь Андреевич
מחברים אחרים:	Максимова Л. Л. (редактор)
סיכום:	В учебном пособии изложены основы современного подхода к изучению математических теорий с привлечением логических понятий и методов, а также концепция программы Д. Гильберта о построении математических теорий аксиоматическим путем. Рассмотрены аксиоматические теории для множеств натуральных и действительных чисел и для геометрии. Для студентов высших учебных заведений.
שפה:	רוסית
יצא לאור:	Москва, Академия, 2006
סדרה:	Университетский учебник Прикладная математика и информатика
נושאים:	математическая логика семантика алгебраические системы логические системы синтаксис логические исчисления высказывания предикаты функции интерпретации аксиоматические теории теория множеств числовые теории геометрические теории учебные пособия
פורמט:	ספר
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=101858

פריטים דומים

Математическая логика: учебное пособие
מאת: Игошин В. И. Владимир Иванович
יצא לאור: (Москва, Инфра-М, 2012)

Математическая логика: учебное пособие
מאת: Игошин В. И. Владимир Иванович
יצא לאור: (Москва, Инфра-М, 2019)

Множества. Логика. Аксиоматические теории: пер. с англ.
מאת: Столл Р. Р. Роберт Р.
יצא לאור: (Москва, Просвещение, 1968)

Математическая логика: учебное пособие
מאת: Ершов Ю. Л. Юрий Леонидович
יצא לאור: (СПб., Лань, 2004)

Математическая логика: учебное пособие
מאת: Колмогоров А.Н. Андрей Николаевич
יצא לאור: (Москва, УРСС, 2005)

Введение в математическую логику
מאת: Зюзьков В. М.
יצא לאור: (Санкт-Петербург, Лань, 2022)

Математическая логика: учебное пособие
מאת: Ершов Ю. Л. Юрий Леонидович
יצא לאור: (СПб., Лань, 2005)

Математическая логика: курс лекций; учебное пособие
מאת: Тимофеева И. Л. Ирина Леонидовна
יצא לאור: (Москва, Университет, 2007)

Математическая логика и теория алгоритмов: учебное пособие
מאת: Шелупанов А. А. Александр Александрович
יצא לאור: (Томск, STT, 2001)

Математическая логика и теория алгоритмов: учебное пособие
מאת: Игошин В. И. Владимир Иванович
יצא לאור: (Москва, Academia, 2004)

Математическая логика: учебное пособие для вузов
מאת: Ершов Ю. Л. Юрий Леонидович
יצא לאור: (Москва, Физматлит, 2011)

Логические и математические исчисления: учебное пособие
מאת: Шиханович Ю. А. Юрий Александрович
יצא לאור: (Москва, Научный мир, 2011)

Математическая логика: учебное пособие для вузов
מאת: Ершов Ю. Л. Юрий Леонидович
יצא לאור: (СПб., Лань, 2005)

Математическая логика и теория алгоритмов: учебное пособие
מאת: Гурова Л. М. Любовь Михайловна
יצא לאור: (Москва, Изд-во МГГУ, 2006)

Математическая логика и теория алгоритмов учебное пособие
מאת: Ярахмедов Г. А.
יצא לאור: (Махачкала, ДГПУ, 2024)

Содержательная семантика модальной логики
מאת: Ивлев Ю. В. Юрий Васильевич
יצא לאור: (Москва, Изд-во МГУ, 1985)

Дискретная математика и математическая логика: учебник
מאת: Аляев Ю. А. Юрий Александрович
יצא לאור: (Москва, Финансы и статистика, 2006)

Введение в математическую логику: пер. с англ.
מאת: Мендельсон Э. Эллиот
יצא לאור: (Москва, Наука, 1976)

Математическая логика. Курс лекций. Задачник-практикум и решения: учебное пособие
מאת: Лихтарников Л. М. Леонид Моисеевич
יצא לאור: (СПб., Лань, 2008)

Дискретная математика: учебник для вузов
מאת: Соболева Т. С. Татьяна Сергеевна
יצא לאור: (Москва, Академия, 2006)

Дискретная математика для программистов: учебное пособие
מאת: Новиков Ф. А. Федор Александрович
יצא לאור: (СПб., Питер, 2006)

Дискретная математика для программистов: учебное пособие
מאת: Новиков Ф. А. Федор Александрович
יצא לאור: (СПб., Питер, 2008)

Дискретные модели в информатике учебно-методическое пособие
מאת: Гаджиева З. Д.
יצא לאור: (Махачкала, ДГПУ, 2024)

Основания математики. Логические исчисления и формализация арифметики.
מאת: Гильберт Д. Давид
יצא לאור: (Москва, Наука, 1982)

Основания математики. Логические исчисления и формализация арифметики.
מאת: Гильберт Д. Давид
יצא לאור: (Москва, Наука, 1979)

Симметрическая конструктивная логика
מאת: Заславский И. Д. Игорь Дмитриевич
יצא לאור: (Ереван, Изд-во АН Армянской ССР, 1978)

Краткий курс математики. Часть 3 Учебное пособие
מאת: Бухенский К. В.
יצא לאור: (Рязань, РГРТУ, 2014)

Математика. Основы дискретной математики учебное пособие
מאת: Зорькина Н. В.
יצא לאור: (Ульяновск, УИ ГА, 2019)

Математическая логика и теория алгоритмов для программистов: учебное пособие
מאת: Гринченков Д. В. Дмитрий Валерьевич
יצא לאור: (Москва, КноРус, 2010)

Математическая логика и теория алгоритмов для программистов: учебное пособие
מאת: Гринченков Д. В. Дмитрий Валерьевич
יצא לאור: (Москва, КноРус, 2013)

Введение в метаматематику: пер. с англ.
מאת: Клини С. К. Стефен К.
יצא לאור: (Москва, Изд-во иностранной литературы, 1957)

Дискретная математика для магистров и бакалавров: учебник
מאת: Новиков Ф. А. Федор Александрович
יצא לאור: (Санкт-Петербург, Питер, 2011)

Дискретная математика для бакалавров и магистров: учебник
מאת: Новиков Ф. А. Федор Александрович
יצא לאור: (Санкт-Петербург, Питер, 2014)

Дискретная математика для бакалавров и магистров: учебник
מאת: Новиков Ф. А. Федор Александрович
יצא לאור: (Санкт-Петербург, Питер, 2013)

Математическая логика: учебник
מאת: Никольская И. Л. Инна Львовна
יצא לאור: (Москва, Высшая школа, 1981)

Логические теории временных контекстов (временная логика)
מאת: Ишмуратов А. Т. Анатолий Темиргалиевич
יצא לאור: (Киев, Наукова думка, 1981)

Элементы теории систем
מאת: Марасанов В. В. Владимир Васильевич
יצא לאור: (Кишинев, Штиинца, 1991)

Логика: теория аргументации и критического мышления
מאת: Воробьева С. В.
יצא לאור: (Минск, БГУ, 2018)

Математическая теория логического вывода: сборник переводов
יצא לאור: (Москва, Наука, 1967)

Дискретная математика: учебник для вузов
מאת: Соболева Т. С. Татьяна Сергеевна
יצא לאור: (Москва, Академия, 2014)