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

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

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

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

 

 

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

Интересно

Подлинником на Руси называли палку, которой били свидетеля, добиваясь истины.

Еще   [X]

 0 

Математическая теория логического вывода. Математическая логика и основания математики (Под редакцией А.В.Идельсона и Г.Е.Минца)

Эта книга представляет собой сборник переводов (единственное исключение составляет статья Г.Е.Минца) статей по теории логического вывода. Возросший за последнее премя интерес к этой области математической логики вызван бурным развитием «машинной логики», в частности, появлением многочисленных работ, посвященных машинному доказательству теорем.

В сборнике представлены как работы, ставшие уже классическими, так и некоторые работы последних лет. Из многочисленных в настоящее время исследований по теории логического вывода в сборник отобраны работы, связанные с наиболее интересными (с точки зрения составителей) этапами развития этой теории.

Читатель, не обладающий никакими специальными сведениями в области математической логики (но обладающий некоторой математической культурой), может использовать этот сборник в качестве пособия для систематического изучения теории логического вывода. При таком использовании можно рекомендовать следующий порядок чтения.

Издатель: "НАУКА"

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

Страниц: 350

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

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



С книгой «Математическая теория логического вывода. Математическая логика и основания математики» также читают:

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

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

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