Information
Мое администрирование:
Programming styles and methods
: Information
Created: 10.02.2005 | Level: specialist | Access: free
Данный курс предполагает начальные умения структурного программирования на традиционном языке и не исключает начальных умений на одном из языков других стилей. Базовые умения для других стилей программирования могут быть получены по ходу изучения курса, для чего в него включены необходимые сведения и упражнения.
Этот курс для тех, кто хочет программировать осмысленно. Впервые в практике учебных материалов систематически излагаются сведения о стилях программирования и их методах. Он предлагает ориентиры для понимания сочетаемости и несовместимости разных методов, показывает, что универсальность программных средств есть не что иное, как плохо определенные границы их применимости. Освоив предлагаемый материал, учащемуся откроются те аспекты программистской деятельности, которым обычно не уделяют должного внимания авторы учебников, монографий, руководств, хотя именно они больше, чем что-либо определяют уровень квалификации разработчика. Курс будет полезен как для начинающих, так и для опытных программистов.
План занятий
| Lesson | Title << | Date |
|---|---|---|
| - | ||
Lecture 122 minutes | Вводная лекция
Появление языков программирования. Примеры простейших программ. Возможность понимать программы без изучения языка. Как текст программы превращается в исполняемый код?
Contents | - |
Тест 19 minutes | - | |
Lecture 247 minutes | Модели вычислений
Традиционная архитектура вычислительных машин. Первое понятие о стилях программирования. Модификации традиционной архитектуры. Нетрадиционные архитектуры. Сети данных и параллелизм. Эмуляция и машина программы.
Contents | - |
Тест 212 minutes | - | |
Lecture 353 minutes | Традиционные языки
Традиционные языки и традиционная архитектура. Структура традиционной программы. Основные традиционные языки. Как текст программы превращается в исполняемый код?
Contents | - |
Тест 312 minutes | - | |
Lecture 446 minutes | Синтаксис, семантика и прагматика
Как определять язык программирования? Язык как текст (синтаксис).
Язык как исполнимый текст (семантика). Конкретизация языка для данной
обстановки. Какая часть синтаксиса нужна для семантики?
Contents | - |
Тест 415 minutes | - | |
Lecture 554 minutes | Сентенциальное программирование: Рефал
Глобальные действия и глобальные условия. Конкретизация как один из видов отождествления. Данные и программы Рефала. Модель вычислений. Приемы программирования и примеры программ.
Contents | - |
Тест 518 minutes | - | |
Lecture 61 hour 11 minutes | Сентенциальное программирование: PROLOG
Исходные концепции языка. Данные. Управление при помощи неудач и возвратов. Порождение программы в ходе исполнения. Стандартные операции.
Contents | - |
Тест 615 minutes | - | |
Lecture 735 minutes | Общие вопросы сентенциального программирования
Превращение логики в сентенциальный язык. Превращение теоретического языка в практический. Несовместимость моделей исполнения и отождествления. Вред и польза стандартизации.
Contents | - |
Тест 79 minutes | - | |
Lecture 81 hour | Функциональное программирование
Теоретические предпосылки. Списки и простейшие операции. Значения и модель вычислений. Динамическое порождение программ и функционалы. Объекты и синтез программ.
Contents | - |
Тест 89 minutes | - | |
Lecture 954 minutes | Автоматное программирование: анализ задачи
Термин "автоматное программирование" принадлежит, насколько нам известно, А.А. Шалыто. Во всяком случае, ему принадлежит заслуга его развития вопреки моде и мнению большинства.
Contents | - |
Тест 99 minutes | - | |
Lecture 1057 minutes | Автоматное программирование: от таблицы к программе
Трансляция таблиц состояний и переходов. Различные методы представления таблиц как программ. Интерпретация таблиц переходов.
Contents | - |
Тест 109 minutes | - | |
Lecture 1134 minutes | Автоматное преобразование структурированных текстов
Понятие о языках разметки. Представление автоматной программы с помощью XML.
Contents | - |
Тест 119 minutes | - | |
Lecture 1228 minutes | Переход от данных к конечному автомату
Построение автомата по данным. Анализ автоматного программирования.
Contents | - |
Тест 129 minutes | - | |
Lecture 1330 minutes | Событийное программирование
События и демоны. Программирование от событий и от приоритетов.
Contents | - |
Тест 139 minutes | - | |
Lecture 141 hour 7 minutes | Структурное программирование
Теоретические предпосылки структурного программирования. Локальность действий и условий, требования к программным структурам. Призраки и подпорки. Сеть данных и совместность. Циклический и рекурсивный варианты.
Contents | - |
Тест 149 minutes | - | |
Lecture 1552 minutes | Проблемы, встающие перед параллельным программированием
Параллелизм и совместность. Виды параллелизма. Трудности параллельного программирования. Организация квазипараллелизма.
Contents | - |
Тест 159 minutes | - | |
Lecture 1640 minutes | Программирование от переиспользования
Что нужно для переиспользования? Необходимость математической культуры. Если бы Билли остался математиком... Образцы, шаблоны и фреймы.
Contents | - |
Тест 169 minutes | - | |
Lecture 1737 minutes | Общее понятие о стилях программирования
Следствия теоремы Гёделя о неполноте для программирования. Логическая несовместимость разных классов задач. Практическая несовместимость ипостасей внутри стилей. Взаимодействия и сочетаемость стилей.
Contents | - |
Тест 179 minutes | - | |
Lecture 185 minutes | Методы по отношению к стилямContents | - |
5 hours | - |