Information
Created: 04.02.2007 | Level: for all | Access: free | University: Новосибирский Государственный Университет
За почти полувековую историю своего существования язык Лисп зарекомендовал себя как система с практически неограниченными возможностями символьного программирования. Лисп и его диалекты послужили основой широкого спектра прикладных разработок, оказавших существенное влияние на распространение информационных технологий.
Знакомство с Лиспом - важная составляющая современного образования в области информатики. Лисп является ключом для изучения типовых задач системного программирования и искусственного интеллекта.
Supplementary courses |
План занятий
| Lesson | Title << | Date |
|---|---|---|
| - | ||
Lecture 122 minutes | Рекурсивные функции и структуры данных
Целью курса является изучение языка Лисп и техники программирования на Лиспе. Первая лекция вводит общие понятия, используемые при определении языка Лисп, его реализации и применении. В центре внимания идеи символьной обработки информации и принципы функционального программирования.
Contents | - |
Тест 130 minutes | - | |
Lecture 218 minutes | Работа с Лисп-системой
Вторая лекция адресована практикам, предпочитающим изучение языка программирования сопровождать немедленным экспериментом, умеющим находить информацию в сетях и устанавливать на компьютере системы программирования. Но и новичкам имеет смысл познакомиться с системой программирования на Лиспе сразу, не дожидаясь полной картины изучаемого языка. Рассмотрим следующее:
Диалог с Лисп-системой
Запуск Лисп-программ из файлов
Пошаговое вычисление
Сайты с Лисп-системами
Contents | - |
Тест 230 minutes | - | |
Lecture 332 minutes | Списки и атомы
Третья лекция знакомит с основами символьной обработки информации и структурами данных, удобно приспособленными для символьной обработки. Рассматривается базовый набор элементарных функций над списками и S-выражениями (символьными выражениями).
Contents | - |
Тест 330 minutes | - | |
Lecture 431 minute | Запись Лисп-программ
Теперь рассмотрим правила записи программ на Лиспе. Такие правила различны для обычных и специальных функций. Для Лиспа характерно предпочтение рекурсивных функций. Функции могут иметь названия или быть безымянными, сконструированными для разового использования.
Contents | - |
Тест 430 minutes | - | |
Lecture 529 minutes | Определение языка программирования
Теперь можем дать более точное определение Лиспа как языка программирования и показать методы программирования на Лиспе. Рассмотрим синтаксис языка Лисп и его семантику. Познакомимся с техникой накопительных параметров, позволяющей при программировании обходиться без глобальных переменных, и методом вспомогательных функций, обеспечивающим управление уровнем абстрагирования информационной обработки.
Contents | - |
Тест 530 minutes | - | |
Lecture 626 minutes | Интерпретатор
Теперь рассмотрим определение операционной семантики Лиспа в виде универсальной функции, задающей правила вычисления форм и применения функций к аргументам. Проанализируем требования к определению семантики, удобно сопоставимой с синтаксической сводкой правил языка. Дадим лаконичное определение универсальной функции EVAL, вычисляющей произвольное выражение языка, и APPLY, применяющей функции языка к их аргументам. Отметим специфику предикатов и истинности, принятой в языке Лисп.
Contents | - |
Тест 630 minutes | - | |
Lecture 732 minutes | Отображения и функционалы
После изучения идеального Лиспа переходим к знакомству с приемами создания его практичных расширений. В данной лекции мы рассмотрим базовые средства обработки чисел и строк, примеры которых помогут разобраться с техникой программирования отображений. При определении отображений вполне естественно используются безымянные функции. Приведены примеры определения фильтров и сверток (редукций).
Contents | - |
Тест 730 minutes | - | |
Lecture 832 minutes | Имена и контексты
Данная лекция посвящена организации эффективной работы с определениями функций. Рассматривается оптимизационная техника именования значений и подвыражений на разных уровнях вложенности блоков, представление переменных и констант, а также локализация функций по блокам
Contents | - |
Тест 830 minutes | - | |
Lecture 913 minutes | Оперирование вычислениями
Теперь рассмотрим менее очевидные методы повышения эффективности и результативности вычислений, такие как замедленные (ленивые) вычисления, организация оптимальных рецептов вычисления и работа с событиями.
Contents | - |
Тест 924 minutes | - | |
Lecture 1019 minutes | Свойства атомов и работа с памятью
Теперь рассмотрим более подробно следующие механизмы эффективной работы со структурами данных в памяти. Рассмотрим списки свойств атома, работающие как встроенная база данных, организацию структуры данных в памяти и деструктивные, способные разрушить состояние памяти, операции над структурами данных, а также основной механизм повторного использования памяти - "Сборка мусора".
Contents | - |
Тест 1030 minutes | - | |
Lecture 1119 minutes | Стандартное программирование
Эта лекция посвящена привычным методам программирования. Для этого в Лисп введена функциональная модель средств императивного программирования в виде специальной функции Prog, а также специальных функций для представления в программах на Лиспе присваиваний и циклов.
Contents | - |
Тест 1112 minutes | - | |
Lecture 1224 minutes | Расширения и приложения Лиспа
В заключении рассмотрим как дальше осваивать Лисп, практично использовать возможности Лисп-систем и систем функционального программирования. Познакомимся немного с историей Лиспа
Contents | - |
Тест 1212 minutes | - | |
5 hours | - |