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

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

Dettagli Bibliografici
Autore principale:	Тимофеева И. Л. Ирина Леонидовна
Riassunto:	Пособие написано в соответствии с действующей программой по математической логике для педагогических вузов. Рассмотрены следующие темы: язык логики высказываний, исчисления высказываний, язык логики предикатов, исчисления предикатов, теории первого порядка. Центральное место занимает изложение основ теории доказательств. Отдельный раздел посвящен проблемам оснований математики. Курс лекций предназначен для студентов математических факультетов педвузов, изучающих математическую логику, а также для преподавателей, читающих лекционный курс и ведущих практические занятия по математической логике.
Lingua:	russo
Pubblicazione:	Москва, Университет, 2007
Edizione:	2-е изд., перераб.
Soggetti:	математическая логика высказывания логика исчисления естественный вывод пропорциональные системы предикаты предикатные системы теория первого порядка теория множеств учебные пособия
Natura:	Libro
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=118858

Documenti analoghi

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Вводный курс математической логики
di: Успенский В. А. Владимир Андреевич
Pubblicazione: (Москва, Физматлит, 2007)

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

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

Логика: учебное пособие
di: Попов Ю. П. Юрий Петрович
Pubblicazione: (Москва, КноРус, 2015)

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

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

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

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

Логика: Практический курс; учебник для вузов
di: Рузавин Г. И.
Pubblicazione: (Москва, ЮНИТИ-ДАНА, 2002)

Элементы теории множеств и математической логики: учебное пособие
di: Дурнев В. Г. Валерий Георгиевич
Pubblicazione: (Ярославль, Изд-во Ярославского ГУ, 1978)

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