Учебники, пособия, справочники, методички, сборники заданий и упражнений, монографии из категории Дискретная математика, мат. логика, теория алгоритмов, численные методы в режиме онлайн
Зюзьков В.М. Лекции по теории алгоритмов (мехмат) Содержание 1. Алгоритмы и вычислимые функции_1 1.1. Понятие алгоритма и неформальная вычислимость_1 1.2. Частично-рекурсивные функции_3 1.3. Машины Тьюринга_6 1.4. Тезис Чёрча_8 1.5. Теорема о рекурсии_9 1.6. Куины_12
Читать далее...
Н.К.Верещагин, А.Шень. Лекции по математической логике и теории алгоритмов. Часть 1. Начала теории множеств. 2-е изд., исправленное. М., 2002. 128 с. Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях «наивной теории множеств» (мощности, упорядоченные множества, трансфинитная индукция, …
Читать далее...
Н. К. Верещагин, А. Шень. Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления. М., 2002. 2-е издание, стереотипное. — 288 с. Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики (логика высказываний, …
Читать далее...
Н. К. Верещагин, А. Шень. Лекции по математической логике и теории алгоритмов. Часть 3. Вычислимые функции. 2-е изд., исправленное. М., 2002, 192 с. Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях общей теории вычислимых функций (вычислимость, разрешимость, …
Читать далее...
Варпаховский Ф.Л. Элементы теории алгоритмов. - М., 1970. - 25 с. (МГЗПИ) Пособие представляет собой попытку элементарного изложения основ теории алгоритмов, которое могло бы служить требуемым руководством для студентов педвузов. Общий план изложения заимствован из лекций, прочитанных П. С. Новиковым на курсах усовершенствования учителей при Московском государственном педагогическом институте им. …
Читать далее...
Успенский В. А., Верещагин Н. К., Плиско В. Е. Вводный курс математической логики. — 2-е изд. — М., 2004. — 128 с. В учебном пособии содержится материал основного курса «Введение в математическую логику», читаемого на механико-математическом факультете МГУ. Излагаются элементы теории множеств, основные понятия, относящиеся к семантике формализованных логико-математических языков …
Читать далее...