Математическая логика

Соавтор: Драгалин А.Г.

А. Н. Колмогоров и А. Г. Драгалин — выдающиеся отечественные логики и математики, оказавшие глубокое воздействие на стиль и направление мировых исследований по логике и философии математики.

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

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

Другие книги Колмогоров А.Н.

О профессии математика

Автор — выдающийся отечественный математик ХХ века — рассуждает о характере работы…

Избранные труды. Математика и механика

Книга представляет собой первую книгу избранных трудов А. Н. Колмогорова. В ней сосредоточены…

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

Книга, изданная в 1933 г. на немецком языке и в 1936 г. на русском, несколько раз переиздавалась…

А.Н.Колмогоров. Теория информации и теория алгоритмов.

В настоящую третью книгу избранных трудов академика А. Н. Колмогорова включены…

А.Н.Колмогоров.Математика-наука и профессия.

Сборник избранных статей о школьной математике и ее приложениях . Включен…

Книги по теме Математика

Математика помогает лингвистике

Соавтор: Крейдлин Г.Е. В книге в доступной форме раскрывается сходство и различие русского…

Логические основы математики. 10-11 класс

Методическое пособие признано помочь учителю в преподавании элективного курса «Логические…

Алиса в стране математики

Книга построена на занимательных сказочных сюжетах с персонажами всемирно известных сказок…

Компьютерное исчисление

Размышления о думающих машинах. Автор: Rafael Lahoz-Beltra Алану Тьюрингу через 75 лет после его…

Начала Евклида. Книги I-VI

Значение «Начал» Евклида трудно переоценить. В течение двух тысячелетий люди изучали…

Популярные книги

5 языков любви

Знания этих 5 языков любви помогут вам наладить отношения в семье и даже спасти уже разрушающийся…

Алхимик

"Алхимик" совсем не похож на "Чайку Джонатана" или "Иллюзии" Ричарда Баха…

Одиннадцать минут

Мария разочаровалась в любви и сексе, и образ двух влюбленных, слившихся душой и телом в…

Подсознание может все

В уединении средь лесов канадской провинции Британская Колумбия автор 3 года размышлял…

Легкий способ бросить курить

Книга может помочь бросить вам курить. Здесь нет шокотерапии, у автора для вас исключительно…