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

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

Бібліографічні деталі
Автор:	Тимофеева И. Л. Ирина Леонидовна
Резюме:	Пособие написано в соответствии с действующей программой по математической логике для педагогических вузов. Рассмотрены следующие темы: язык логики высказываний, исчисления высказываний, язык логики предикатов, исчисления предикатов, теории первого порядка. Центральное место занимает изложение основ теории доказательств. Отдельный раздел посвящен проблемам оснований математики. Курс лекций предназначен для студентов математических факультетов педвузов, изучающих математическую логику, а также для преподавателей, читающих лекционный курс и ведущих практические занятия по математической логике.
Мова:	Російська
Опубліковано:	Москва, Университет, 2007
Редагування:	2-е изд., перераб.
Предмети:	математическая логика высказывания логика исчисления естественный вывод пропорциональные системы предикаты предикатные системы теория первого порядка теория множеств учебные пособия
Формат:	Книга
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=118858

Схожі ресурси

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

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

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

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

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

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

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

Элементы теории систем
за авторством: Марасанов В. В. Владимир Васильевич
Опубліковано: (Кишинев, Штиинца, 1991)

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

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

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

Элементарная логика
за авторством: Зегет В. Вольфганг
Опубліковано: (Москва, Высшая школа, 1985)

Теория доказательств: пер. с англ.
за авторством: Такеути Г. Гаиси
Опубліковано: (Москва, Мир, 1978)

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

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

Математическая логика учебно-методическое пособие по укрупненной группе специальностей и направлений подготовки 44.03.05 – педагогическое образование с двумя профилями подготовки (профили: «математика и физика», «математика и информатика»)
за авторством: Друшляк А. И.
Опубліковано: (Севастополь, СевГУ, 2024)

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

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

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

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

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

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

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

Математическая логика: пер. с англ.
за авторством: Клини С. К. Стефан Коул
Опубліковано: (Москва, Мир, 1973)

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

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

Избранные труды; Теория множеств. Математическая логика и алгебра
за авторством: Новиков П. С. Петр Сергеевич
Опубліковано: (Москва, Наука, 1979)

Математическая логика: пер. с англ.
за авторством: Гудстейн Р. Л.
Опубліковано: (Москва, Изд-во иностранной литературы, 1961)

Математическая логика и теория алгоритмов
за авторством: Гурова Л. М.
Опубліковано: (Москва, Горная книга, 2006)

Элементы математической логики
за авторством: Марков А. А. Андрей Андреевич
Опубліковано: (Москва, Изд-во МГУ, 1984)

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

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

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

Логика: учебное пособие для вузов
за авторством: Панькова Н. М. Наталья Михайловна
Опубліковано: (Томск, Изд-во ТПУ, 2009)

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

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

Вып. 134: Сложность вычислений и прикладная математическая логика; Вопросы кибернетики
Опубліковано: (1988)

Математическая логика. Задачник-практикум и решения: курс лекций; учебное пособие
за авторством: Лихтарников Л. М. Леонид Моисеевич
Опубліковано: (СПб., Лань, 2009)

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

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