Математика

Э. Нагель, Дж. Р. Ньюмен. Теорема Гёделя. - Красанд, 2010 г. -121 с.(Науку - всем! Шедевры научно-популярной литературы) Вниманию читателя предлагается книга известного американского логика Э. Нагеля и опытного популяризатора науки Дж. Р. Ньюмена, посвященная теореме Гёделя о неполноте. Эта теорема была изложена в небольшой статье К. Гёделя, которая впоследствии …

Дискретная математика, мат. логика, теория алгоритмов, численные методы / Математика / Математика для студентов, аспирантов и научных работников

Михайлов А.Б. и др. Упражнения по основам математической логики. Формальные системы первого порядка

02.08.201326.01.2018

Михайлов А,Б., Рыжова Н.И., Швецкий М.В. Упражнения по основам математической логики. Формальные системы первого порядка. Учебное пособие для студентов математического факультета - Санкт-Петербург: РГПУ. 1997. - 127 с. Пособие предназначено для поддержки курса "Основы математической логики и теории алгорифмов". Содержит упражнения по разделу математической логики "Формальные системы первого порядка", которые …

Дискретная математика, мат. логика, теория алгоритмов, численные методы / Математика / Математика для студентов, аспирантов и научных работников

Мендельсон Э. Введение в математическую логику

02.08.201310.03.2018

Мендельсон Э. Введение в математическую логику. - М., 1971. - 322 с. Дается доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих ее приложений. Наряду с такими разделами, как логика высказываний, исчисление предикатов, формальная арифметика и теория алгоритмов, в ней освещены также теория моделей …

Дискретная математика, мат. логика, теория алгоритмов, численные методы / Математика / Математика для студентов, аспирантов и научных работников

Мальцев А.Н. Алгоритмы и рекурсивные функции

02.08.201310.03.2018

Мальцев А.Н. Алгоритмы и рекурсивные функции. - М., 1986. - 366 с. Посвящается одному из актуальных и бурно развивающихся разделов математической логики — теории алгоритмов, а также важнейшим ее связям с другими разделами математики. Является одним из лучших пособий для знакомства с основными направлениями, идеями и методами теории алгоритмов.

Дискретная математика, мат. логика, теория алгоритмов, численные методы / Математика / Математика для студентов, аспирантов и научных работников

Лихтарников Л. М., Сукачева Т.Г. Математическая логика. Курс лекций. 3адачник-практикум и решения

02.08.201310.03.2018

Л. М. Лихтарников, Т.Г. Сукачева. Математическая Логика. Курс лекций. 3адачник-практикум и решения. Серия Учебники для вузов. - Санкт-Петербург, 1999. - 288 с. Учебное пособие предназначено дли студентов университетов и педагогических институтов, изучающих курс математической логики. В файле представлен только курс лекций. Включает в себя разделы : Алгебра логики, исчисление высказываний, …

Дискретная математика, мат. логика, теория алгоритмов, численные методы / Математика / Математика для студентов, аспирантов и научных работников

Лавров И. А. Математическая логика

02.08.201321.01.2018

Лавров И. А. Математическая логика : учеб. пособие для студ. высш. учеб. заведений / И.А.Лавров; под ред. Л.Л. Максимовой. — М., 2006. — 240 с. — (Университетский учебник. Сер. Прикладная математика и информатика). В учебном пособии изложены основы современного подхода к изучению математических теорий с привлечением логических понятий и методов, …