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

Этот стиль программирования принято называть Императивным
Программируя в императивном стиле, программист должен объяснить компьютеру, как нужно решать задачу.

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

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


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


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

Машинно-ориентированные языки – это языки, наборы операторов и изобразительные средства которых существенно зависят от особенностей ЭВМ (внутреннего языка, структуры памяти и т.д.). Машинно-ориентированные языки позволяют использовать все возможности и особенности машинно-зависимых языков :

Высокое качество создаваемых программ
Возможность использования конкретных аппаратных ресурсов
Предсказуемость конкретного кода
Для составления эффективных программ необходимо знать систему команд и особенности функционирования данной ЭВМ
Трудоемкость процесса составления программ плохо защищенного от появления ошибок
Низкая скорость программирования
Невозможность непосредственного использования программ, составленных на этих языках, на ЭВМ других типов
Машинно-независимые языки
- это средство описания алгоритмов решения задач и информации, подлежащих обработке
Программы, составляемые на таких языках, представляют собой последовательности операторов, структурированные согласно правилам рассматривания языка. Имеется возможность не расписывать в деталях вычислительный процесс на уровне машинных команд, а сосредоточится на основных особенностях алгоритма.
Проблемно-ориентированные языки
Нацелены на решение определенного вида задач :
Фортран, Алгол – для математических задач
Simula, Слэнг – для моделирования
Липс, Снобол – для списочных структур

Универсальные языки
Применяются для широкого круга задач : коммерческих, научных, моделирования и т.д.

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

Непроцедурные языки
- группа языков, описывающих организацию данных, обрабатываемых по фиксированным алгоритмам, и языков связи с операционными системами


Система программирования – это система для разработки новых программ на конкретном языке программирования. В них входят :
Компилятор и интерпретатор
«дружественная» интегрированная среда разработки
Средства создания и редактирования текстов и программ
Обширные библиотеки стандартных программ и функций
Отладочные программы
Многооконный режим работы
Мощные графические библиотеки
Утилиты для работы с библиотеками
Встроенный ассемблер
Встроенная справочная служба