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

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

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

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

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

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

Читать далее...
Лавров И. А. Математическая логика  ОНЛАЙН

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

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

Читать далее...
Лакатос И. Доказательства и опровержения. Как доказываются теоремы  ОНЛАЙН

Лакатос И. Доказательства и опровержения. Как доказываются теоремы ОНЛАЙН

Лакатос И. Доказательства и опровержения. Как доказываются теоремы. М.: Наука, 1967. - 153 c. Предлагаемая вниманию читателя книга известного английского математика И.Лакатоса (1922--1974) посвящена проблемам математической логики. Она написана легко, увлекательно и остроумно в виде разговора учителя с учениками, разбирающими доказательства знаменитой теоремы Эйлера о многогранниках и получающиеся при этом …

Читать далее...
Колмогоров А.Н., Драгалин А.Г. Математическая логика  ОНЛАЙН

Колмогоров А.Н., Драгалин А.Г. Математическая логика ОНЛАЙН

Колмогоров А.Н., Драгалин А.Г. Математическая логика. Изд. 3-е, стереотипное. — М., 2006. 240 с. (Классический университетский учебник.) В настоящее издание включены два учебника А. Н. Колмогорова и А. Г. Драгалина «Введение в математическую логику» и «Математическая логика. Дополнительные главы», ранее издававшиеся по отдельности. Они содержат классическое изложение понятий и результатов …

Читать далее...
Клини С.К. Введение в метаматематику  ОНЛАЙН

Клини С.К. Введение в метаматематику ОНЛАЙН

Клини С.К. Введение в метаматематику. Пер. с анг. - М., 1957. - 528 с. Книга, написанная выдающимся американским математиком Стивеном Клини, является одной из самых обширных из имеющихся монографий по математической логике и теории рекурсивных функций. Этот фундаментальный труд по праву стал настольной книгой для всех, кто занимается математической логикой, …

Читать далее...
Клини С.К. Математическая логика  ОНЛАЙН

Клини С.К. Математическая логика ОНЛАЙН

Клини С.К. Математическая логика. - М., 1973.- 480 с. Имя одного из крупнейших современных специалистов в области математической логики С. К. Клини знакомо по русскому переводу его фундаментального труда «Введение в метаматематику» (ИЛ, 1957), ставшего настольной книгой для всех, кто занимается математической логикой, рекурсивными, функциями и основаниями математики.

Читать далее...
Карри Х. Б. Основания математической логики  ОНЛАЙН

Карри Х. Б. Основания математической логики ОНЛАЙН

Карри Х. Б. Основания математической логики: Пер. с англ. - М., 1969. - 568 с. Книга американского ученого посвящена детальному изучению основных понятий математической логики на современном этапе. Она содержит общую теорию формальных систем и исчислений. После детального обсуждения общеметодологических вопросов автор последовательно описывает исчисления, содержащие импликацию, отрицание и кванторы. …

Читать далее...