Программирование (англ. programming) — совокупность процессов, связанных с разработкой программ и их реализацией. В широком смысле к указанным процессам относят все технические операции необходимые для создания программ, включая анализ требований, все стадии разработки, а также реализации в виде готового программного продукта. В узком смысле под программированием понимают только процессы выбора структуры, кодирования и тестирования программ. Существует также понятие математического программирования, которое относится к разделу прикладной математики, исследующей проблемы оптимизации решения различных задач человеческой деятельности (в том числе — управления, проектирования, планирования). В зависимости от назначения и/или способа написания программ различают:
Прикладное программирование (англ. application programming) — разработка и отладка программ для конечных пользователей, например, бухгалтерских, обработки текстов;
системное программирование (англ. system programming) — разработка средств общего программного обеспечения, в том числе операционных систем, вспомогательных программ, пакетов программ общесистемного назначения, например, автоматизированных систем управления, систем управления базами данных;
Декларативное программирование (логическое программирование, продукционное программирование; англ. declarative programming, logical programming) — метод программирования, предназначенный для решения задач искусственного интеллекта. В этом контексте программа описывает логическую структуру решения задачи, указывая преимущественно, что «нужно сделать», не вдаваясь в детали «как это делается». В декларативном программировании используются языки программирования типа Пролог;
параллельное программирование (англ. concurrent programming) — разработка программ, обеспечивающих одновременное (параллельное) выполнение операций, связанных с обработкой данных;
Процедурное программирование (процедурно-ориентированное программирование, англ. procedure-oriented programming) — метод программирования, в соответствии с которым программы пишутся как перечни последовательно выполняемых команд. При этом используется процедурно-ориентированные языки программирования;
Структурное программирование (модульное программирование, англ. structured programming, modular programming) — метод написания программ небольшими самостоятельными частями — модулями, каждый из которых связан с определенной процедурой или функцией. При этом результирующая программа организуется в виде совокупности взаимосвязанных по определенным правилам модулей. Это упрощает разработку сложных программных продуктов и их тестирование. Структурное программирование реализуется языками Паскаль и Оберон;
Функциональное программирование (англ. functional programming) — метод программирования, основанный на разбиении алгоритма решения задачи на отдельные функциональные модули, а также описании их связей и характера взаимодействия. Для данного вида программирования используются языки HOPE и ML. Элементы функционального программирования реализуются также другими языками, например Си;
Эвристическое программирование (англ. heuristic programming) — метод программирования, основанный на моделировании мыслительной деятельности человека; используется для решения задач, не имеющих строго формализованного алгоритма или связанных с неполнотой исходных данных;
Объектно-ориентированное программирование (объектное программирование, ООП; англ. Object-Oriented Programming, OOP) — метод программирования, основанный на использовании концепции объекта, абстрагирующего конкретные его реализации в предметной области.
системное программирование (англ. system programming) — разработка средств общего программного обеспечения, в том числе операционных систем, вспомогательных программ, пакетов программ общесистемного назначения, например, автоматизированных систем управления, систем управления базами данных;
Декларативное программирование (логическое программирование, продукционное программирование; англ. declarative programming, logical programming) — метод программирования, предназначенный для решения задач искусственного интеллекта. В этом контексте программа описывает логическую структуру решения задачи, указывая преимущественно, что «нужно сделать», не вдаваясь в детали «как это делается». В декларативном программировании используются языки программирования типа Пролог;
параллельное программирование (англ. concurrent programming) — разработка программ, обеспечивающих одновременное (параллельное) выполнение операций, связанных с обработкой данных;
Процедурное программирование (процедурно-ориентированное программирование, англ. procedure-oriented programming) — метод программирования, в соответствии с которым программы пишутся как перечни последовательно выполняемых команд. При этом используется процедурно-ориентированные языки программирования;
Структурное программирование (модульное программирование, англ. structured programming, modular programming) — метод написания программ небольшими самостоятельными частями — модулями, каждый из которых связан с определенной процедурой или функцией. При этом результирующая программа организуется в виде совокупности взаимосвязанных по определенным правилам модулей. Это упрощает разработку сложных программных продуктов и их тестирование. Структурное программирование реализуется языками Паскаль и Оберон;
Функциональное программирование (англ. functional programming) — метод программирования, основанный на разбиении алгоритма решения задачи на отдельные функциональные модули, а также описании их связей и характера взаимодействия. Для данного вида программирования используются языки HOPE и ML. Элементы функционального программирования реализуются также другими языками, например Си;
Эвристическое программирование (англ. heuristic programming) — метод программирования, основанный на моделировании мыслительной деятельности человека; используется для решения задач, не имеющих строго формализованного алгоритма или связанных с неполнотой исходных данных;
Объектно-ориентированное программирование (объектное программирование, ООП; англ. Object-Oriented Programming, OOP) — метод программирования, основанный на использовании концепции объекта, абстрагирующего конкретные его реализации в предметной области.