Учебные материал - сайт для школьников

Понедельник, 11.11.2024, 07:09
Приветствую Вас Гость | RSS
Образование
Учебники

ЕГЭ

ГИА

Учебные пособия
Предметы
Азбука

Алгебра

Английский язык

Русский язык

Математика

Литература

Биология

История

Технология

Обществознание

Информатика

География

Химия

Обж

Музыка

Физика

Физическая культура

Изо
ГДЗ
ГДЗ по английскому языку

ГДЗ по русскому языку

ГДЗ по математике

ГДЗ по aлгебре

ГДЗ по геометрии

ГДЗ по информатике

ГДЗ по литературе

ГДЗ по географии

ГДЗ по биологии

ГДЗ по немецкому языку
Бугалтерия
1С Предприятие 7.7

1С Предприятие 8.2

Форма входа
Главная » 2016 » Май » 16 » Языки логического программирования
23:06
Языки логического программирования

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

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

Содержание:

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

Категория: Журналы,книги | Просмотров: 241 | Добавил: Gunpowder | Теги: языки, 2016, программирования, ЛОГИЧЕСКОГО | Рейтинг: 0.0/0
По классам
1 класс

2 класс

3 класс

4 класс

5 класс

6 класс

7 класс

8 класс

9 класс

10 класс

11 класс
Программы
Система

Драйвера

Безопастность

Интернет

Фотософт

Видеософт

Аудиософт

Офисные

Софт
Разное
Сериалы онлайн

Игры

Фильмы

Музыка

Журналы,книги

Темы для Windows

Обои

Мобила

Аудио и Видео уроки

Разное

Бланки

Photoshop
Поиск по сайту
Новое на сайте
Сегодня материалов нет.
Статистика
Союз образовательных сайтов

Зарег. на сайте

Всего: 24230
Новых за месяц: 0
Новых за неделю: 0
Новых вчера: 0
Новых сегодня: 0

Из них

Администраторов: 4
Модераторов: 1
Проверенных: 4
Обычных юзеров: 24221


Онлайн всего: 5
Гостей: 5
Пользователей: 0
Поиск
© 2024
На ierixon.ru представлены учебники для разных классов, которые Вы можете скачать понравившийся учебник себе на компьютер. Здесь вы найдете последние новинки учебных пособий, а также всегда можете приобрести учебники уже вышедшие в продажу. Все учебники расположенные на сайте представлены абсолютно бесплатно и в ознакомительных целях. Также все пособия в хорошем качестве. Сделать бесплатный сайт с uCoz