Интеллектуальные развлечения. Интересные иллюзии, логические игры и загадки.

Добро пожаловать В МИР ЗАГАДОК, ОПТИЧЕСКИХ
ИЛЛЮЗИЙ И ИНТЕЛЛЕКТУАЛЬНЫХ РАЗВЛЕЧЕНИЙ
Стоит ли доверять всему, что вы видите? Можно ли увидеть то, что никто не видел? Правда ли, что неподвижные предметы могут двигаться? Почему взрослые и дети видят один и тот же предмет по разному? На этом сайте вы найдете ответы на эти и многие другие вопросы.

Log-in.ru© - мир необычных и интеллектуальных развлечений. Интересные оптические иллюзии, обманы зрения, логические флеш-игры.

Привет! Хочешь стать одним из нас? Определись…    
Если ты уже один из нас, то вход тут.

 

 

Амнезия?   Я новичок 
Это факт...

Интересно

В Ирландии ни разу не проводилась операция по смене пола.

Еще   [X]

 0 

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

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

Другие книги по математической логике и теории алгоритмов на сайте:

Аляев Ю.А. Тюрин С.Ф. Дискретная математика и математическая логика
Босс В. Лекции по математике. Т. 6: От Диофанта до Тьюринга
Гаврилов Г. П., Сапоженко А. А. Задачи и упражнения по дискретной математике (3-е изд.(2005))
Гилберт Д., Аккерман В. Основы теоретической логики
Гилберт Д., Бернайс П. Основания математики
Гуц А.К. Математическая лоrика и теория алrоритмов
Гладкий А.В. Математическая логика
Гохман А.В. Сборник задач по математической логике и алгебре множеств
Р. Грэхем, Д. Кнут, О. Паташник Конкретная математика. Основание информатики
Ершов Ю.Л., Палютин Е.А. Математическая логика
Игошин В.И. Математическая логика и теория алгоритмов
Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов
Идельсон А.В. Математическая теория логического вывода. Математическая логика и основания математики
Клини С.К. Математическая логика
Крайзель Г. Исследования по теории доказательств
Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов
Л. М. Лихтарников, Т. Г. Сукачева Математическая логика
Мацнев А.П. Математическая логика и теория алгоритмов
Мальцев А.И. Избранные труды, в 2-х томах
Мальцев А.Н. Алгоритмы и рекурсивные функции
Мендельсон Э. Введение в математическую логику
Никольская И.Л. Математическая логика
Новиков П.С. Элементы математической логики
Успенский В. А., Верещагин Н. К., Плиско В. Е. Вводный курс математической логики
Успенский В.А., Семенов А.Л. Теория алгоритмов: основные открытия и приложения

Отдельно первая книга из входящих в данное издание
Колмогоров А.Н., Драгалин А.Г. Введение в математическую логику (изд. 1962 г.)

ISBN: 5-484-00520-5

Издатель: КомКнига

Год издания: 2006

Страниц: 240

Язык: русский

Качество: хорошее(600 dpi+OCR+оглавление/алфавитный указатель)



С книгой «Колмогоров, Драгалин Математическая логика» также читают:

комментариев нет  

Отпишись
Ваш лимит — 2000 букв

Включите отображение картинок в браузере  →