Математическая логика и автоматическое доказательство теорем
Название: Математическая логика и автоматическое доказательство теорем
Автор: Чень Ч., Ли Р.
Издательство: Наука
Страниц: 360
Формат: DJVU
Размер: 8.73 Мб
Качество: Отличное
Язык: Русский
Год издания: 1973
Книга посвящена детальному изложению всего круга проблем, связанных с так называемым методом резолюций. Этот метод наиболее известен и широко используется в современных работах по доказательству на ЭВМ математических теорем и вообще при построении систем "искусственного интеллекта".
| Рейтинг: | 4.8 баллов / 2537 оценок |
| Формат: | Книга |
| Уже скачали: | 12812 раз |
Похожие Книги
Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
-
Оливье и винегреты на любой вкус.
Название: Оливье и винегреты на любой вкус Автор: Крестьянова Н.Е. Издательство: ACT ISBN: 978-5-17-035595-2 Год издания: 2006 Страниц: 64 Язык: Русский Формат: DJVU Качество: хорошее Размер: 11.5 М . . .
-
Shelves, Closets and Cabinets - From A-Frames to Z-Outs by Peter Jones.
Название: Shelves, Closets and Cabinets - From A-Frames to Z-Outs by Peter Jones Автор: Peter Jones Издательство: Van Nostrand Reinhold Год издания: 1978 Язык: Английский Формат: pdf Размер: 37,5 Мб . . .
-
Искусство игры на классической шестиструнной гитаре (в 3 частях).
Название: Искусство игры на классической шестиструнной гитаре (в 3 частях) Автор: Н. Кирьянов Издательство: Тороповъ Год издания: 2002,2004 Страниц: 159+140+142 Язык: Русский Формат: djvu Качество: . . .
-
Кулинарное мастерство. Поваренная книга.
Название: Кулинарное мастерство. Поваренная книга Автор: В.И. Окунев, А.П. Шабалова Серия или выпуск: Кулинарное мастерство Издательство: Урал ЛТД ISBN: 5-88294-072-9, 0-7853-0790-7 Год издания: 199 . . .
-
Электрокардиография. Новейший справочник
Автор: А. С. Воробьев Год издания: 2003 Формат: djvu Издат.: Сова Страниц: 543 Размер: 29,7 МБ ISBN: 5-699-04808-1 Язык: Русский В справо . . .
-
GQ №4 (апрель 2010)
GQ - мужской журнал о моде и стиле, дресс-коды, аксессуары, показы, подиум, бренды, модельеры. Журнал GQ - мужское издание о моде и стиле. Всё, что интересует современного мужчину: бизнес, спорт, исто . . .
-
Рыбалка на Руси №6 (июнь 2011)
Журнал «Рыбалка на Руси» – полноцветный специализированный журнал для любителей и профессионалов рыбной ловли. Издание богато статьями самых продвинутых рыболовов, неоднократно выигрывавших не только . . .
-
Мезонин №3 (март 2010)
Журнал "Мезонин" - это выбор ведущих декораторов России. Издание содержит фотографии и описания модных интерьеров, оказывает помощь в выборе элегантного стиля, знакомит своих читателей с новыми модным . . .
-
Уход за Гладиолусами.
Название: Уход за Гладиолусами Автор: Беднова Е. В. Серия или выпуск: Сам себе садовник Издательство: «Кладезь-Букс» ISBN: 978-5-93395-348-7 Год издания: 2009 Страниц: 32 Язык: Русский Формат: PDF ( . . .
-
Праздничный стол. Мясо.
Название: Праздничный стол. Мясо Автор: Махно В. Издательство: Слово ISBN: 966-8258-87-8 Год издания: 2005 Страниц: 32 Язык: Русский Формат: DJVU Качество: хорошее Размер: 10 Мб Описание: В книге пр . . .
Вы не зарегистрированы!
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
Отзывы читателей
Ой!
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Математическая логика и автоматическое доказательство теорем. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.