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

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

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

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

 

 

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

Интересно

Пальцы опытной машинистки пробегают за день 16 миль.

Еще   [X]

 0 

Введение в математическую логику (Мендельсон Э.)


Аннотация:

В книге Э. Мендельсона «Введение в математическую логику» дается доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих ее приложений. Наряду с такими разделами, как логика высказываний, исчисление предикатов, формальная арифметика и теория алгоритмов, в ней освещены также теория моделей и аксиоматическая теория множеств, отсутствующие в книге С. К. Клини «Введение в метаматематику», которая до настоящего времени служила наиболее полным пособием по математической логике. Следует однако отметить, что в отличие от книги С. К. Клини в этой книге по существу не затрагиваются интуиционистское и конструктивное направления математической логики.

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

Издатель: Наука

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

Страниц: 322

Качество: среднее



С книгой «Введение в математическую логику» также читают:

2 комментария  

0
Анжели

Спасибо)

0
Ircho

Дуже дякую!=))

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

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