Алгебра логики
<<  Логическое программирование Логическое программирование  >>
Учебные материалы
Учебные материалы
Функциональное и логическое программирование
Функциональное и логическое программирование
Функциональное и логическое программирование
Функциональное и логическое программирование
Функциональное и логическое программирование
Функциональное и логическое программирование
Функциональное и логическое программирование
Функциональное и логическое программирование
Функциональное и логическое программирование
Функциональное и логическое программирование
Функциональное и логическое программирование
Функциональное и логическое программирование
Функциональное и логическое программирование
Функциональное и логическое программирование
Функциональное и логическое программирование
Функциональное и логическое программирование
Функциональное и логическое программирование
Функциональное и логическое программирование
Функциональное и логическое программирование
Функциональное и логическое программирование
Функциональное и логическое программирование
Функциональное и логическое программирование
Функциональное и логическое программирование
Функциональное и логическое программирование
Функциональное и логическое программирование
Функциональное и логическое программирование
Функциональное и логическое программирование
Функциональное и логическое программирование
Функциональное и логическое программирование
Функциональное и логическое программирование
Функциональное и логическое программирование
Функциональное и логическое программирование
Основы lisp’а
Основы lisp’а
Картинки из презентации «Функциональное и логическое программирование» к уроку алгебры на тему «Алгебра логики»

Автор: novitskaya. Чтобы познакомиться с картинкой полного размера, нажмите на её эскиз. Чтобы можно было использовать все картинки для урока алгебры, скачайте бесплатно презентацию «Функциональное и логическое программирование.ppt» со всеми картинками в zip-архиве размером 1978 КБ.

Функциональное и логическое программирование

