Абидова М.Ш. Методические указания к выполнению лабораторных работ по дисциплине Логическое и функциональное программирование

Практикум
  • формат doc
  • размер 176,68 КБ
  • добавлен 30 апреля 2016 г.
Для студентов, обучающихся по направлению подготовки бакалавров 231000.62 – «Программная инженерия» и профилю «Разработка программно-информационных систем». — Махачкала: ДГТУ, 2013. — 32с. Методические указания предназначены для использования при выполнении лабораторных работ по дисциплине «Логическое и функциональное программирование». Сформулированы цели и задачи, содержание и порядок выполнение лабораторных работ, приведены краткие теоретическ...

Агафонов В.Н. Логическое программирование

  • формат djvu
  • размер 2.51 МБ
  • добавлен 29 ноября 2009 г.
Сборник работ зарубежных специалистов, отражающий современное состояние в новом направлении программирования, тесно связанном с математической логикой. Это направление активно развивается как в теоретическом, так и в практическом плане, включая в себя новые языки (Пролог, Логлисп и др. ), методы реализации и проекты машинных архитектур. В сборник включен специально написанный обзор литературы по логическому программированию. Среди авторов известн...

Дубинин В.Н., Зинкин С.А. Языки логического программирования в проектировании вычислительных систем и сетей

  • формат pdf
  • размер 692.73 КБ
  • добавлен 24 января 2011 г.
Учеб. пособие. – Пенза: Изд-во Пенз. гос. техн. ун-та. – 1997. – 88 с. Рассматриваются вопросы использования языка логического программирования Пролог в сетевой технологии проектирования распределенных вычислительных систем и сетей. Приводится описание предикатных сетей, интерпретируемых на языке Пролог, примеры спецификации и моделирования вычислительных систем, процессов и сетевых протоколов с использованием данного сетевого формализма. Предста...

Дьяконов В.П. Язык программирования Лого

  • формат pdf
  • размер 96,78 МБ
  • добавлен 06 февраля 2017 г.
М.: Радио и связь, 1991. — 144 с. — ISBN -256-000343-7. Рассмотрены вычислительные, логические и графические возможности языка Лого, сочетающего простоту освоения с хорошей структурированностью программ. Приведено более 250 процедур и функций для версий современных ПЭВМ.

Касаткин В.Н. Логическое программирование в занимательных задачах

  • формат djvu
  • размер 1.33 МБ
  • добавлен 23 января 2009 г.
К.: Техника, 1980. -79с., ил. Рассказывается о применении ЭВМ для решения некоторых невычислительных задач. Показано, как вычислительные машины выступают соперником человека в играх, как они решают логические задачи, как с их помощью моделируется распознование простейших образов, обсуждается использование ЭВМ в исследовании некоторого класса искуственных эволюций.

Китов А.И. Программирование информационно-логических задач

  • формат pdf
  • размер 2,48 МБ
  • добавлен 02 ноября 2016 г.
М.: Советское радио, 1967. — 325 с. Предисловие Введение Некоторые сведения из кибернетики и математической логики Основные сведения об устройстве электронных вычислительных машин и программировании Алгоритмический язык для программирования экономических и математических задач Алгоритмический язык АЛГОЛ-60 Алгоритмический язык АЛГЭМ для программирования экономических и математических задач Ассоциативное программирование Общие сведения об ассоциат...

Кичкайло Т.А., Тушев А.Н. Функциональное и Логическое Программирование

  • формат pdf
  • размер 4.46 МБ
  • добавлен 04 марта 2011 г.
Учебное пособие. - Алт. гос. техн. ун-т им. И. И. Ползунова. Центр дистанционного обучения. Барнаул: 1999. - 148с. Данное учебное пособие предназначено для дистанционного изучения дисциплины «Функциональное и логическое программирование». Рассматриваются вопросы программирования на языке Лисп, применение этого языка для обработки математических выражений в системе Reduce-З и применение Лиспа для автоматического построения чертежей в системе Авток...

Ковальски Р. Логика в решении проблем

  • формат djvu
  • размер 3.98 МБ
  • добавлен 11 августа 2011 г.
Москва: "НАУКА", 1990 г. Изложены основы так называемой клаузальной логики, являющейся средством логического программирования. Последнее лежит в основе проектирования ЭВМ пятого поколения, над которыми в настоящее время работают специалисты ряда стран. Для научных работников и инженеров, занимающихся проблемами искусственного интеллекта. Полезна аспирантам и студентам втузов.

Козлова М.Г. Логическое программирование

  • формат doc
  • размер 261.19 КБ
  • добавлен 28 марта 2016 г.
Симферополь: ФГАОУ ВО «Крымский федеральный университет имени В. И. Вернадского», 2016. ― 54 с. Пособие содержит учебно-методический материал и задания по практической части курса «Логическое программирование». Предназначено для студентов 3-го курса направления подготовки 01.03.02 — Прикладная математика и информатика. Содержание: Основы программирования на Прологе. Использование рекурсии в Прологе. Представление и обработка списков. Сортировка...

Крылов В.Г. Основы логического программирования

  • формат pdf
  • размер 1,00 МБ
  • добавлен 10 декабря 2012 г.
В.Г.Крылов - Основы логического программирования. Учебное пособие Екатеринбург, 2009 г. - 62 стр. Уральский государственный экономический университет Кафедра информатики и эконометрики Содержание: Основы логического программирования Введение Предложения: факты и правила Запросы Предикаты Переменные Основные секции программы Основные стандартные домены Поиск с возвратом Управление поиском с возвратом: предикаты ! и fail Рекурсия Составные объ...

