Математическая теория логического вывода

: : Разделы сайта : :

: : Популярное : :

: : Облако тегов : :

: : Немного рекламы : :

Обратная связьСвязь с администрацией

: : Цитата : :

Они жили на планете Марс, в доме с хрустальными колоннами, на берегу высохшего моря, и по утрам можно было видеть, как миссис К ест золотые плоды, растущие из хрустальных стен, или наводит чистоту, рассыпая пригоршнями магнитную пыль, которую горячий ветер уносил вместе с сором.
Марсианские Хроники
© Рэй Брэдберри

: :События: :

Праздник или знаменательная дата отсутствует

: : Последние комментарии : :

Автор → poffigistka
в новости → 100 ловушек в личной жизни. Как их распознать и обойти

Автор → Mpak
в новости → Когда она ушла

Автор → oybekt
в новости → Когда она ушла

Автор → Mpak
в новости → Когда она ушла

Автор → poffigistka
в новости → Искусство быть эгоистом

Все комментарии

: : Опрос сайта : :

Фантастический батл - Чей Цикл Сильнее? :)

Показать все опросы

: : Топ пользователей сайта: :

1. Ник: oybekt - Медалей: 8
2. Ник: Mpak - Медалей: 6
3. Ник: magway - Медалей: 2
4. Ник: poffigistka - Медалей: 1

1. Ник: oybekt - Очков: 915
2. Ник: Mpak - Очков: 215
3. Ник: magway - Очков: 25
4. Ник: poffigistka - Очков: 10

: : Популярное за весь период: :

Математическая теория логического вывода

Автор: А.Идельсон, Г.Минц

Цикл: Математическая логика и основания математики -

Формат: djvu

Размер: 3,5 Мб

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

Краткое описание:Эта книга является сборником переводов статей по теории логического вывода. Возросший за последнее время интерес к этой области математической логики вызван бурным развитием "машинной логики", в частности, появлением многочисленных работ, посвященных машинному доказательству теорем.

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

Теги:

Аудиокнига:

Автор: oybekt
Комментариев: 0
Просмотров: 801 |

Комментарии:

Информация

Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.