Электронная библиотека

ЭЛЕКТРОННАЯ БИБЛИОТЕКА






Добро пожаловать на сайт электронной библиотеки!
Здесь можно найти произведения русских и зарубежных авторов.
Скачать множество книг и журналов различных жанров и направлений.
Большой выбор художественной, бизнес, учебной и технической литературы.
Все представленные здесь книги и журналы имеют подробное описание и обложку.
Наша библиотека регулярно пополняется только новыми и интересными материалами!

«Подробнее о сайте»            «Правила сайта»            «Написать нам»            «Статьи»

Языки логического программирования

Компьютерные >> Программирование





Разместил: Gunpowder

16-05-2016, 23:09

Просмотров: 125





Языки логического программирования
Языки логического программирования — Учебное пособие знакомит с языками типа модели Маркова, которые называют языками логического программирования или искусственного интеллекта. Традиционные языки программирования, наиболее часто используемые на практике, относятся к модели языков фон Неймановского типа. Эта модель тесно связана с одной из моделей алгоритмов, называемой Машинами Тьюринга.
Другая модель алгоритмов - нормальные алгоритмы Маркова - является основой языков программирования другого типа, которые называют языками логического программирования за направленность на решение задач логического типа. Эти языки иногда называют языками функционального программирования, поскольку программы, написанные на них, выражают явным образом функциональный подход к программированию, а также называют языками искусственного интеллекта за их использование в программировании сложных интеллектуальных задач. Настоящее учебное пособие посвящено этому направлению развития языков программирования.


Название: Языки логического программирования
Автор: Рублев В. С.
Издательство: НОУ "Интуит"
Год: 2016
Страниц: 125
Формат: PDF
Размер: 10,82 Мб
Качество: Отличное

Содержание:

Лекция 1. Нормальные алгоритмы Маркова
Лекция 2. Язык РЕФАЛ: простейшие конструкции Рефала-2
Лекция 3. Язык РЕФАЛ: сложные конструкции Рефала-2
Лекция 4. Язык РЕФАЛ: первичные функции и примеры составления программ
Лекция 5. Язык РЕФАЛ: дополнительные виды памяти
Лекция 6. Язык РЕФАЛ: Рефал-5
Лекция 7. Язык ПРОЛОГ: основные конструкции
Лекция 8. Язык Пролог: вычисления и процедурная семантика Пролога
Лекция 9. Язык Пролог: чистый недетерминированный Пролог и процедурная семантика
Лекция 10. Язык Пролог: стратегии вычислений и встроенные отношения
Лекция 11. Модель Бэкуса алгебры программ: основные конструкции
Лекция 12. Модель Бэкуса алгебры программ: фундаментальные формы и определение функций
Лекция 13. Модель Бэкуса алгебры программ: алгебра программ
Лекция 14. Модель Бэкуса алгебры программ: умножение матриц и алгебраическое преобразование программы
Список литературы

Скачать Языки логического программирования









Похожие публикации

Введение в языки программирования C и C++ Введение в языки программирования C и C++
Введение в языки программирования C и C++ — Язык программирования С++ является наиболее распространенным инструментом разработки программных средств как системного, так и прикладного характера. Историю его появления связывают с сотрудником

Логическое программирование и Visual Prolog Логическое программирование и Visual Prolog
Книга посвящена наиболее распространенному в мире языку логического программирования Visual Prolog, предшественником и ближайшим `родственником` которого является широко известный Turbo Prolog. Рассматриваются математические основы

Основы программирования (2015) Видеокурс Основы программирования (2015) Видеокурс
Курс «Основы программирования» создан специально для тех, кто решил стать программистом, но не знает с чего начать. В современном мире существует огромное количество языков программирования и компьютерных технологий. В связи с этим проблема выбора

Языки программирования. Концепции и принципы Языки программирования. Концепции и принципы
Языки программирования. Концепции и принципы - Рассмотрены фундаментальные концепции и принципы, воплощенные в современных и перспективных языках программирования. Представлены разные стили программирования (операционный, ситуационный,

Голицына О.Л., Партыка Т.Л. - Языки программирования. 2-е изд., перераб. и доп. Голицына О.Л., Партыка Т.Л. - Языки программирования. 2-е изд., перераб. и доп.
Рассмотрены кодирование и представление информации в ЭВМ, структуры алгоритмов, эволюция и классификация языков, основные понятия, связанные с разработкой программ. Дается описание конкретных языков и систем программирования — Basic, Pascal, Delphi,

Данные в языках программирования: Абстракция и типология Данные в языках программирования: Абстракция и типология
борник посвящён одному из направлений системного теоретического программирования - разработке языковых средств абстракции данных, позволяющих хорошо структурировать программы, и исследованию понятия типа данных в программировании.

Основы программирования на Delphi Основы программирования на Delphi
Пособие содержит основные начальные сведения по программированию на Delphi, более 20 заданий, рекомендованных к обязательному выполнению, и составляет материал курса «Алгоритмические языки программирования». Для студентов вузов, обучающихся по

Логика, алгебра и базы данных Логика, алгебра и базы данных
Изложены основные понятия математической логики и алгебры, которые лежат в основе таких приложений этих дисциплин, как базы данных, экспертные системы, системы логического программирования и др. Эти же понятия становятся методологической основой

Городняя Л. B. - Основы функционального программирования Городняя Л. B. - Основы функционального программирования
В учебнике изложены основы функционального программирования и способы его применения при решении сложных задач на стыке искусственного интеллекта и системного программирования.Студенты изучат с основами символьной обработки информации, мало

Азбука хакера 2. Языки программирования для хакеров Азбука хакера 2. Языки программирования для хакеров
Вниманию читателя предлагается книга про развитие хакерского мастерства. Языки программирования для хакеров - это основа для дальнейшего совершенствования начинающего хакера для превращения в настоящего компьютерного гуру.




Отзывы и Комментарии





Добавление комментария

Ваше Имя:
Ваш E-Mail:(необязательно)
  • bowtiesmilelaughingblushsmileyrelaxedsmirk
    heart_eyeskissing_heartkissing_closed_eyesflushedrelievedsatisfiedgrin
    winkstuck_out_tongue_winking_eyestuck_out_tongue_closed_eyesgrinningkissingstuck_out_tonguesleeping
    worriedfrowninganguishedopen_mouthgrimacingconfusedhushed
    expressionlessunamusedsweat_smilesweatdisappointed_relievedwearypensive
    disappointedconfoundedfearfulcold_sweatperseverecrysob
    joyastonishedscreamtired_faceangryragetriumph
    sleepyyummasksunglassesdizzy_faceimpsmiling_imp
    neutral_faceno_mouthinnocent

Книги




Союз образовательных сайтов