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