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