!!Внимание!!
: : Разделы сайта : :
: : Популярное : :
: : Облако тегов : :
: : Немного рекламы : :
Обратная связьСвязь с администрацией
- Гость
Пожалуйста, зарегистрируйтесь
: : Цитата : :
– Вы не хотите поговорить немного по-французски? Я недавно учился и не хотел бы забыть…
Мужчина удивленно взглянул на него.
– Поговорить по-французски? – Он сухо рассмеялся. – Нет, я так не могу. Меня бросили в тюрьму, а я буду вести беседы по-французски! Нелепо! Честное слово, вам приходят в голову удивительные мысли.
Возлюби ближнего своего
© Эрих Мария Ремарх
Мужчина удивленно взглянул на него.
– Поговорить по-французски? – Он сухо рассмеялся. – Нет, я так не могу. Меня бросили в тюрьму, а я буду вести беседы по-французски! Нелепо! Честное слово, вам приходят в голову удивительные мысли.
Возлюби ближнего своего
© Эрих Мария Ремарх
: :События: :
Праздник или знаменательная дата отсутствует
: : Последние комментарии : :
 |
Автор → poffigistka
в новости → 100 ловушек в личной жизни. Как их распознать и обойти |
 |
Автор → Mpak
в новости → Когда она ушла |
 |
Автор → oybekt
в новости → Когда она ушла |
|
Автор → Mpak
в новости → Когда она ушла |
|
Автор → poffigistka
в новости → Искусство быть эгоистом |
Все комментарии
: : Опрос сайта : :
: : Топ пользователей сайта: :
: : Популярное за весь период: :
| Научно-популярное / Образование 11 ноября 2012 |
Автор: А.Идельсон, Г.Минц
Формат: djvu
Размер: 3,5 Мб
Язык: русский
Краткое описание:Эта книга является сборником переводов статей по теории логического вывода. Возросший за последнее время интерес к этой области математической логики вызван бурным развитием "машинной логики", в частности, появлением многочисленных работ, посвященных машинному доказательству теорем.
В сборнике представлены как работы, ставшие уже классическими, так и некоторые работы последних лет. Ведущее место занимают статьи основоположника теории логического вывода Г.Генцена. В них разработан метод, лежащий ныне в основе большинства работ по теории логического вывода.
В сборнике представлены как работы, ставшие уже классическими, так и некоторые работы последних лет. Ведущее место занимают статьи основоположника теории логического вывода Г.Генцена. В них разработан метод, лежащий ныне в основе большинства работ по теории логического вывода.
Теги:
Аудиокнига:
- Автор: oybekt
- Комментариев: 0
- Просмотров: 792
|
Комментарии:
Информация
Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.