: : Разделы сайта : :
: : Популярное : :
: : Облако тегов : :
: : Немного рекламы : :
Обратная связьСвязь с администрацией
- Гость
Пожалуйста, зарегистрируйтесь
: : Цитата : :
– А я действительно похож на галлюцинацию. Обратите внимание на мой профиль в лунном свете, – кот полез в лунный столб и хотел еще что-то говорить, но его попросили замолчать, и он, ответив: – Хорошо, хорошо, готов молчать. Я буду молчаливой галлюцинацией, – замолчал.
Мастер и Маргарита
© Михаил Булгаков
Мастер и Маргарита
© Михаил Булгаков
: :События: :
Праздник или знаменательная дата отсутствует
: : Последние комментарии : :
Автор → poffigistka
в новости → 100 ловушек в личной жизни. Как их распознать и обойти |
Автор → Mpak
в новости → Когда она ушла |
Автор → oybekt
в новости → Когда она ушла |
Автор → Mpak
в новости → Когда она ушла |
Автор → poffigistka
в новости → Искусство быть эгоистом |
Все комментарии
: : Опрос сайта : :
: : Топ пользователей сайта: :
: : Популярное за весь период: :
Научно-популярное / Образование 11 ноября 2012 |
Формат: djvu
Размер: 4,2 Мб
Язык: русский
Краткое описание:Книга посвящена детальному изложению всего круга проблем, связанных с так называемым методом резолюций Этот метод наиболее известен и широко используется в современных работах по доказательству на ЭВМ математических теорем и вообще при построении систем «искусственного интеллекта». Описываются применения метода к таким, например, актуальным для всякого системного программиста задачам, как автоматический анализ и синтез программ
Теги:
Аудиокнига:
- Автор: oybekt
- Комментариев: 1
- Просмотров: 878
|
Комментарии:
Информация
Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.