Колмогоров

Математическая логика, Колмогоров А.Н., Драгалин А.Г., 2006.

  А. Н. Колмогоров (1903-1987) и А. Г. Драгалин (1941-1998) — выдающиеся отечественные логики и математики, оказавшие глубокое воздействие на стиль и направление мировых исследований по логике и философии математики.
В настоящее издание включены учебники А. Н. Колмогорова и А. Г. Драгалина «Введение в математическую логику» и «Математическая логика. Дополнительные главы», содержащие классическое изложение понятий и результатов математической логики с элементами теории множеств, теории алгоритмов и оснований математики. Учебники написаны на основании курса математической логики, читавшегося обоими авторами на механико-математическом факультете МГУ им. М. В. Ломоносова.
Изложение фундаментальных фактов современной логики (основ логики высказываний и логики предикатов, начал аксиоматической теории множеств, теории алгоритмов, теоремы Гёделя о неполноте, программы Гильберта обоснования математики) не предполагает специальной подготовки и рассчитано на широкий круг читателей, интересующихся математической логикой и философскими проблемами современной математики.

Введение в теорию вероятностей, Колмогоров А.Н., Журбенко И.Г., Прохоров А.В., 2015/

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

Математическая логика, алгебра, теория чисел, теория вероятностей, Колмогоров А.Н., Юшкевич А.П., 1978.

Предыстория математической логики.

В трехтомной «Истории математики» (ИМ) математическая логика не рассматривалась. Поэтому анализу развития математической логики в XIX в.  мы предпошлем   краткий  обзор  ее предшествующей истории.
Первое дошедшее до нас систематическое построение и изложение логики содержат трактаты Аристотеля (384—322 гг. до н. э.), объединенные его комментаторами под общим названием «Органон». В «Органон» входят «Категории» (об именах), «Об истолковании» (о суждениях), «Первая Аналитика» (об умозаключениях), «Вторая Аналитика» (о доказательствах), «Топика» (о доказательстве, опирающемся на положения, представляющиеся вероятными) и примыкающее к ней «Опровержение софистических аргументов». Во «Второй Аналитике» изложена теория доказательств Аристотеля и сформулированы основные требования, предъявляемые к «доказывающей науке», в частности к математике. Подчеркивая строгость логических рассуждений Аристотеля, Лейбниц отметил: «Аристотель был первым,  кто писал математически в  нематематике» х.
Логика другого стиля, своеобразная логика высказываний, была развита философами мегарской школы, основателем которой был ученик Сократа Евклид из Мегар (ок. 450—380 до и. э.). Учеником Евклида был Евбулит из Милета (IV в. до н. э.), с именем которого связываются известные парадоксы — «Лжец», «Куча». Мегарская школа оканчивается Филоном (ок. 300 до н. э.). Однако примерно в это время учеником Филона Зеноном из Китиопа (ок. 336—264 до н. э.) создается школа стоиков, воспринявших основные идеи и стиль мегариков. Наиболее видным представителем стоиков был Хризипп (ок. 281—208 до н. э.), о котором в свое время говорили, что если бы боги нуждались в логике, то это была бы логика Хризиппа. Дошедшая до пас в отрывках логика мегарской и стоической школ удивительным образом предвосхищает современное исчисление высказываний.



Символическая логика Г. В. Лейбница.

Лейбниц понимал логику в самом широком смысле: она не только искусство суждения и доказательства известных истин, как аналитика Аристотеля, во и искусство изобретения и открытия новых истин.
Изучение трудов Аристотеля произвело большое впечатление на молодого Лейбница и оказало влияние на формирование его логических взглядов. Лейбниц высоко ценил силлогистику Аристотеля. Он писал: «...изобретение силлогистической формы — одно из прекраснейших и даже важнейших открытий человеческого духа. Это своего рода универсальная математика, все значение которой еще не достаточно понято» 2.
Однако силлогистика Аристотеля является не единственной формой вывода; существуют и более сложные формы. К таким более сложным формам дедукции Лейбниц относит, например, правила сложения, умножения и перестановки членов пропорций у Евклида. То, что является результатом оперирования по этим правилам, носит достоверный характер, а сам процесс получения результата есть доказательство (argu-menta in forma) 3.
План усовершенствования и построения логики был у Лейбница таков.
Прежде всего нужно проанализировать все понятия, приводя их к сочетаниям наиболее простых понятий; перечень этих простых, неопределяемых  понятий  составит  «алфавит человеческих  мыслей».   Затем  из
этих простых исходных понятий все остальные понятия могут быть получены путем комбинирования. Анализ понятий позволит провести вместе с тем доказательства всех известных истин, т. е. составить своеобразный их  свод — «доказательную энциклопедию».


Оглавление.

ПРЕДИСЛОВИЕ
Глава первая МАТЕМАТИЧЕСКАЯ ЛОГИКА
Глава вторая АЛГЕБРА И АЛГЕБРАИЧЕСКАЯ ТЕОРИЯ ЧИСЕЛ
Глава третья ПРОБЛЕМЫ ТЕОРИИ ЧИСЕЛ
Глава четвертая ТЕОРИЯ ВЕРОЯТНОСТЕЙ
ЛИТЕРАТУРА (Ф. А. Медведев)
ОСНОВНЫЕ СОКРАЩЕНИЯ
ИМЕННОЙ УКАЗАТЕЛЬ (Л. Ф. Лапко)



Бесплатно скачать электронную книгу в удобном формате, смотреть и читать: Скачать - pdf - Яндекс.Диск.

Основные понятия теории вероятностей, Колмогоров А.Н., 1974.

   Книга, изданная в 1933 г. на немецком языке и в 1936 г. на русском, несколько раз переиздавалась в английском переводе. Хотя значительная часть ее содержания включена в учебники, она сохраняет интерес для лиц, занимающихся обстоятельно теорией вероятностей. Основной текст переиздается лишь с небольшой редакционной правкой.

Введение в математическую логику, Колмогоров А.Н., Драгалин А.Г., 1982.

   Учебное пособие предназначено для начинающих математиков, которые желают ознакомиться со строением математического языка и математических теорий. Наряду с начальными понятиями теории множеств излагаются основы логики высказываний и логики предикатов. Изложение не предполагает специальных знаний и рассчитано на студентов младших курсов.

ГДЗ по алгебре, 10 класс, 2015, к учебнику по алгебре за 10 класс, Колмогоров А.Н.

  Функция у = tg х на промежутках D(y) возрастает и имеет себе обратную, тоже возрастающую, а т.к. -5 < 0,7 < 100, то arctg (-5) < arctg (0,7) < arctg 100.

Теория информации и теория алгоритмов, Колмогоров А.Н., 1987.
   
   В настоящую третью книгу избранных трудов академика А. Н. Колмогорова включены работы по теории информации и теории алгоритмов, их приложениям к различным областям знания. Комментарии специалистов дают представление о развитии работ А. Н. Колмогорова и современном состоянии рассматриваемых в них проблем.

Геометрия, 8 класс, Колмогоров А.Н., 1976.

  Учебное пособие по геометрии для 6 класса общеобразовательных учреждений, 4-е издание.