содержание презентации «Функциональное и логическое программирование.ppt»
Сл Текст Сл Текст
1Функциональное и логическое 15Development Center [Electronic resource].
программирование. Функциональное – Electronic data. – Copenhagen, cop.
программирование логическое 1983-2011. – Mode acess :
программирование. Ст. преподаватель каф. http://www.pdc.dk SWI-Prolog [Electronic
ВТ НГТУ Юлия Вадимовна Новицкая Email: resource]. – Electronic data. – Mode acess
novitskaya@corp.nstu.ru Web: : http://www.swi-prolog.org Visual Prolog
http://ermak.cs.nstu.ru/flp. Направление [Electronic resource]. – Electronic data.
231000.62 – Программная инженерия, 7 – Mode acess :
семестр. Направление 230100.62 – http://www.visual-prolog.com.
Информатика и ВТ, 7 семестр. 16Парадигма. Парадигма – это система
2Предмет изучения. ФУНКЦИОНАЛЬНОЕ взглядов на явления окружающего мира и
ПРОГРАММИРОВАНИЕ язык программирования представлений о возможных взаимодействиях
Lisp (LISt Processing) ЛОГИЧЕСКОЕ с ними Парадигма программирования –
ПРОГРАММИРОВАНИЕ язык программирования система идей и понятий, определяющих
Prolog (PROgramming in LOGic). фундаментальный стиль программирования.
3Функциональное и логическое 17Парадигмы программирования.
программирование (флп). Лекции – 34 часа Декларативная логическая функциональная
(17 лекций) Лабораторные работы (ЛР) – 17 императивная объектно-ориентированная
часов (4 лаб. работы) Расчетно-графическое параллельная процедурная …
задание (РГЗ) (получение задания на 2-й 18Парадигмы программирования. Некоторый
лаб. работе) Экзамен. язык программирования не обязательно
4Функциональное программирование (фп). использует только одну парадигму, многие
Лекции – 34 часа (17 лекций) Лабораторные языки поддерживают несколько парадигм Ни
работы (ЛР) – 17 часов (4 лаб. работы) одна парадигма не может быть одинаково
Расчетно-графическое задание (РГЗ) эффективной для всех задач, и программисту
(получение задания на 2-й лаб. работе) следует выбирать лучший стиль
Диф. зачет. программирования для решения каждой
5Логическое программирование (лп). отдельной задачи.
Лекции – 17 часов (8 лекций) Лабораторные 19Классификация.
работы (ЛР) – 17 часов (4 лаб. работы) 20Отличия. Алгоритмический (процедурный)
Расчетно-графическое задание (РГЗ) способ программирования соответствует
(получение задания на 2-й лаб. работе) вопросу «как» (необходимо описать, как
Диф. зачет. решается задача), декларативный способ –
6Балльно-рейтинговая система флп. вопросу «что» (достаточно описать, что
Дисциплина в целом – 100 баллов 60 баллов должно быть решено) Программа на
в семестре 40 баллов на экзамене декларативном языке состоит из двух
Лабораторные работы с №1 по №4 6 ? 12 компонент: условия задачи (которую иногда
баллов Расчетно-графическое задание 6 ? 12 называют «базой данных») и целевого
баллов Срок защиты ЛР без потери баллов – запроса Для декларативного
одна неделя после лабораторной работы по программирования необходимо наличие
расписанию Срок защиты РГЗ без потери «решателя» (называемого обычно
баллов ФЛП – 17 неделя. интерпретатором), который «знает» как
7БАЛЛЬНО-РЕЙТИНГОВАЯ СИСТЕМА ФП и ЛП. выполнить целевой запрос, исходя из
Дисциплина в целом – 100 баллов 80 баллов условий, представленных в «базе данных».
в семестре 20 баллов на зачете 21Области применения декларативных
Лабораторные работы с №1 по №4 8 ? 16 языков. Реализация обработки типов данных,
баллов Расчетно-графическое задание 8 ? 16 имеющих рекурсивную природу: списков,
баллов Срок защиты ЛР без потери баллов – деревьев, графов и сводящихся к ним
одна неделя после лабораторной работы по структур Такого рода задачи характерны для
расписанию Срок защиты РГЗ без потери обработки символьной информации, то есть
баллов ФП – 16 неделя, ЛП – 16 неделя. для создания трансляторов и решения задач
8Отчетность. Отчеты по лабораторным искусственного интеллекта: обработки
работам представляются в электронном виде естественного языка, трансформации и
одним файлом в конце семестра Отчет по автоматического синтеза программ,
расчетно-графическому заданию аналитического преобразования формальных
представляется в распечатанном виде в текстов и др. Создание систем
конце семестра. искусственного интеллекта Разработка
9Учебные материалы. экспертных систем и оболочек экспертных
10 систем Создание систем помощи принятия
11Источники (основные). Адаменко А.Н., решений Разработка систем обработки
Кучуков А.М. Логическое программирование и естественного языка Построение планов
Visual Prolog. - СПб.: БХВ-Петербург, действий роботов …
2003. - 992 С. Братко И. Алгоритмы 22Современное состояние ЛП. Visual
искусственного интеллекта на языке Prolog. Prolog 7.5 Разработкой языка занимается
– М. : Вильямс , 2004. – 637 с. Городняя фирма PDC Prolog Development Center
Л.В. Основы функционального http://www.pdc.dk.
программирования. – М. : ИНТУИТ.РУ , 2004. 23
– 272 с. Ин Ц., Соломон Д. Использование 24
Турбо-Пролога. - М.: Мир, 1993. - 608 С. 25
Непейвода Н.Н. Стили и методы 26
программирования. – М.: 27
Интернет-университет информационных 28
технологий, 2005. – 316 с. 29
12Источники (основные). Стерлинг Л., 30
Шапиро Э. Искусство программирования на 31Современное состояние ФП.
языке Пролог. - М.: Мир, 1990. - 235 С. 32
Хювёнен Э., Сеппянен Й. Мир Лиспа. М.: 33
Мир, 1990. - 447 С. Цуканова Н.И., 34
Дмитриева Т.А. Логическое программирование 35
на языке Visual Prolog. - М.: Горячая 36
Линия - Телеком, 2008. - 144 С. Чанышев 37
О.Г. ПРОграммирование в ЛОГике. – Омск : 38
Изд-во ОмГУ , 2004. – 63 с. Шрайнер П.А. 39Язык лп prolog. Особенности языка
Основы программирования на языке Пролог. Описание проблемы и правил ее решения
Курс лекций. - М.: Интернет-университет Нахождение всех возможных решений с
информационных технологий, 2005. - 176 С. помощью механизма поиска с возвратом
13Источники (дополнительные). Доорс Дж., (backtracking) Простой синтаксис.
Рейблейн А.Р., Вадера С. Пролог язык 40Первая программа. Факты Воробей – это
программирования будущего. - М.: ФиС, птица. Воробей – родитель птенца. Правило
1990. - 144 С. Клоксин У., Меллиш Д. вывода Некто является птицей при условии,
Программирование на языке Пролог. - М.: что у него есть родитель – птица.
Мир, 1987. - 336 С. Маурер У. Введение в Программа птица(воробей). птица(X):–
программирование на языке ЛИСП. - М.: Мир, родитель(Y, X), птица (Y).
1978. - 104 С. Полещук Н., Лоскутов П. родитель(воробей, птенец). Запрос птица(Z)
AutoLISP и Visual LISP в среде AutoCAD. - Все возможные решения: Z = воробей Z =
СПб.: БХВ-Петербург, 2006. - 960 С. Стобо птенец.
Дж. Язык программирования Пролог. - М.: 41Первая программа. bird(sparrow).
Мир, 1993. - 368 С. Хендерсон П. bird(X):– parent(Y, X), bird(Y).
Функциональное программирование: parent(sparrow, nestling). ? – bird(Z) Z =
применение и реализация. М.: Мир, 1983. - sparrow Z = nestling. Факт. Правило
349 С. Янсон А. Турбо-Пролог в сжатом вывода. Факт. Запрос.
изложении. - М.: Мир, 1991. - 94 С. 42Основные способы решения. Поиск с
14Интернет-ресурсы. Программирование на возвратом (backtracking) Рекурсия. Вход.
языке ПРОЛОГ [Электронный ресурс]. – 43Поиск с возвратом. Для работы поиска с
Электрон. дан. – USAM SRL, cop. 2009. – возвратом необходимо выполнение двух
Режим доступа : http://www.prolog.md условий Недоказательство некоторой цели
Русскоязычное сообщество лисперов Возврат (откат) к цели, которую можно
[Электронный ресурс]. – Электрон. дан. – передоказать.
Lisp.ru, cop. 2008-2010. – Режим доступа : 44Рекурсия. Нахождение значения
http://lisp.ru Lisper.ru [Электронный факториала 0! = 1 n! = 1 * 2 * 3 * … * (n
ресурс]. – Электрон. дан. – lisper.ru, – 1) * n Рекурсивная формула для расчета
cop. 2009-2010. – Режим доступа : факториала 0! = 1 n! = (n – 1)! * n.
http://lisper.ru Home Lisp [Электронный 45Рекурсия. factorial (0, 1). factorial
ресурс]. – Электрон. дан. – Режим доступа (N, RES) :- M = N – 1, factorial (M, TMP),
: http://homelisp.ru XLISP Home Page RES = TMP * N. ? – factorial (3, RES) RES
[Electronic resource]. – Electronic data. = 6.
– Mode acess : http://xlisp.org Amzi! inc. 46Язык фп lisp. Особенности языка
[Electronic resource]. – Electronic data. Одинаковая форма представления данных и
– Mode acess : http://www.amzi.com. программ – в виде списка Функциональный
15Интернет-ресурсы. Association of Lisp образ мышления Не требуется явное описание
Users [Electronic resource]. – Electronic типов данных, используемых в программе
data. – Mode acess : http://www.lisp.org Основной способ решения – рекурсия.
LispWorks [Electronic resource]. – 47Первая программа. > (+ 2 3)
Electronic data. – LispWorks Ltd., cop. программа данные. > (+ 2 3) 5 > ‘(+
2001-2011. – Mode acess : 2 3) (+ 2 3) > (quote (+ 2 3)) (+ 2 3).
http://www.lispworks.com Prolog 48Основы lisp’а.
Функциональное и логическое программирование.ppt
http://900igr.net/kartinka/algebra/funktsionalnoe-i-logicheskoe-programmirovanie-242988.html
cсылка на страницу

