математика

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

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

  Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях общей теории вычислимых функций (вычислимость, разрешимость, перечислимость, универсальные функции, нумерации и их свойства, m-полнота, теорема о неподвижной точке, арифметическая иерархия, вычисления с оракулом, степени неразрешимости) и о конкретных вычислительных моделях (машины Тьюринга, рекурсивные функции). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся основами теории алгоритмов. Книга содержит около 100 задач различной трудности.

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

Лекции по математической логике и теории алгоритмов, Часть 2, Языки и исчисления, Верещагин Н.К., Шень А., 2012

Лекции по математической логике и теории алгоритмов, Часть 2, Языки и исчисления, Верещагин Н.К., Шень А., 2012.

  Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся математической логикой. Книга включает около 200 задач различной трудности.

Лекции по математической логике и теории алгоритмов, Часть 2, Языки и исчисления, Верещагин Н.К., Шень А., 2012
Скачать и читать Лекции по математической логике и теории алгоритмов, Часть 2, Языки и исчисления, Верещагин Н.К., Шень А., 2012
 

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

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

  Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях «наивной теории множеств» (мощности, упорядоченные множества, трансфинитная индукция, ординалы). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся основами теории множеств. Книга включает около 150 задач различной трудности.

Лекции по математической логике и теории алгоритмов, Часть 1, Начала теории множеств, Верещагин Н.К., Шень А., 2012
Скачать и читать Лекции по математической логике и теории алгоритмов, Часть 1, Начала теории множеств, Верещагин Н.К., Шень А., 2012
 

Считаем правильно, 2 класс, Рабочая тетрадь по математике, Белых Г.В., 2010

Считаем правильно, 2 класс, Рабочая тетрадь по математике, Белых Г.В., 2010.

  Пособие для самостоятельной работы школьников. Цель - прочное усвоение навыков письменного и устного счёта. В пособии содержатся не только примеры, но и алгоритм выполнения арифметических действий разных типов.

Считаем правильно, 2 класс, Рабочая тетрадь по математике, Белых Г.В., 2010
Скачать и читать Считаем правильно, 2 класс, Рабочая тетрадь по математике, Белых Г.В., 2010
 

Считаем правильно, 3 класс, Рабочая тетрадь по математике, Белых Г.В., 2010

Считаем правильно, 3 класс, Рабочая тетрадь по математике, Белых Г.В., 2010.

  Пособие для самостоятельной работы школьников. Цель - прочное усвоение навыков письменного и устного счёта. В пособии содержатся не только примеры, но и алгоритм выполнения арифметических действий разных типов.

Считаем правильно, 3 класс, Рабочая тетрадь по математике, Белых Г.В., 2010
Скачать и читать Считаем правильно, 3 класс, Рабочая тетрадь по математике, Белых Г.В., 2010
 

Дискретная математика, Часть II, Математическая логика, Зарипова Э.Р., Кокотчикова М.Г., 2013

Дискретная математика, Часть II, Математическая логика, Зарипова Э.Р., Кокотчикова М.Г., 2013.
 
   В пособии излагаются основы математической логики, булева алгебра, исчисление высказываний, исчисление предикатов.
Предназначено для студентов I, II курсов математических, экономических и компьютерных специальностей.
Подготовлено на кафедре систем телекоммуникаций Российского университета дружбы народов.

Дискретная математика, Часть II, Математическая логика, Зарипова Э.Р., Кокотчикова М.Г., 2013
Скачать и читать Дискретная математика, Часть II, Математическая логика, Зарипова Э.Р., Кокотчикова М.Г., 2013
 

Лекции по дискретной математике, Часть I, Комбинаторика, Зарипова Э.Р., Кокотчикова М.Г., 2012

Лекции по дискретной математике, Часть I, Комбинаторика, Зарипова Э.Р., Кокотчикова М.Г., 2012.
 
   В пособии излагаются основы комбинаторики и комбинаторных алгоритмов.
Предназначено для студентов I, II курсов математических специальностей.
Подготовлено на кафедре систем телекоммуникаций.

Лекции по дискретной математике, Часть I, Комбинаторика, Зарипова Э.Р., Кокотчикова М.Г., 2012
Скачать и читать Лекции по дискретной математике, Часть I, Комбинаторика, Зарипова Э.Р., Кокотчикова М.Г., 2012
 

Дискретная математика, Часть III, Теория графов, Зарипова Э.Р., Кокотчикова М.Г., 2013

Дискретная математика, Часть III, Теория графов, Зарипова Э.Р., Кокотчикова М.Г., 2013.
 
   В пособии излагаются основы теории графов и алгоритмов на графах. Книга является продолжением курса дискретной математики: «Часть I. Комбинаторика» и «Часть II. Математическая логика».
Подготовлено на кафедре «Системы телекоммуникаций». Предназначено для студентов I, II курсов математических и компьютерных специальностей высших учебных заведений.

Дискретная математика, Часть III, Теория графов, Зарипова Э.Р., Кокотчикова М.Г., 2013
Скачать и читать Дискретная математика, Часть III, Теория графов, Зарипова Э.Р., Кокотчикова М.Г., 2013
 
Показана страница 303 из 639