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

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

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

03.08.201316.03.2018

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

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

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

03.08.201301.02.2018

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

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

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

03.08.201315.03.2018

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

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

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

03.08.201316.03.2018

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

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

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

02.08.201328.11.2019

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

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

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

02.08.201331.01.2018

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