Классический форум-трекер
canvas not supported
Нас вместе: 4 246 728

Подборка | Программирование на языке Пролог (PROLOG) (1987-2004) [DJVU,PDF, CHM]


 
 
RSS
Начать новую тему   Ответить на тему    Торрент-трекер NNM-Club -> Компьютерная литература -> Программирование
Автор Сообщение
Geba ®
Стаж: 17 лет 2 мес.
Сообщений: 31
Ratio: 2.367
Поблагодарили: 1544
91.67%
russia.gif
Подборка | Программирование на языке Пролог (PROLOG) (1987-2004) [DJVU,PDF, CHM]
picАвтор: И. Братко, У. Клоксин, К. Меллиш, Дж. Стобо
Издательство: Вильямс, Мир, Пензенский государственный технический университет, Радио и связь
ISBN: 5-8459-0664-4, 5-03-001425-Х, 978-5-256-00921-4
Жанр: Программирование
Формат: DJVU,PDF, CHM
Качество: Хороший скан

Описание:
Пролог (Prolog) — язык логического программирования, основанный на логике дизъюнктов Хорна, представляющей собой подмножество логики предикатов первого порядка.
Язык программирования Prolog является одним из ведущих логических языков программирования. Он был создан Аленом Колмерье (Alain Colmerauer) в 1970-х годах. Это была попытка сделать язык программирования для начинающих, который дает возможность выразить логику, а не тщательно задавать инструкциями на экране компьютера то, что хочется получить.
Пролог используется во многих программах искусственного интеллекта, но его синтаксис и семантика очень простые и ясные (первоначальная цель заключалась в обеспечении инструментом для компьютерных неграмотных лингвистов ). Название Пролог акроним для ПРОграммирования в ЛОГике и широко известен при обучении основам программирования.
Пролог основан на исчислении предикатов (точнее первого порядка исчисления предикатов), однако он ограничен формулами Хорна. Программы Пролога эффективны для доказательства теорем в первом приближении. Основные понятия объединения, хвостовая рекурсии и отслеживание.
Состав:
Братко И. | Алгоритмы искусственного интеллекта на языке PROLOG, 3-е издание.
Автор: Братко И.
Издательство: Вильямс
Год: 2004
Страниц: 640 стр
Формат: PDF
ISBN: 5-8459-0664-4
Язык: русский
Описание :
В книге известного специалиста по программированию приведены основные сведения о языке Prolog, описан процесс разработки программ на этом языке и показано применение языка Prolog во многих областях искусственного интеллекта, включая решение задач и эвристический поиск, программирование в ограничениях, представление знаний и экспертные системы, планирование, машинное обучение, качественные рассуждения, обработка текста на различных языках и ведение игр.
Книга предназначена для тех, кто проходит обучение в области языка Prolog и искусственного интеллекта или интересуется этими перспективными направлениями. От читателя не требуется наличие знаний в области искусственного интеллекта. Не обязательна также значительная подготовка в области программирования.
По сравнению со старым изданиями книга серьезно переработана, помимо информации непосредственно о Прологе большой объем занимает описание алгоритмов искусственного интеллекта.

Братко И. | Программирование на языке Пролог для искусственного интеллекта.
Автор: Братко И.
Издательство: Мир
Год: 1990
Страниц: 560 стр
Формат: CHM
ISBN: 5-03-001425-Х
Язык: русский
Описание :
Книга известного специалиста по программированию (Югославия), содержащая основы языка Пролог и его приложения для решения задач искусственного интеллекта. Изложение отличается методическими достоинствами - книга написана в хорошем стиле, живым языком. Книга дополняет имеющуюся на русском языке литературу по языку Пролог.
Для программистов разной квалификации, специалистов по искусственному интеллекту, для всех изучающих программирование

Дубинин В.Н., Зинкин С.А. | Языки логического программирования в проектировании вычислительных систем и сетей.
Автор: Братко И.
Издательство: Пензенский государственный технический университет
Год: 1997
Страниц: 81 стр
Формат: PDF
Язык: русский
Описание :
Рассматриваются вопросы использования языка логического программирования Пролог в сетевой технологии проектирования распределенных вычислительных систем и сетей. Приводится описание предикатных сетей, интерпретируемых на языке Пролог, примеры спецификации и моделирования вычислительных систем, процессов и сетевых протоколов с использованием данного сетевого формализма. Представлено описание временной логики для верификации вычислительных систем и процессов, подробно описана реализация временных операторов на Прологе, приводятся примеры формулировки и доказательства свойств рассмотренных в пособии вычислительных систем, процессов и сетевых протоколов.
Учебное пособие подготовлено на кафедре "Вычислительная техника" и предназначено для студентов специальности 22.01.00, изучающих дисциплины "Языки логического программирования", "Вычислительные комплексы, системы и сети", "Системы искусственного интеллекта", "Прикладная математика".

Клоксин У., Меллиш К. | Программирование на языке Пролог
Автор: Клоксин У., Меллиш К.
Издательство: Мир
Год: 1987
Страниц: 334 стр
Формат: DJVU
Язык: русский
Описание :
Книга английских специалистов, содержащая описание основ логического программирования и особенностей языка Пролог — базового языка ЭВМ пятого поколения. Области применения этого языка связаны с разработкой экспертных систем, интеллектуальных баз данных, обработкой естественного языка, разработкой компиляторов ЭВМ. Книга полезна для первого ознакомления с языком Пролог.
Для программистов и пользователей ЭВМ.

Стобо Дж. | Язык программирования Пролог
Автор: Стобо Дж.
Издательство: Радио и связь
Год: 1993
Страниц: 368 стр
Формат: DJVU
ISBN: 5-256-00921-4
Язык: русский
Описание :
В книге автора из США содержится большой набор методов программирования, которые можно рассматривать как инструментарий для самых различных задач программирования. Детально представлен процесс разработки программных систем, начиная от анализа, кончая реализацией и тестированием. В приложении даны полные тексты программ, решения к упражнениям.
Для инженерно-технических работников.
Скриншоты:
pic pic pic pic

Реставрация 12.10.2016 от: SanKar52
Prolog.torrent
 Торрент: Платиновая раздача  Зарегистрирован
 
Скачать


 Зарегистрирован:   09 Ноя 2007 15:31:42
 Размер:   51.8 MB  (
 Рейтинг:   4.8 (Голосов: 43)
 Поблагодарили:   124
 Проверка:   Оформление проверено модератором 10 Ноя 2007 08:38:10
Как cкачать  ·  Как раздать  ·  Правильно оформить  ·  Поднять ратио!  
Список файлов в торренте
Показать сообщения:   
Начать новую тему   Ответить на тему    Торрент-трекер NNM-Club -> Компьютерная литература -> Программирование Часовой пояс: GMT + 3
Страница 1 из 1
picpicpicpicpic
Загрузка...