Принципы логики и логическое программирование
Автор: Метакидес Г., Нероуд А.
Название: Принципы логики и логическое программирование
Издательство: Факториал
Год: 1998
Формат: djvu
Размер: 3.77 Mb
В книге излагаются основные понятия и принципы математической логики.
Основное внимание уделяется вопросам применения языка математической логики для представления знаний и формальным методам доказательства теорем с использованием семантических таблиц и резолютивного вывода.
На примере языка ПРОЛОГ рассматриваются принципы логического
программирования и искусственного интеллекта.
Подробно анализируется механизм вычислений и методика проектирования
логических программ.
DepositFiles
| Рейтинг: | 4.8 баллов / 2537 оценок |
| Формат: | Книга |
| Уже скачали: | 12800 раз |
Похожие Книги
Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
-
Каталог Cormoran 2012 г
Название: Каталог Cormoran 2012 г Автор: Коллектив Издательство: http://piranya-ltd.ru Страниц: 24 Формат: PDF Размер: 28,58 MB Качество: Отличное Язык: Русский Год издания: 2012 У японского производи . . .
-
Детали мира №11 2012
Название: Детали мираАвтор: коллективИздательство: ООО "AltNews MG"Год / месяц: 2012 / майНомер: 9 (11)Формат: pdfСтраниц: 89Качество: хорошееЯзык: русский Размер: 22,1 Мб Научно-популярное издание, м . . .
-
Taunton's Complete Illustrated Guide to Choosing and Installing Hardware
Название: Taunton's Complete Illustrated Guide to Choosing and Installing HardwareАвтор: Robert J. SettichИздательство: Taunton PressГод: 2003Формат: pdfКачество: отличноеРазмер: 10 МбЯзык: EnglishКол . . .
-
Мир Александра Каждана
Название: Мир Александра КажданаАвтор: Отв. ред. А.А. ЧекаловаГод: 2003Издательство: АлетейяISBN: 5-89329-570-6Формат: PDFРазмер: 37 МбСтраниц: 624Язык: РусскийСборник Иир Александра Каждана подготовл . . .
-
Burgos. Páramos y Campiñas
Автор: коллективНазвание: Burgos. Páramos y CampiñasИздательство: Patronato de Turismo de la Provincia de BurgosГод: 2010Формат: PDFРазмер: 4.81 мбЯзык: испанскийEl río Arlanzón no . . .
-
Statistical Analysis: Microsoft Excel 2010
Название: Statistical Analysis: Microsoft Excel 2010Автор: Conrad CarlbergИздательство: Pearson Education, IncISBN: 0789747200Год: 2011Страниц: 464Формат: PDFРазмер: 16 MbЯзык: АнглийскийUse Excel 201 . . .
-
Geschenke aus Wellpappe
Название: Geschenke aus WellpappeАвтор: Traudel HartelИздательство: RavensburgГод издания: 1999Страниц: 21Формат: pngРазмер: 6,86 Мб Язык: немецкийПодарки из гофрированного картона. Более 20 твор . . .
-
Очерки по психологии обучения иностранным языкам
Название: Очерки по психологии обучения иностранным языкамАвтор: Беляев Б.В.Издательство: М.: ПросвещениеГод: 1965Страниц: 227Язык: РусскийФормат: djvuРазмер: 82.3 МбАвтор привлекает внимание преподав . . .
-
Война зомби
Название: Война зомбиАвтор: Александр ШакиловИздательство: АстрельГод издания: 2012Страниц: 384ISBN: 978-5-271-41939-3Формат: fb2, rtfРазмер: 10.7 МбОписание:Человечеству грозит тотальное уничтожение. . . .
-
Пилот-девица.
Название: Пилот-девица Автор: Александр Зорич Издательство: Астрель Год издания: 2012 Страниц: 320 Язык: Русский Формат: rtf, fb2 / rar Качество: отличное Размер: 10,29 МбОписание: Приключенческая ф . . .
Вы не зарегистрированы!
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
Отзывы читателей
Ой!
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Принципы логики и логическое программирование. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.