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

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

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

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

 

 

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

Интересно

Д.И.Менделеев на досуге увлекался изготовлением чемоданов.

Еще   [X]

 0 

Элементы математической логики (Новиков П.С.)

Петр Сергеевич Новиков (1901-1975) - один из создателей школы математической логики в СССР, академик АН СССР, лауреат Ленинской премии. Основные труды по теории множеств, математической логике, теории алгоритмов, теории групп.
В настоящей книге сделана попытка дать по возможности доступное изложение основ математической логики. Этой задаче посвящены первые пять глав книги, составляющие ее основное содержание (логика и исчисление высказываний, логика и исчисление предикатов, аксиоматическая арифметика). Последняя, шестая, глава носит более специальный характер, в ней рассматриваются методы теории доказательства, посредством которых решаются некоторые вопросы математической логики, возникающие в основном тексте книги.
Книга привлечет внимание всех занимающихся или интересующихся математической логикой, а также может быть использована как учебное пособие по курсу математической логики в университетах.

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

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

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

Издатель: Наука, Главная редакция физико-математической литературы

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

Страниц: 400

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

Качество: нормальное



С книгой «Элементы математической логики» также читают:

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

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

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