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