Компьютерные науки

Стили и методы программирования

Программа о систематизации знаний о стилях программирования. Рассматриваются сочетаемость подходов, методы функциональной, автоматной и событийной разработки, а также границы применимости различных программных средств.
Студентов 3667 Выпускников 290 Для специалистов
690 ₽ 1 200 ₽
или любая сумма на ваше усмотрение
Вы можете оплатить любую сумму, чтобы поддержать наш проект и авторов программы. Объем услуг не зависит от размера вашей оплаты.
Темы:
Программирование
Объем
36 час.
Длительность
30 дней
Нагрузка в неделю
9 час.
Формат обучения
Дистанционно (самостоятельно)
Описание Учебная программа предлагает глубокое погружение в стили программирования и методы их применения. Материал раскрывает аспекты разработки, определяющие уровень квалификации специалиста, от понимания моделей вычислений до границ применимости конкретных программных средств. Материал выстроен как последовательное изучение парадигм программирования, включая традиционные языки, функциональное, автоматное, событийное и структурное программирование. Каждая тема сопровождается тестовыми заданиями для закрепления материала, а также практическими сведениями о синтаксисе, семантике и прагматике. Учебная программа будет полезна как начинающим, так и опытным разработчикам, переходящим к осознанному выбору архитектурных и стилистических решений.
Цели
  • Систематизировать знания о различных стилях и парадигмах программирования.
  • Показать границы применимости и совместимость различных методов разработки.
  • Сформировать осознанный подход к выбору программных средств.
Чему я научусь?
  • Различать и применять методы функционального, автоматного и событийного программирования.
  • Анализировать задачи и подбирать оптимальный стиль для их решения.
  • Оценивать синтаксис, семантику и прагматику используемых языков.

Авторы

Непейвода Николай Николаевич
Непейвода Николай Николаевич
Доктор физико-математических наук, профессор Удмуртского государственного университета, математического факультета.\n
Чему я научусь?
  • Различать и применять методы функционального, автоматного и событийного программирования.
  • Анализировать задачи и подбирать оптимальный стиль для их решения.
  • Оценивать синтаксис, семантику и прагматику используемых языков.

Учебный план