Кузнецов В.Е. Представление в ЭВМ неформальных процедур

  • формат djvu
  • размер 1,73 МБ
  • добавлен 07 января 2013 г.
М.: Наука, 1989. — 160 с. Неформальные процедуры, выполняемые человеком, обладают рядом специфических особенностей, существенно затрудняющих их представление в ЭВМ с помощью алгоритмических языков программирования. Предлагаемая книга посвящена исследованию неалгоритмических аспектов представления неформальных процедур. В качестве модели представления знаний используется продукционная система, т.е. система правил, каждое из которых имеет вид "если...

Курсовая работа - Особенности языка ЛИСП

Реферат
  • формат doc
  • размер 115.55 КБ
  • добавлен 07 февраля 2011 г.
Введение. Язык программирования ЛИСП. Основные функции языка Лисп. Арифметические функции. Логические функции. Специальные функции. Особенности диалектов языка ЛИСП. MacLISP. MuLISP. nterLISP. CommonLISP. Особенности языка ЛИСП. Заключение.

Лабораторная работа - Бинарные деревья. Графы

Лабораторная
  • формат docx
  • размер 155 КБ
  • добавлен 14 ноября 2010 г.
А. Предикаты работы с бинарными деревьями tree_depth(Т,N): N – глубина дерева; sub_tree(Т1, Т2): дерево Т1 является непустым поддеревом дерева Т2; flatten_tree(Т,L): L – список меток всех узлов дерева Т; nsert(Т1,N, Т2): Т2 – дерево, полученное путем добавления натурального числа N в упоря-доченное дерево Т1 с учётом упорядоченности Б. Предикаты для работы с графами path(Х,Y,L): L – путь без петель между вершинами Х и Y, т. е. список вершин между...

Лабораторная работа - Использование структур

Лабораторная
  • формат doc
  • размер 457.5 КБ
  • добавлен 19 июня 2011 г.
Требуется сформировать исходный список структур. Сформировать иp исходного списка новый список структур и вывести его на экран. Уточнение задания: определены структуры «дата рождения», «Ф. И. О. »(фамилия, имя, отчество), «персона»(Ф. И. О., дата рождения) и «супруги» (Ф. И. О., Ф. И. О. ) Найти все пары, где оба супруга родились в один и тот же месяц.

Лабораторная работа - Построение информационно-справочных систем

Лабораторная
  • формат exe
  • размер 46.09 КБ
  • добавлен 30 мая 2011 г.
Создать ИСС для выбора компьютера. Атрибуты: тип( сервер, рабочая станция), память, процессор, стоимость и т. д. Язык PROLOGrn

Лабораторная работа - Экспертная система

Лабораторная
  • формат doc
  • размер 36.5 КБ
  • добавлен 09 июля 2010 г.
Приводится текст программы на Турбо-прологе, реализующей учебную экспертную систему, являющуюся продукционной системой, базирующаяся на правилах и служащую для определения страны по описанию флага.

Лабораторная работа №1 - Освоение инструментальных средств. Создание программ в интегрированной среде TURBO PASCAL. Разработка линейных программ

Лабораторная
  • формат doc
  • размер 95 КБ
  • добавлен 31 августа 2010 г.
Технология создания программы в интегрированной среде. Справки по структуре и операторам Pascal-программы. Пример подготовки и выполнения программы. Ошибка компиляции

Лабораторная работа №1 - Предикаты, правила, запросы

Лабораторная
  • формат docx
  • размер 25.72 КБ
  • добавлен 26 октября 2010 г.
Описанны на языке Пролог: Факты: 1. человек(Х, Y) – Х пола Y 2. родитель(Х, Y) – Х родитель Y Правила: 1. сын(Х, Y) – Х сын Y 2. дочь(Х, Y) – Х дочь Y 3. мама(Х, Y) – Х мама Y 4. папа(Х, Y) – Х папа Y 5. брат(Х, Y) – Х брат Y 6. сестра(Х, Y) – Х сестра Y 7. тетя(Х, Y) – Х тетя Y 8. дядя(Х, Y) – Х дядя Y 9. дедушка(Х, Y) – Х дедушка Y 10. бабушка(Х, Y) – Х бабушка Y 11. внучка(Х, Y) – Х внучка Y 12. внук(Х, Y) – Х внук Y

Лабораторная работа №2 - Структурирование на примере военных

Лабораторная
  • формат docx
  • размер 22.77 КБ
  • добавлен 26 октября 2010 г.
Описанны на языке Пролог: Факты: военный(фамилия("…"), звание("…")). следующее_звание(A,B): - В является следующим званием по отношению к А Правила: одинаковое_звание(A,B): - военные А и В имеют одинаковое звание разные(фамилия(Х), фамилия(Y)) субординация(младший(Мл), старший(Ст)): - военный с фамилией Мл младше по званию, чем военный с фамилией Ст младшее_звание(R1,R2): - звание R1 младше, чем звание R2 цепочка_званий(Военный, Маршрут): - Маршр...

Лабораторная работа №3 - Списки, множества

Лабораторная
  • формат docx
  • размер 24.01 КБ
  • добавлен 26 октября 2010 г.
Описанны на языке Пролог: I. Предикаты работы со списками Аргументы L1,L2,L3 обозначают списки, Е - некоторый элемент списка (тип элементов спи-ска произволен), N - порядковый номер элемента в списке. 1.append (L1, L2, L3) ? список L3 является слиянием (конкатенацией) списков L1 и L2; 2.reverse (L1, L2) ? L2 – перевернутый список L1; 3.delete_first (E, L1, L2) ? список L2 получен из L1 исключением первого вхождения объ-екта Е; 4.delete_all (E, L1...