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

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

Detalhes bibliográficos
Autor principal:	Лавров И. А. Игорь Андреевич
Outros Autores:	Максимова Л. Л. (редактор)
Resumo:	В учебном пособии изложены основы современного подхода к изучению математических теорий с привлечением логических понятий и методов, а также концепция программы Д. Гильберта о построении математических теорий аксиоматическим путем. Рассмотрены аксиоматические теории для множеств натуральных и действительных чисел и для геометрии. Для студентов высших учебных заведений.
Idioma:	russo
Publicado em:	Москва, Академия, 2006
coleção:	Университетский учебник Прикладная математика и информатика
Assuntos:	математическая логика семантика алгебраические системы логические системы синтаксис логические исчисления высказывания предикаты функции интерпретации аксиоматические теории теория множеств числовые теории геометрические теории учебные пособия
Formato:	Livro
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=101858

Registros relacionados

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Математическая теория логического вывода: сборник переводов
Publicado em: (Москва, Наука, 1967)

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