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

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

Podrobná bibliografie
Hlavní autor:	Тимофеева И. Л. Ирина Леонидовна
Shrnutí:	Пособие написано в соответствии с действующей программой по математической логике для педагогических вузов. Рассмотрены следующие темы: язык логики высказываний, исчисления высказываний, язык логики предикатов, исчисления предикатов, теории первого порядка. Центральное место занимает изложение основ теории доказательств. Отдельный раздел посвящен проблемам оснований математики. Курс лекций предназначен для студентов математических факультетов педвузов, изучающих математическую логику, а также для преподавателей, читающих лекционный курс и ведущих практические занятия по математической логике.
Jazyk:	ruština
Vydáno:	Москва, Университет, 2007
Vydání:	2-е изд., перераб.
Témata:	математическая логика высказывания логика исчисления естественный вывод пропорциональные системы предикаты предикатные системы теория первого порядка теория множеств учебные пособия
Médium:	MixedMaterials Kniha
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=118858

Podobné jednotky

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

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

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

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

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

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

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

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

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

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

Введение в математическую логику: пер. с англ.
Autor: Мендельсон Э. Эллиот
Vydáno: (Москва, Наука, 1984)

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

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

Элементарная логика
Autor: Зегет В. Вольфганг
Vydáno: (Москва, Высшая школа, 1985)

Теория доказательств: пер. с англ.
Autor: Такеути Г. Гаиси
Vydáno: (Москва, Мир, 1978)

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

Элементы математической логики
Autor: Новиков П. С. Петр Сергеевич
Vydáno: (Москва, Наука, 1973)

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

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

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

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

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

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

Математическая логика: пер. с англ.
Autor: Клини С. К. Стефан Коул
Vydáno: (Москва, Мир, 1973)

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

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

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

Элементы математической логики
Autor: Марков А. А. Андрей Андреевич
Vydáno: (Москва, Изд-во МГУ, 1984)

Математическая логика: пер. с англ.
Autor: Клини С. К. Стивен Коул
Vydáno: (Москва, Едиториал УРСС, 2005)

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

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

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

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

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

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

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

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

Логика. Экзаменационные ответы для студентов вузов: учебное пособие
Autor: Светлов В. А. Виктор Александрович
Vydáno: (СПб., Питер, 2008)

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

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