Уведомлений еще не было

Книги Николая Верещагина

Николай Верещагин - автор 13 книг. Из известных произведений можно выделить: Лекции по математической логике и теории алгоритмов. Часть 1. Начала теории множеств, Начала теории множеств. Математическая логика и теория алгоритмов, Языки и исчисления. Все книги можно читать онлайн и бесплатно скачивать на нашем портале.

Фильтры
Год написания

Тип сюжета
Тема
Герои
Место действия
Время действия
Математика
0.0
0
0
Лекции по математической логике и теории алгоритмов. Часть 1. Начала теории множеств
Лекции по математической логике и теории алгоритмов. Часть 1. Начала теории множеств

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

Математика
8.0
0
0
Начала теории множеств. Математическая логика и теория алгоритмов
Начала теории множеств. Математическая логика и теория алгоритмов

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

Математика
0.0
0
0
Языки и исчисления
Языки и исчисления

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

Математика
8.8
0
0
Математическая логика и теория алгоритмов. Вычислимые функции
Математическая логика и теория алгоритмов. Вычислимые функции

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

Философия
8.0
0
0
Вводный курс математической логики
Вводный курс математической логики

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

Математика
0.0
0
0
Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления
Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления

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

Информатика
0.0
0
0
Информация, кодирование и предсказание
Информация, кодирование и предсказание

Предлагаемая книга – это одновременно учебник и оригинальная монография по теории информации. Две независимые друг от друга части, составляющие книгу, написаны авторами на основе собственных лекций, читающихся в Школе анализа данных Яндекса.Автор первой части, Е. В. Щепин, рассматривает понятия теории информации как базу для решения задач машинного обучения, и прежде всего – задач построения класс...

Математика
0.0
0
0
Лекции по математической логике и теории алгоритмов. Часть 3. Вычислимые функции
Лекции по математической логике и теории алгоритмов. Часть 3. Вычислимые функции

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

Математика
0.0
0
0
Колмогоровская сложность и алгоритмическая случайность
Колмогоровская сложность и алгоритмическая случайность

Классическая (шенноновская) теория информации измеряет количество информации, заключённой в случайных величинах. В середине 1960-х годов А.Н. Колмогоров (и другие авторы) предложили измерять количество информации в конечных объектах с помощью теории алгоритмов, определив сложность объекта как минимальную длину программы, порождающей этот объект. Это определение послужило основой для алгоритмическ...

История
0.0
0
0
Пещерный лев и его история в Голарктике и в пределах СССР
Пещерный лев и его история в Голарктике и в пределах СССР

Книга Пещерный лев и его история в Голарктике и в пределах СССР Пещерный лев и его история в Голарктике и в пределах СССР Книги Энциклопедии Автор: Верещагин Н.К. Год издания: 1971 Формат: djvu Издат.:Тр. ЗООЛ. ин-та АН СССР Страниц: 123198 Размер: 3 Мб Язык: Русский0 (голосов: 0) Оценка:Panthera (Leo) - Пещерный лев, плейстоценовой лев, тигролев.Пещерный лев обычный и индикаторный членмамонтовой ...