Хачатрян В.Е., Лыхин Е.В., Шатров Д.В. Логическое программирование

Практикум

формат doc
размер 160.5 КБ
добавлен 17 октября 2010 г.

Хачатрян В.Е., Лыхин Е.В., Шатров Д.В. Логическое программирование

Методические указание к выполнению лабораторных работ для студентов специальности 220400 – Программное обеспечение вычислительной техники и автоматизированных систем

Оглавление
Введение
Лабораторная работа №
1. Ознакомление с оболочкой AMZI! Prolog. Изучение основ программирования на языке Пролог. Отношения между данными
Лабораторная работа №
2. Использование рекурсивных правил и структурированных данных
Лабораторная работа №
3. Работа со списками
Лабораторная работа №
4. Бинарные деревья
Лабораторная работа №
5. Работа с динамическими базами данных
Лабораторная работа №
6. Использование возможностей логического сервера AMZI! Prolog в среде Delphi
Библиографический список

Смотрите также

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

формат pdf
размер 4.46 МБ
добавлен 04 марта 2011 г.

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

Лебедева Н.С. Методическое пособие по программированию на Turbo Prolog

формат pdf
размер 659.49 КБ
добавлен 27 января 2009 г.

Данное учебное пособие предназначено для студентов компьютерных специальностей, изучающих курс «Логическое программирование». Рассмотрены основы логического программирования. Дается описание, синтаксические элементы и основы программирования на Турбо Прологе. Рассмотрена работа с базами данных и с системными предикатами, необходимыми для программирования. Изложение иллюстрируется примерами программ. Содержатся варианты контрольных заданий для вып...

Мурашко И.А., Марина И.М. Методическое пособие по курсу Функциональное и логическое программирование Часть 1 Язык программирования Лисп

формат doc
размер 305.5 КБ
добавлен 12 июля 2011 г.

Белорусский государственный университет информатики и радиоэлектроники, 2002, 27с. Для студентов специальности Т10.02.00 "Программное обеспечение информационных технологий" Часть 1 Язык программирования Лисп В методическом пособии изложены основы функционального программирование на примере языка Лисп. Приведены сведения о системе программирования muLisp и описаны основные функции языка Лисп.rn

Николаев В.Г., Евсеева О.Н., Ярушкина Н.Г. Программирование на языке Турбо-Пролог 2.0

формат pdf
размер 320.59 КБ
добавлен 21 октября 2010 г.

Учебное пособие /В. Г. Николаев, О. Н. Евсеева, Н. Г. Ярушкина; Под ред. О. Н. Евсеевой. - Ульяновск: УлГТУ, 1995. - 64 с. В пособии приводятся основные приемы программирования на языке инструментальной системы Турбо-Пролог (версии 2. 0) для персональных ЭВМ, программно-совместимых с компьютерами IВМ РС/ХТ (АT) фирмы IВМ; стандартные библиотечные предикаты этой системы; описание интерфейса языков Турбо-Пролог и Турбо-Си при создании прикладных си...

Презентация - Элементы логики

Реферат

формат ppt
размер 182 КБ
добавлен 20 мая 2010 г.

Презентация содержит 58 слайдов: Определение. Понятие. Высказывание. Умозаключение. Алгебра высказываний. Логические операции. Логическое сложение. Логическое отрицание. Логическое следование. Логическое равенство. Приоритет действий. Равносильные логические выражения. Законы логики. Логические основы компьютера. Логический элемент НЕ. Логический элемент ИЛИ. Логический элемент И. Полусумматор двоичных чисел. Сумматор двоичных чисел. Триггер.

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

формат doc
размер 101.5 КБ
добавлен 17 февраля 2011 г.

Романов Д. А. Методические указания по оформлению курсовой работы по дисциплине "Функциональное и логическое программирование" для студентов специальности 220400 – Программное обеспечение вычислительной техники и автоматизированных систем. Краснодар, 2004, 24 с. Представлены основные требования к выполнению и оформлению курсовой работы. Печатается по решению Редакционно-издательского совета ИМСИТ. Содержание: Введение. Содержание и объём курсо...

Солдатова О.П., Лёзина И.В. Логическое программирование на языке Visual Prolog

формат pdf
размер 1.04 МБ
добавлен 24 октября 2010 г.

Учебное пособие: Самара, 2010. - 81 с. Предназначено для студентов направления «Информационные технологии» и специальности «Автоматизированные системы обработки информации и управления», и может быть использовано при изучении дисциплин «Логическое программирование», «Интеллектуальные системы», «Системы искусственного интеллекта» и «Основы экспертных систем». Содержание Предисловие 1 Логическое программирование и аксиоматические системы 1....

Сошников Д.В. Лекции по ЛП. Слайды

формат pdf
размер 21.9 МБ
добавлен 08 октября 2009 г.

МАИ. Факультет прикладной математики. Кафедра вычислительной математики и программирования. Подготовка к экзамену по курсу Логическое программирование Преподаватель: Сошников Д. В. ~500 стр. Что такое логическое программирование Введение в логическое программирование Логика Резолюции Пролог и Меркурия Рекурсивные Структуры данных Отрицание как Failure Логических задач Типизированное программирование Простой поиск Эвристический поиск Си...

Сошников Д.В. Парадигма логического программирования

формат djvu
размер 12.5 МБ
добавлен 01 ноября 2009 г.

МАИ. Факультет прикладной математики. Кафедра вычислительной математики и программирования. Объем: 111стр. Содержание: Парадигмы. Системы логического программирования. Логика и исчисление предикатов. Логическое программирование как алгоритмическая модель. Типизированное логическое программирование. Языки программирование Prolog и Mercury. Рекурсивные структуры данных. Отрицание по неуспеху. Методы решения логических задач. Поиск в пространстве с...

Тарков М.С. Программирование на Турбо-Прологе

Практикум

формат pdf
размер 258.2 КБ
добавлен 04 декабря 2010 г.

Методические указания. - Новосибирск: СибГУТИ, 1999. - 37 с. Методические указания предназначены для студентов инженерно-технических факультетов, изучающих логическое программирование в 4-м семестре. Они содержат необходимые сведения по программированию на языке Турбо-Пролог, задачи для контрольных работ и рекомендуемую литературу.