Логическое программирование
Информатика и вычислительная техника
  • формат doc
  • размер 101.5 КБ
  • добавлен 17 февраля 2011 г.
Романов Д.А. Методические указания по оформлению курсовой работы по дисциплине Функциональное и логическое программирование
Романов Д. А. Методические указания по оформлению курсовой работы по дисциплине "Функциональное и логическое программирование" для студентов специальности 220400 – Программное обеспечение вычислительной техники и автоматизированных систем. Краснодар, 2004, 24 с.

Представлены основные требования к выполнению и оформлению курсовой работы. Печатается по решению Редакционно-издательского совета ИМСИТ.

Содержание:
Введение.
Содержание и объём курсовой работы.
Порядок выполнения и защиты курсовой работы.
Оформление пояснительной записки.
Темы курсовых работ.
Рекомендуемая литература.
Приложения.

Введение. Выполнение курсовой работы является одним из важнейших этапов применения теоретических знаний и осваивания практических приемов разработки программного обеспечения в соответствии с функциональной парадигмой организации информационных процессов в ЭВМ. Студенты обязаны овладеть методологией функционального программирования, основами языка ЛИСП как типичного представителя функциональных языков, а также научиться грамотно оформлять текстовую и программную документацию. В процессе выполнения курсовой работы студент повышает качество своих знаний, учится работать с научно-методической литературой, приобщается к изучению новых для него предметных областей, их глубокой проработке и их реализации. Очень важно научиться грамотно излагать мысли, верно использовать технические и научные термины. Разработки, выполненные в курсовой работе, могут частично или полностью войти в дипломный проект (курсовая работа может быть базой для дипломного проекта).
Смотрите также

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

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

Крицкий С.В., Марина И.М. и др. Функциональное и логическое программирование Методическое пособие Часть 2 Язык программирования Пролог

  • формат pdf
  • размер 710.74 КБ
  • добавлен 13 июля 2011 г.
Белорусский государственный университет информатики и радиоэлектроники, 2006, 28с. Для студентов специальности I-40 01 01 "Программное обеспечение информационных технологий" В 4-х частях Часть 2 Во второй части методического пособия изложены основы логического программирования на примере языка Пролог. Пособие предназначено для студентов дневной и дистанционной форм обучения.

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

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

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

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

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

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

Солдатова О.П., Лёзина И.В. Логическое программирование на языке 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-м семестре. Они содержат необходимые сведения по программированию на языке Турбо-Пролог, задачи для контрольных работ и рекомендуемую литературу.

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

Практикум
  • формат doc
  • размер 160.5 КБ
  • добавлен 17 октября 2010 г.
Методические указание к выполнению лабораторных работ для студентов специальности 220400 – Программное обеспечение вычислительной техники и автоматизированных систем Оглавление Введение Лабораторная работа № 1. Ознакомление с оболочкой AMZI! Prolog. Изучение основ программирования на языке Пролог. Отношения между данными Лабораторная работа № 2. Использование рекурсивных правил и структурированных данных Лабораторная работа № 3. Работа со спи...