№ Занятия
Экзамен экстерном Внимание! Экзамен экстерном не обязательный для сдачи. При желании вы можете его пройти, если хотите подтвердить свои знания по данному курсу без его изучения или поверить свои знания по нему. Экзамен экстерном можно сдать только один раз. 90 мин
1 Вводная лекция Появление языков программирования. Примеры простейших программ. Возможность понимать программы без изучения языка. Как текст программы превращается... Появление языков программирования. Примеры простейших программ. Возможность понимать программы без изучения языка. Как текст программы превращается в исполняемый код? ещё
Вводная лекция тест для курса Стили и методы программирования 15 мин
2 Модели вычислений Традиционная архитектура вычислительных машин. Первое понятие о стилях программирования. Модификации традиционной архитектуры. Нетрадиционные архитектуры. Сети данных... Традиционная архитектура вычислительных машин. Первое понятие о стилях программирования. Модификации традиционной архитектуры. Нетрадиционные архитектуры. Сети данных и параллелизм. Эмуляция и машина программы. ещё
Модели вычислений тест для курса Стили и методы программирования 20 мин
3 Традиционные языки Традиционные языки и традиционная архитектура. Структура традиционной программы. Основные традиционные языки. Как текст программы превращается в... Традиционные языки и традиционная архитектура. Структура традиционной программы. Основные традиционные языки. Как текст программы превращается в исполняемый код? ещё
Традиционные языки тест для курса Стили и методы программирования 20 мин
4 Синтаксис, семантика и прагматика Как определять язык программирования? Язык как текст (синтаксис). Язык как исполнимый текст (семантика). Конкретизация языка для... Как определять язык программирования? Язык как текст (синтаксис). Язык как исполнимый текст (семантика). Конкретизация языка для данной обстановки. Какая часть синтаксиса нужна для семантики? ещё
Синтаксис, семантика и прагматика тест для курса Стили и методы программирования 25 мин
5 Сентенциальное программирование: Рефал Глобальные действия и глобальные условия. Конкретизация как один из видов отождествления. Данные и программы Рефала. Модель... Глобальные действия и глобальные условия. Конкретизация как один из видов отождествления. Данные и программы Рефала. Модель вычислений. Приемы программирования и примеры программ. ещё
Сентенциальное программирование: Рефал тест для курса Стили и методы программирования 30 мин
6 Сентенциальное программирование: PROLOG Исходные концепции языка. Данные. Управление при помощи неудач и возвратов. Порождение программы в ходе исполнения. Стандартные... Исходные концепции языка. Данные. Управление при помощи неудач и возвратов. Порождение программы в ходе исполнения. Стандартные операции. ещё
Сентенциальное программирование: PROLOG тест для курса Стили и методы программирования 25 мин
7 Общие вопросы сентенциального программирования Превращение логики в сентенциальный язык. Превращение теоретического языка в практический. Несовместимость моделей исполнения и отождествления. Вред... Превращение логики в сентенциальный язык. Превращение теоретического языка в практический. Несовместимость моделей исполнения и отождествления. Вред и польза стандартизации. ещё
Общие вопросы сентенциального программирования тест для курса Стили и методы программирования 15 мин
8 Функциональное программирование Теоретические предпосылки. Списки и простейшие операции. Значения и модель вычислений. Динамическое порождение программ и функционалы. Объекты... Теоретические предпосылки. Списки и простейшие операции. Значения и модель вычислений. Динамическое порождение программ и функционалы. Объекты и синтез программ. ещё
Функциональное программирование тест для курса Стили и методы программирования 15 мин
9 Автоматное программирование: анализ задачи "Термин ""автоматное программирование"" принадлежит, насколько нам известно, А.А. Шалыто. Во всяком случае, ему принадлежит заслуга его... "Термин ""автоматное программирование"" принадлежит, насколько нам известно, А.А. Шалыто. Во всяком случае, ему принадлежит заслуга его развития вопреки моде и мнению большинства." ещё
Автоматное программирование: анализ задачи тест для курса Стили и методы программирования 15 мин
10 Автоматное программирование: от таблицы к программе Трансляция таблиц состояний и переходов. Различные методы представления таблиц как программ. Интерпретация таблиц переходов.
Автоматное программирование: от таблицы к программе тест для курса Стили и методы программирования 15 мин
11 Автоматное преобразование структурированных текстов Понятие о языках разметки. Представление автоматной программы с помощью XML.
Автоматное преобразование структурированных текстов тест для курса Стили и методы программирования 15 мин
12 Переход от данных к конечному автомату Построение автомата по данным. Анализ автоматного программирования.
Переход от данных к конечному автомату тест для курса Стили и методы программирования 15 мин
13 Событийное программирование События и демоны. Программирование от событий и от приоритетов.
Событийное программирование тест для курса Стили и методы программирования 15 мин
14 Структурное программирование Теоретические предпосылки структурного программирования. Локальность действий и условий, требования к программным структурам. Призраки и подпорки. Сеть... Теоретические предпосылки структурного программирования. Локальность действий и условий, требования к программным структурам. Призраки и подпорки. Сеть данных и совместность. Циклический и рекурсивный варианты. ещё
Структурное программирование тест для курса Стили и методы программирования 15 мин
15 Проблемы, встающие перед параллельным программированием Параллелизм и совместность. Виды параллелизма. Трудности параллельного программирования. Организация квазипараллелизма.
Проблемы, встающие перед параллельным программированием тест для курса Стили и методы программирования 15 мин
16 Программирование от переиспользования Что нужно для переиспользования? Необходимость математической культуры. Если бы Билли остался математиком... Образцы, шаблоны и фреймы.
Программирование от переиспользования тест для курса Стили и методы программирования 15 мин
17 Общее понятие о стилях программирования Следствия теоремы Гёделя о неполноте для программирования. Логическая несовместимость разных классов задач. Практическая несовместимость ипостасей внутри... Следствия теоремы Гёделя о неполноте для программирования. Логическая несовместимость разных классов задач. Практическая несовместимость ипостасей внутри стилей. Взаимодействия и сочетаемость стилей. ещё
Общее понятие о стилях программирования тест для курса Стили и методы программирования 15 мин
18 Методы по отношению к стилям
Тренировочный экзамен Внимание! Тренировочный экзамен экстерном не обязательный для сдачи. При желании вы можете его пройти, если хотите проверить свои знания курса перед сдачей экзамена. Тренировочный экзамен можно сдавать сколько угодно один раз. 90 мин
Экзамен 60 мин

Какой документ я получу?

Сертификат

Выдаётся автоматически после успешного завершения программы.

Удостоверение о повышении квалификации

Выдается при наличии среднего специального или высшего образования (необходимые документы).

Стоимость программы

690 ₽ 1 200 ₽
или любая сумма на ваше усмотрение
Вы можете оплатить любую сумму, чтобы поддержать наш проект и авторов программы. Объем услуг не зависит от размера вашей оплаты.
^