Принципы логики и логическое программирование
Автор: Метакидес Г., Нероуд А.
Название: Принципы логики и логическое программирование
Издательство: Факториал
Год: 1998
Формат: djvu
Размер: 3.77 Mb
В книге излагаются основные понятия и принципы математической логики.
Основное внимание уделяется вопросам применения языка математической логики для представления знаний и формальным методам доказательства теорем с использованием семантических таблиц и резолютивного вывода.
На примере языка ПРОЛОГ рассматриваются принципы логического
программирования и искусственного интеллекта.
Подробно анализируется механизм вычислений и методика проектирования
логических программ.
DepositFiles
| Рейтинг: | 4.8 баллов / 2537 оценок |
| Формат: | Книга |
| Уже скачали: | 12802 раз |
Похожие Книги
Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
-
Прописи-шаблон по русскому языку pdf 2,76Мб
Тетрадь прописей-шаблонов по русскому языку.Автор: О. ЗавязкинИздательство: Баро-ПРЕССГод: 2000Страниц: 18Формат: PDFРазмер: 2.76 Мб (добавлено 3% для восстановления)Качество: отличноеЯзык: русскийСка . . .
-
Грамотейка. Интеллектуальное развитие детей 2-3 лет djvu 6Мб
Автор: Ольга ЗемцоваНазвание: Грамотейка. Интеллектуальное развитие детей 2-3 летСерия: Умные книжкиИздательство: МахаонЯзык: украинский (всё понятно без знания языка)Год: 2008Формат: DJVUРазмер: 6 Мб . . .
-
Смерть шпиона Гадюкина djvu 3,55Мб
Автор:Драгунский ВикторНазвание: Смерть шпиона ГадюкинаИздательство: Оникс Год: 2007Формат: djvuРазмер: 3.55 MBСмерть шпиона Гадюкина: Рассказ.Литературно-художественное издание для младшего школьного . . .
-
Цветы для мамы. Подарок своими руками djvu 2,27Мб
Название: Цветы для мамы. Подарок своими рукамиАвтор: Базулина Л.В., Новикова И.В.Издательство: ООО АтбергСерия: Подарок своими рукамиГод издания: 2004Страниц: 10Формат: DJVUРазмер: 2,27MbКачество: хо . . .
-
Раскраски по сериалу «Клуб волшебниц Винкс»
Представлены красивые раскраски с героями мультсериала «Клуб волшебниц Винкс». Всего в архиве содержится 54 раскраски. Представлены все главные герои сериала.Страниц: 54 штФормат/Размер: GIF и JPEG / . . .
-
упражнения для каллиграфического написания цифр djvu
Автор:Пушков А. Е.Название: упражнения для каллиграфического написания цифрИздательство: Современная школаГод: 2008Формат: djvuРазмер: 430.13 KBПредлгаемая шему вниманию пропись, преднасзначена для де . . .
-
Jumbo Halloween
Увлекательная книжка-раскраска для детей на английском языке. Веселые задания, ребусы, головоломки.Страниц: 121Год издания: 1995Язык текста: английскийФормат/Размер: pdf / 7,67 МбUpload BoxDeposit Fil . . .
-
Серія "Безпека малят" - НЕ ЖАРТУЙ З ВОГНЕМ
Назва: Не жартуй з вогнемСерія: Безпека малятАвтор: Ольга ШуваєваСторінок: 16Рік: 2006Розмір: 3.21 Mb Для дошкільного та молодшого шкільного віку.http://depositfiles.com/files/8o63i8j40http://uploadbo . . .
-
Роджер Желязны - Рыцарь теней (аудиокнига)
Королевство Амбер не найдешь ни на одной карте. Оно таинственно, загадочно, но нет мира более реального, чем Амбер. Остальные миры, включая Землю — лишь его Тени. Исключение — Царство Хаоса. Оно и Амб . . .
-
Butcher Bird: The Focke-Wulf Fw 190 pdf в rar 38,67Мб
Название: Butcher Bird: The Focke-Wulf Fw 190Автор: Edward ShackladyИздательство: Cerberus Publishing Ltd.ISBN: 1841451037Год: 2003Страниц: 285Формат: PDF в RARРазмер: 38.67МБЯзык: английскийCovers th . . .
Вы не зарегистрированы!
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
Отзывы читателей
Ой!
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Принципы логики и логическое программирование. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.