БОЛЕЕ 600 ОНЛАЙН ИГР НА ЛЮБОЙ ВКУС ! МНОЖЕСТВО КАТЕГОРИЙ ! ВОЗМОЖНОСТЬ СКАЧАТЬ ИЛИ ДОБАВИТЬ В ПОПУЛЯРНЫЕ СОЦИАЛЬНЫЕ СЕТИ ОДНОКЛАССНИКИ, ВКОНТАКТЕ, FACEBOOK...!
Учебное пособие знакомит с языками типа модели Маркова, которые называют языками логического программирования или искусственного интеллекта. Традиционные языки программирования, наиболее часто используемые на практике, относятся к модели языков фон Неймановского типа. Эта модель тесно связана с одной из моделей алгоритмов, называемой Машинами Тьюринга.
Другая модель алгоритмов - нормальные алгоритмы Маркова - является основой языков программирования другого типа, которые называют языками логического программирования за направленность на решение задач логического типа. Эти языки иногда называют языками функционального программирования, поскольку программы, написанные на них, выражают явным образом функциональный подход к программированию, а также называют языками искусственного интеллекта за их использование в программировании сложных интеллектуальных задач. Настоящее учебное пособие посвящено этому направлению развития языков программирования.
Содержание:
§ Лекция 1. Нормальные алгоритмы Маркова ... 4 § Лекция 2. Язык РЕФАЛ: простейшие конструкции Рефала-2 ... 11 § Лекция 3. Язык РЕФАЛ: сложные конструкции Рефала-2 ... 21 § Лекция 4. Язык РЕФАЛ: первичные функции и примеры составления программ ... 27 § Лекция 5. Язык РЕФАЛ: дополнительные виды памяти ... 38 § Лекция 6. Язык РЕФАЛ: Рефал-5 ... 53 § Лекция 7. Язык ПРОЛОГ: основные конструкции ... 65 § Лекция 8. Язык Пролог: вычисления и процедурная семантика Пролога ... 74 § Лекция 9. Язык Пролог: чистый недетерминированный Пролог и процедурная семантика ... 85 § Лекция 10. Язык Пролог: стратегии вычислений и встроенные отношения ... 92 § Лекция 11. Модель Бэкуса алгебры программ: основные конструкции ... 99 § Лекция 12. Модель Бэкуса алгебры программ: фундаментальные формы и определение функций ... 107 § Лекция 13. Модель Бэкуса алгебры программ: алгебра программ ... 116 § Лекция 14. Модель Бэкуса алгебры программ: умножение матриц и алгебраическое преобразование программы ... 119 § Список литературы ... 125
Название: Языки логического программирования Автор: Рублев В.С. Издательство: М.: НОУ "Интуит" Год издания: 2016 Качество: Хорошее Страниц: 126 Формат: PDF Язык: Русский Размер: 10.8 Mb
Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь. Мы рекомендуем Вам зарегистрироваться либо войти на сайт под своим именем.
Информация
Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.
Посетителям:
Здесь вы можете скачать бесплатно, без регистрации и смс программы, игры, windows, музыку, софт, Русскую рыбалку, взлом и секреты одноклассников и вконтакте, книги, Total Commander, Yasu, скрипты, скачать ключи к kaspersky и drweb, crack, photoshop, трейнеры и nocd для игр, и многое другое. Играть во флеш игры онлайн. На сайте представлено множество полезной информации.
Welcome to our site. Here you will not find the information on cars and motorcycles, currencies and quotations of securities, the real estate, insurance, the medical, political, financial, legal and other information which are not concerning a software and the multimedia data. For us you can find and download free of charge, without what or registrations - the newest films, fresh music in format MP3, flash games, breaking and the secrets of my classmates and VKontakte, novelties of games for PC and the consoles, interesting and beneficial programs and utilities as from eminent manufacturers of a software, and to anybody unknown programmers. You can always download under links from our site of Windows XP, Vista, Windows 7 Seven, Microsoft Office with the newest upgrades, Adobe Photoshop, 3D Studio Max, AutoCAD, Total Commander, Kaspersky Anti Virus, Kaspersky Internet Security, DrWEB and other known antiviruses, wall-paper for a desktop, e-books, scripts for web designers, trainers, Nocd, cracks and keygens to programs, serial keys and many other things. Правообладателям:
Все материалы найдены на просторах сети интернет как свободно распространяемые и выложены исключительно в ознакомительных целях. Если вы являетесь законным правообладателем какого либо продукта и против его размещения на данном сайте, сообщите нам и мы немедленно удалим данный материал. Администрация сайта не несет ответственности за действия посетителей, нарушающих авторские права.
All materials are found on open spaces of a network the Internet as freely extended and laid out exclusively in the fact-finding purposes. If you are what lawful legal owner or a product and against its placing on the given site, inform us and we will immediately remove the given material. The administration of a site does not bear responsibility for actions of the visitors breaking copyrights.