Верещагин Н.К., Шень А. Лекции по математической логике и теории алгоритмов. Часть 3. Вычислимые функции  ОНЛАЙН

Верещагин Н.К., Шень А. Лекции по математической логике и теории алгоритмов. Часть 3. Вычислимые функции ОНЛАЙН

Н. К. Верещагин, А. Шень. Лекции по математической логике и теории алгоритмов. Часть 3. Вычислимые функции. 2-е изд., исправленное. М., 2002, 192 с. Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях общей теории вычислимых функций (вычислимость, разрешимость, …

Читать далее...
Варпаховский Ф.Л. Элементы теории алгоритмов  ОНЛАЙН

Варпаховский Ф.Л. Элементы теории алгоритмов ОНЛАЙН

Варпаховский Ф.Л. Элементы теории алгоритмов. - М., 1970. - 25 с. (МГЗПИ) Пособие представляет собой попытку элементарного изложения основ теории алгоритмов, которое могло бы служить требуемым руководством для студентов педвузов. Общий план изложения заимствован из лекций, прочитанных П. С. Новиковым на курсах усовершенствования учителей при Московском государственном педагогическом институте им. …

Читать далее...
Успенский В. А. и др. Вводный курс математической логики  ОНЛАЙН

Успенский В. А. и др. Вводный курс математической логики ОНЛАЙН

Успенский В. А., Верещагин Н. К., Плиско В. Е. Вводный курс математической логики. — 2-е изд. — М., 2004. — 128 с. В учебном пособии содержится материал основного курса «Введение в математическую логику», читаемого на механико-математическом факультете МГУ. Излагаются элементы теории множеств, основные понятия, относящиеся к семантике формализованных логико-математических языков …

Читать далее...
Успенский В.А., Семенов А.Л. Теория алгоритмов: основные открытия и приложения  ОНЛАЙН

Успенский В.А., Семенов А.Л. Теория алгоритмов: основные открытия и приложения ОНЛАЙН

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

Читать далее...
Успенский В.А. Лекции о вычислимых функциях  ОНЛАЙН

Успенский В.А. Лекции о вычислимых функциях ОНЛАЙН

Успенский В.А. Лекции о вычислимых функциях.- М., 1960. - 492 с. Настоящие «Лекции» посвящены изложению основ теории вычислимых функций (проводимому на базе принятого в настоящее время отождествления их — для случая функций с натуральными аргументами и значениями — с частично-рекурсивными функциями), а также некоторым приложениям этой теории.

Читать далее...
Трахтенброт Б.А. Алгоритмы и машинное решение задач  ОНЛАЙН

Трахтенброт Б.А. Алгоритмы и машинное решение задач ОНЛАЙН

Трахтенброт Б.А. Алгоритмы и машинное решение задач. Изд.2. - М., 1960. - 120 с. Книга Б. А. Трахтенброта рассматривает в популярной форме основные вопросы теории алгоритмов и связь этой теории с машинной математикой. Автор подробно рассказывает об истории развития понятия алгоритм, о принципе работы современных быстродействующих вычислительных машин, об основах …

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

Тимофеева И.Л. Математическая логика. Курс лекций ОНЛАЙН

Тимофеева И.Л. Математическая логика. Курс лекций: Учеб. пособие для тудентов вузов / И. Л. Тимофеева. — 2-е изд., перераб. — М., 2007. — 304 с. Пособие написано в соответствии с действующей программой по математической логике для педагогических вузов. Рассмотрены следующие темы: язык логики высказываний, исчисления высказываний, язык логики предикатов, исчисления …

Читать далее...
Столл Р.Р. Множества. Логика. Аксиоматические теории  ОНЛАЙН

Столл Р.Р. Множества. Логика. Аксиоматические теории ОНЛАЙН

Столл Р.Р. Множества. Логика. Аксиоматические теории. — М., 1968. — 232 с. Книга может быть рекомендована в качестве первоначального пособия каждому, кто хочет ознакомиться с основными понятиями, идеями, методами и результатами математической логики и теории множеств; элементарному изложению этих вопросов посвящены первые две главы книги. Несколько более трудна (по степени …

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