Функциональное и логическое программирование

другие презентации на тему «Функциональное и логическое программирование»

«Решение логических задач» - Воронов и Журавлев не баянисты. Павлов – баянист. Синицын и Воронов не писатели. Табличный способ решения логических задач. Синицын - художник. Фамилии: Воронов, Павлов, Журавлев, Синицын. Условие задачи. Павлов. В одном доме живут Воронов, Павлов, Журавлев, Синицын. А Синицин - художник. Писатель. Журавлев – писатель;

«Логические законы» - Невозможно, чтобы противоречащие высказывания были одновременно истинными. Закон исключения (склеивания). Закон двойного отрицания. Пример. Логические законы и правила преобразования логических выражений. Закон противоречия. Для логического сложения: Для логического умножения: Закон поглощения. Закон идемпотентности (равносильности).

«Логические таблицы истинности» - Выяснить количество столбцов = количество переменных + количество логических операций. Установить последовательность выполнения логических операций. Таблица истинности сложного логического выражения. Для составления таблицы необходимо: Таблицы истинности. Как правильно составить и использовать? Заполнить таблицу истинности по столбцам.

«Логические высказывания» - Практика. Логическое сложение (дизъюнкция). Логическое отрицание (инверсия). Таблица истинности функции логического умножения. Решение задач Конспект стр.92 (импликация, эквиваленция). Запись сложного логического выражения с помощью формулы. Алгебра высказываний. Анализ и проектирование логических схем опираются на законы алгебры логики.

«Логическое мышление» - Основные формы логического мышления. Комбинаторика. Сравнение, обобщение, группировка, классификация Сравнение предметов и явлений по свойствам и качествам. Сравнение, обобщение, группировка, классификация. Что на что похоже? Решение кресскроссов. Чего не бывает? Чувственное познание абстрактное мышление.

«Логические функции» - Следовательно получится функция: 2. Какие логические функции двух аргументов имеют свои названия? Средством обработки двоичных сигналов в ЭВМ являются логические элементы. Один считает, что первой будет Наташа, а Маша будет второй. Отрицание (инверсия). 4. ИМПЛИКАЦИЯ (логическое следование). 3. Логическое сложение (Дизъюнкция) Обозначение: ИЛИ,?, +, |.

Алгебра логики

19 презентаций об алгебре логики
Урок

Алгебра

35 тем
Картинки
900igr.net > Презентации по алгебре > Алгебра логики > Функциональное и логическое программирование