🗊Презентация Основные парадигмы и технологии программирования

20-е годы 19 в. Чарльз Бэббидж высказал мысль о предварительной записи порядка действий машины для последующей автоматической реализации вычислений – программе, которую можно было записывать на перфокартах. 20-е годы 19 в. Чарльз Бэббидж высказал мысль о предварительной записи порядка действий машины для последующей автоматической реализации вычислений – программе, которую можно было записывать на перфокартах.

1843г. - Ада Августа Лавлейс издала перевод на английский язык статьи итальянского ученого Минебраа о вычислительных машинах со своими комментариями. 1843г. - Ада Августа Лавлейс издала перевод на английский язык статьи итальянского ученого Минебраа о вычислительных машинах со своими комментариями.

введено понятие цикла введено понятие цикла сформулирован принцип экономии рабочих ячеек сформулирован принцип хранимых данных обозначена связь рекуррентных формул с циклическими процессами вычислений высказана мысль о том, что машина может выполнять работу, превышающую возможности человека

Императивная Императивная Непроцедурное (машинно-ориентированное (ассемблеры) Процедурное (структурное) (Фортран, С, Паскаль) Объектная (С++, Delphi) Декларативная Логическое (Пролог) Функциональное (Лисп и диалекты)

В августе 1944 года для релейной машины "Марк-I" под руководством Грейс Хоппер (женщина-программист, морской офицер ВМФ США) была написана первая подпрограмма для вычисления sin(x). В августе 1944 года для релейной машины "Марк-I" под руководством Грейс Хоппер (женщина-программист, морской офицер ВМФ США) была написана первая подпрограмма для вычисления sin(x).

В 1949 году Джон Моучли (один из создателей ЭВМ ENIAC) разработал систему Short Code, которую можно считать предшественницей языков программирования высокого уровня, первый примитивный интерпретатор. В 1949 году Джон Моучли (один из создателей ЭВМ ENIAC) разработал систему Short Code, которую можно считать предшественницей языков программирования высокого уровня, первый примитивный интерпретатор. В 1951 году Г. Хоппер создала первый компилятор А-0. Ею же впервые был введен этот термин и термин «отладка».

Ассемблер – машинно-зависимый язык низкого уровня, т.е. он отражает особенности архитектуры конкретного типа вычислительных машин. Ассемблер – машинно-зависимый язык низкого уровня, т.е. он отражает особенности архитектуры конкретного типа вычислительных машин. Относится ко второму поколению языков программирования (если первым считать машинные коды) Ассемблер обеспечивает возможность применения символических имен в исходной программе и избавляет программиста от необходимости распределения памяти компьютера для команд, переменных и констант.

На ассемблере пишут программы или фрагменты программ, для которых критически важны: На ассемблере пишут программы или фрагменты программ, для которых критически важны: быстродействие объем используемой памяти Этот язык часто применяют для программирования систем реального времени, для обеспечения работы информационно-измерительных комплексов, программирования низкоуровневых драйверов устройств.

характеризуется аппаратным подходом к организации работы компьютера, нацеленным на доступ к любым возможностям оборудования. характеризуется аппаратным подходом к организации работы компьютера, нацеленным на доступ к любым возможностям оборудования. В центре внимания – конфигурация оборудования, состояние памяти, команды, передачи управления, очередность событий, исключения и неожиданности, время реакции устройств и успешность реагирования

Программа – это цепочка команд (директив), которая приводит к вычислению одной или нескольких искомых величин. Программа – это цепочка команд (директив), которая приводит к вычислению одной или нескольких искомых величин. Эти директивы совершенно однозначно и четко предписывают выполнение каждого шага алгоритма

Императивное программирование стали называть процедурным, когда в процессе увеличения сложности моделируемых систем и размера получаемых программ возникла концепция подпрограмм, называемых также процедурами (procedure) или функциями (function) Императивное программирование стали называть процедурным, когда в процессе увеличения сложности моделируемых систем и размера получаемых программ возникла концепция подпрограмм, называемых также процедурами (procedure) или функциями (function)

Программирование с использованием нескольких типов управляющих конструкций (структур), которые позволяют сильно повысить понимаемость логики работы программы конструкций называется структурным.

Доказано (Эдсгер В.Дейкстра, 1969), что любая программа может быть построена на основе трех базовых конструкций: Доказано (Эдсгер В.Дейкстра, 1969), что любая программа может быть построена на основе трех базовых конструкций: последовательное исполнение (линейная) условная (ветвление) циклическая

Линейная Линейная (функциональный блок). Операторы ввода, вывода и присваивания, следующие строго друг за другом.

2. Условная или ветвление. 2. Условная или ветвление. Предполагает проверку некоторого условия, в зависимости от которого выполняется то или иное действие

3. Циклическая. 3. Циклическая. Обеспечивает многократное повторение набора операторов, пока не будет выполнено некоторое условие

1. Нисходящее проектирование (программирование «сверху-вниз»). 1. Нисходящее проектирование (программирование «сверху-вниз»). Разработка программы начинается с определения целей решения проблемы, после чего идет последовательная детализация, заканчивающаяся детальной программой. 2. Восходящее проектирование (программирование «снизу-вверх») Разработка программ, начинающаяся с разработки подпрограмм (процедур, функций), в то время когда проработка общей схемы не закончилась.

Принцип абстрактности. Увеличение абстрактности программы с уменьшением деталей. Принцип абстрактности. Увеличение абстрактности программы с уменьшением деталей. Принцип формальности предполагает строгий методический подход к программированию Принцип иерархического упорядочения. Взаимосвязь между частями программы должна носить иерархический характер Принцип модульности. Программа разделяется на отдельные законченные фрагменты, модули, которые просты по управлению и допускают независимую отладку и тестирование.

В 1954 году публикуется сообщение о создании языка FORTRAN (FORmula TRANslation) (Фортран). Место рождения языка - штаб-квартира фирмы IBM в Нью-Йорке. Одним из главных разработчиков является Джон Бэкус. Он же стал автором НФБ (нормальная форма Бэкуса), которая используется для описания синтаксиса многих языков программирования. В 1954 году публикуется сообщение о создании языка FORTRAN (FORmula TRANslation) (Фортран). Место рождения языка - штаб-квартира фирмы IBM в Нью-Йорке. Одним из главных разработчиков является Джон Бэкус. Он же стал автором НФБ (нормальная форма Бэкуса), которая используется для описания синтаксиса многих языков программирования. Фортран был широко распространенным языком, особенно среди пользователей, которые занимались численным моделированием.

В 1977 году был принят новый стандарт языка Фортран-77. В 1977 году был принят новый стандарт языка Фортран-77. Сейчас используется и стандарт Фортран-90. Трансляторы: Watfor, Lap-Fortran, Fortran-77, MS-Fortran 5.0. В настоящий момент Фортран наравне с C/C++ используется для параллельного программирования.

BASIC (Beginner’s All-Purpose Symbolic Instruction Code – “универсальный символический код инструкций для начинающих”) разработан в Дартмутском университете в 1964 году под руководством Джона Кемени и Томаса Курца. Прямой наследник Фортрана. BASIC (Beginner’s All-Purpose Symbolic Instruction Code – “универсальный символический код инструкций для начинающих”) разработан в Дартмутском университете в 1964 году под руководством Джона Кемени и Томаса Курца. Прямой наследник Фортрана. Это простой язык, легко изучаемый, предназначенный для программирования несложных расчетных задач. Компиляторы: GWBASIC, Turbo-Basic и Quick Basic. Quick Basic - второе поколение систем программирования на языке Бейсик.

Предоставляет возможность модульного и процедурного программирования, создания библиотек, компиляции готовых программ и прочее, что вывело его на уровень таких классических языков программирования, как Си, Паскаль, Фортран и др. Предоставляет возможность модульного и процедурного программирования, создания библиотек, компиляции готовых программ и прочее, что вывело его на уровень таких классических языков программирования, как Си, Паскаль, Фортран и др. В 1991 году появилась первая версия языка VISUAL BASIC, которая, развиваясь, сильно потеснила Delphi-подобные системы. Microsoft использовала Бейсик как основу для создания языка VBA, используемого для программирования макросов в офисных приложениях.

В период конца 50-х в Европе и в СССР популярен язык ALGOL. Как и FORTRAN, он ориентировался на математические задачи. В нем была реализована передовая для того времени технология программирования - структурное программирование. В период конца 50-х в Европе и в СССР популярен язык ALGOL. Как и FORTRAN, он ориентировался на математические задачи. В нем была реализована передовая для того времени технология программирования - структурное программирование. Характерная черта первых языков программирования - предметная ориентация. Это значит, что каждый язык предназначался для решения какого-то определенного, достаточно ограниченного класса задач.

PL/1 разработан в 1964-1965 годах фирмой IBM. PL/1 относится к числу универсальных языков, т. е. позволяет решать задачи из разных областей: численные расчеты, текстовая обработка, экономические задачи и т.д. PL/1 разработан в 1964-1965 годах фирмой IBM. PL/1 относится к числу универсальных языков, т. е. позволяет решать задачи из разных областей: численные расчеты, текстовая обработка, экономические задачи и т.д. Из-за универсальности язык оказался слишком сложным и не вполне независимым от архитектуры машины, как следствие не получил повсеместного распространения.

Язык был разработан профессором кафедры вычислительной техники Швейцарского Федерального института технологии Николаусом Виртом в 1968 году как альтернатива существующим и все усложняющимся языкам программирования. Язык был разработан профессором кафедры вычислительной техники Швейцарского Федерального института технологии Николаусом Виртом в 1968 году как альтернатива существующим и все усложняющимся языкам программирования.

1973 год - появление стандарта языка, а число трансляторов с этого языка в 1979 году перевалило за 80. 1973 год - появление стандарта языка, а число трансляторов с этого языка в 1979 году перевалило за 80. В начале 80-х годов - появление трансляторов MS-Pascal и Turbo-Pascal для ПЭВМ. С этого времени Паскаль становится одним из наиболее важных и широко используемых языков программирования

Важнейшие особенности: Важнейшие особенности: воплощенная идея структурного программирования; концепция структуры данных как одного из фундаментальных понятий; Причины популярности: простота языка; развитые средства представления структур данных; Независимость от аппаратных средств наличие специальных методик создания трансляторов;

Сотрудник фирмы Bell Labs Денис Ритчи создал язык Си в 1972 году во время совместной работы с Кеном Томпсоном, как инструментальное средство для реализации операционной системы Unix Сотрудник фирмы Bell Labs Денис Ритчи создал язык Си в 1972 году во время совместной работы с Кеном Томпсоном, как инструментальное средство для реализации операционной системы Unix

В настоящее время любая инструментальная и операционная система не может считаться полной если в ее состав не входит компилятор языка Си. В настоящее время любая инструментальная и операционная система не может считаться полной если в ее состав не входит компилятор языка Си. Язык программирования Си был разработан как инструмент для программистов-практиков. В соответствии с этим главной целью его автора было создание удобного и полезного во всех отношениях языка. Си является орудием системного программиста, требующим от программиста высокой дисциплины, но язык не строг в формальных претензиях и допускает краткие формулировки.

Характеристики языка: Характеристики языка: соответствие современным требованиям. Его структура побуждает программиста использовать в своей работе нисходящее проектирование, структурное программирование и пошаговую разработку модулей. эффективность, программы на этом языке отличаются компактностью и быстротой исполнения. мобильность мощность гибкость универсальность

Язык Ада возник в результате международного конкурса языковых проектов проходившего в 1978-1979 годах под эгидой Министерства Обороны США. Целью конкурса - разработать единый язык программирования для так называемых встроенных систем. Имелись в виду прежде всего бортовые системы управления военными объектами Язык Ада возник в результате международного конкурса языковых проектов проходившего в 1978-1979 годах под эгидой Министерства Обороны США. Целью конкурса - разработать единый язык программирования для так называемых встроенных систем. Имелись в виду прежде всего бортовые системы управления военными объектами Интересно, что все языки, дошедшие до последних туров этого конкурса, были основаны на Паскале. В этой связи Аду можно предварительно охарактеризовать как развитый Паскаль. Авторы пошли в основном по пути расширения Паскаля новыми элементами. В результате получился существенно более сложный язык.

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

Функциональная программа состоит из совокупности определений функций, которые в свою очередь представляют собой вызовы других функций и предложений, управляющих последовательностью вызовов. При этом функции часто либо прямо, либо опосредованно вызывают сами себя (рекурсия). Функциональная программа состоит из совокупности определений функций, которые в свою очередь представляют собой вызовы других функций и предложений, управляющих последовательностью вызовов. При этом функции часто либо прямо, либо опосредованно вызывают сами себя (рекурсия). Каждая функция возвращает некоторое значение в вызвавшую его функцию, вычисление которой после этого продолжается; этот процесс повторяется до тех пор, пока начавшая процесс вычислений функция не вернет конечный результат пользователю

Язык Лисп (Lisp - LISt Processing) был предложен Джоном Маккарти в 1960 году и ориентирован на разработку программ для решения задач не численного характера. Язык Лисп (Lisp - LISt Processing) был предложен Джоном Маккарти в 1960 году и ориентирован на разработку программ для решения задач не численного характера.

Изначально предназначался для программирования и разработки систем искусственного интеллекта. В основу языка легло т.н. лямбда-исчисление. Изначально предназначался для программирования и разработки систем искусственного интеллекта. В основу языка легло т.н. лямбда-исчисление. Программирование ведется с помощью функций. Причем функция понимается как правило, сопоставляющее элементам некоторого класса соответствующие элементы другого класса.

На протяжении почти сорокалетней истории существования Лиспа появился ряд диалектов этого языка: Common LISP, Mac LISP, Inter LISP, Standard LISP и др. Различия между ними не носят принципиального характера и в основном сводятся к несколько отличающемуся набору встроенных функций и некоторой разнице в форме записи программ. На протяжении почти сорокалетней истории существования Лиспа появился ряд диалектов этого языка: Common LISP, Mac LISP, Inter LISP, Standard LISP и др. Различия между ними не носят принципиального характера и в основном сводятся к несколько отличающемуся набору встроенных функций и некоторой разнице в форме записи программ.

Основано на логике предикатов Основано на логике предикатов Программа рассматривается как набор логических фактов и правил вывода, а выполнение программы состоит в вычислении истинности (попытке доказательства) некоторого утверждения

Одной из уникальный особенностей языка ПРОЛОГ является то что его появление является результатом исследований ученых нескольких университетов и научных центров, а не разработка конкретного человека или группы людей. Одной из уникальный особенностей языка ПРОЛОГ является то что его появление является результатом исследований ученых нескольких университетов и научных центров, а не разработка конкретного человека или группы людей. Пролог - язык логического программирования предназначенный для представления и использования знаний о некоторой предметной области. Основой языка послужила математическая логика. В Прологе реализован декларативный подход, при котором достаточно описать задачу с помощью правил и утверждений относительно заданных объектов. Если это описание является достаточно точным, то ЭВМ может самостоятельно найти требуемое решение.

Объектно-ориентированное программирование (ООП) есть по сути императивное программирование, дополненное принципами Объектно-ориентированное программирование (ООП) есть по сути императивное программирование, дополненное принципами инкапсуляции данных и методов в объект (принцип модульности наследования (принципом повторного использования разработанного функционала). полиморфизма

Язык C++ появился в начале 80-х годов. Создан Бьерном Страуструпом с первоначальной целью избавить себя и своих друзей от программирования на ассемблере, Си или различных других языках высокого уровня. Язык C++ появился в начале 80-х годов. Создан Бьерном Страуструпом с первоначальной целью избавить себя и своих друзей от программирования на ассемблере, Си или различных других языках высокого уровня.

Больше всего C++ позаимствовал из языка Си, а также из непосредственного его предшественника языка BCPL. Больше всего C++ позаимствовал из языка Си, а также из непосредственного его предшественника языка BCPL. В первую очередь C++ отличается от Си разной степенью внимания к типам и структурам данных. Это связанно с появлением понятий класса, производного класса и виртуальной функции.

Язык С++ является средством объектного программирования, широко применяемой методики проектирования и реализации программ, практически заменившую традиционное процедурное программирование. Язык С++ является средством объектного программирования, широко применяемой методики проектирования и реализации программ, практически заменившую традиционное процедурное программирование. Абстракция, реализация, наследование и полиморфизм являются необходимыми свойствами которыми обладает язык С++.

Возможность автоматической генерации программного кода Возможность автоматической генерации программного кода Особенно эффективно при создании интерфейсной части приложений (диалоговых окон, командных кнопок и т.п.)

В отличие от программирования последовательных вычислений, концептуальную основу которого составляет понятие алгоритма, реализуемого по шагам строго последовательно во времени, в параллельном программировании программа порождает совокупность параллельно протекающих процессов обработки информации, полностью независимых или связанных между собой статическими или динамическими пространственно-временными или причинно-следственными отношениями. В отличие от программирования последовательных вычислений, концептуальную основу которого составляет понятие алгоритма, реализуемого по шагам строго последовательно во времени, в параллельном программировании программа порождает совокупность параллельно протекающих процессов обработки информации, полностью независимых или связанных между собой статическими или динамическими пространственно-временными или причинно-следственными отношениями.

Определение параллелизма: анализ задачи с целью выделить подзадачи, которые могут выполняться одновременно; Определение параллелизма: анализ задачи с целью выделить подзадачи, которые могут выполняться одновременно; Выявление параллелизма: изменение структуры задачи таким образом, чтобы можно было эффективно выполнять подзадачи. Выражение параллелизма: реализация параллельного алгоритма в исходном коде с помощью систем параллельного программирования.

OpenMP (разработан стандарт для языков Fortran, C и C++); OpenMP (разработан стандарт для языков Fortran, C и C++); PVM (Parallel Virtual Machine), (поддерживает языки Fortran, C, C++, имеет средства сопряжения с языками Perl, Java); СUDA (Compute Unified Device Architecture) – программно-аппаратное решение, позволяющее использовать видеопроцессоры NVIDIA для вычислений общего назначения; MPI – интерфейс передачи данных (message passing interface).

Возникшее, с появлением глобальной сети Internet, Web-программирование и языки его реализующие, определяют формирование современной, сценарной технологии программирования. Возникшее, с появлением глобальной сети Internet, Web-программирование и языки его реализующие, определяют формирование современной, сценарной технологии программирования. Первое из средств создания Web-страничек – это язык разметки гипертекстов HTML (HyperText Markup Language) Для создания более сложных и функциональных интерактивных сайтов сейчас имеется довольно разнообразный выбор инструментальных средств – ASP, PHP, Perl, Pyton, Java-script и т.п

Визуальные редакторы веб-интерфейсов, в которых содержание отображается в процессе редактирования и выглядит максимально близко похожим на конечную продукцию (Microsoft FrontPage, Web Page Maker, Adobe Dreamweaver и т.п.) Визуальные редакторы веб-интерфейсов, в которых содержание отображается в процессе редактирования и выглядит максимально близко похожим на конечную продукцию (Microsoft FrontPage, Web Page Maker, Adobe Dreamweaver и т.п.) Системы управления сайтом (CMS - Content Management System) – программное обеспечение, позволяющее управлять содержимым и структурой сайта; движки, в которых присутствует набор готовых шаблонов сайтов (Joomla, Drupal  и т.п.)

разработан британским учёным разработан британским учёным Тимом Бернерсом-Ли в 1986—1991 годах в стенах ЦЕРНа (CERN от фр. Conseil Européen pour la Recherche Nucléaire (Европейский совет по ядерным исследованиям), лаборатория которого находятся в Женеве (Швейцария)

постановка задачи постановка задачи математическое моделирование алгоритмизация программирование трансляция программы тестирование и отладка программы исполнение отлаженной программы и анализ результатов

словесное описание содержания задачи, общий подход к ее решению. словесное описание содержания задачи, общий подход к ее решению. Для нашей задачи – решение квадратного уравнения - можно предложить такое описание: даны коэффициенты уравнения - три целых числа, вычислить значения корней уравнения - одно или два числа, вывести их в качестве результата

Математические формулы и логические условия, Математические формулы и логические условия, Для нашей задачи этот этап – это известные формулы для вычисления дискриминанта и корней квадратного уравнения

Алгоритм — понятное и точное предписание исполнителю выполнить конечную последовательность команд, приводящих от исходных данных к искомому результату.

Дискретность. Дискретность. Детерминированность. Точность. Понятность. Результативность. Конечность. Массовость.

последовательная - каждый шаг алгоритма выполняется один раз, причем после каждого i-го шага выполняется (i +1)-й шаг, если i-й шаг – не конец алгоритма. последовательная - каждый шаг алгоритма выполняется один раз, причем после каждого i-го шага выполняется (i +1)-й шаг, если i-й шаг – не конец алгоритма. ветвящаяся - последовательность выполнения шагов алгоритма зависит от входных данных. циклическая - некоторая, подряд идущая группа шагов алгоритма может выполняться несколько раз в зависимости от входных данных. - достаточно для записи любого алгоритма (1969 г. Э.В.Дейкстра, статья «Структуры данных и алгоритмы»)

словесная (записи на естественном языке); словесная (записи на естественном языке); псевдокоды (полуформализованные описания алгоритмов на условном алгоритмическом языке, включающие в себя как элементы языка программирования, так и фразы естественного языка, общепринятые математические обозначения и др.); графическая (изображения из графических символов, блок-схемы); формальная (машина Тьюринга или машина Поста); программная (тексты на языках программирования)

Одна из универсальных форм записи алгоритмов, допускающая использование двух видов блоков: операторный и условный. Одна из универсальных форм записи алгоритмов, допускающая использование двух видов блоков: операторный и условный. Операторный блок – прямоугольник. Условный блок – ромб. Внутри блоков записывают соответствующие действия или условия.

Операторный блок – это прямоугольник, в который вписывается некоторое действие или выражение. Операторный блок – это прямоугольник, в который вписывается некоторое действие или выражение. Этот блок может иметь несколько входов и только один выход, что обеспечивает однозначность в определении последовательности выполняемых действий.

Условный блок обозначается ромбом, в который вписывается некоторое условие. Условный блок обозначается ромбом, в который вписывается некоторое условие. Поскольку результатом проверки условия может быть либо “да”, либо “нет” (“истина” или “ложь”, “0” или “1”), блок имеет два соответствующих этим ответам выхода.

Программа – описание структуры алгоритма на языке программирования. Программа – описание структуры алгоритма на языке программирования. Программирование включает в себя следующие виды работ: выбор языка программирования; уточнение способов организации данных; запись алгоритма на выбранном языке программирования

Трансляция - это перевод команд языка программирования в компьютерные двоичные коды. Трансляция - это перевод команд языка программирования в компьютерные двоичные коды. На этом этапе происходит проверка программы на ее соответствие правилам (синтаксису) языка программирования и при отсутствии синтаксических ошибок создается исполняемый файл программы

Тестирование - выполнение программы, проверка программы на наличие логических ошибок. Для этого нужно подобрать систему тестов (набор исходных данных с заранее известным результатом) и сравнить выдаваемые программой результаты с контрольными Тестирование - выполнение программы, проверка программы на наличие логических ошибок. Для этого нужно подобрать систему тестов (набор исходных данных с заранее известным результатом) и сравнить выдаваемые программой результаты с контрольными Отладка – проверка работы программы на контрольных примерах. Контрольные примеры – это различные (желательно все возможные) комбинации исходных данных. Контрольные примеры выбираются так, чтобы при работе были задействованы все ветви алгоритма

Программист запускает программу и задаёт исходные данные, требуемые по условию задачи. Программист запускает программу и задаёт исходные данные, требуемые по условию задачи. Постановщик задачи анализирует полученные результаты, на основании анализа принимаются решения, вырабатываются рекомендации, делаются выводы.

Мы рассмотрели Мы рассмотрели Основные парадигмы и технологии программирования Этапы решения задачи средствами вычислительной техники Понятие алгоритма и его свойства Способы записи алгоритмов