Информатика как научная дисциплина сформировалась в 1986 году по итогам Общего собрания Академии наук СССР. Опубликованные до его проведения статьи А.А. Дородницына [1] и А.П. Ершова [2] сформировали ее общую структуру в виде набора технических, программных и алгоритмических средств. Тогда же учебная дисциплина «Основы информатики и вычислительной техники» стала обязательным предметом во всех общеобразовательных школах Советского Союза [3]. В основу ее изучения было положено освоение методов создания программ на уже распространенных в то время языках высокого уровня, причем некоторые из них позволяли заниматься программированием даже без использования компьютеров [4]. Техническая составляющая дисциплины изучалась по мере появления аппаратной базы [5], а алгоритмической уделялось внимание только по мере необходимости в рамках решаемых прикладных задач. Понимание того, что информатика, как и любая другая наука, содержит теоретическую и прикладную составляющие пришло позднее [6], [7]. К. К. Колин, занимаясь вопросом структуризации предметной области информатики, предложил термином «информатика» обозначить «и компьютерную науку, и информационную науку, и всю область, связанную с использованием информационной техники и информационных технологий для социальных коммуникаций, проведения научных исследований, развития образования, экономики и культуры, а также всю информационную сферу деятельности, включая отрасль промышленного производства» [8].

Система среднего и высшего образования по мере своих сил, возможностей и заинтересованности строила свою работу на развитии уже имеющихся у нее результатов в преподавании составляющих информатики. Проводились исследования, ставившие своей целью создание единой технологии обучения [9], однако, многообразие решаемых прикладных задач заставило вводить определенную специализацию. Все это, в конечном итоге, привело к тому, что каждый начал учить информатике «по-своему», выделяя «важные» с его точки зрения составляющие и отбрасывая «лишнее». Попытка навести порядок в используемой технологии и методах привела к формированию некой системы теоретических, методологических и аксиологических установок, принятых в качестве образца решения научных задач и разделяемых всеми членами научного сообщества исторически  называемой парадигмой [10]. Как следствие, преподавание программирования как составляющей информатики начало сводиться к изучению совокупности идей и понятий, формирующих стиль написания программ с учетом набора инструментов программиста (языком программирования и используемыми библиотеками) в терминах логики алгоритма программы. Все это в конечном итоге получило название парадигм программирования [11].

В литературе обсуждается множество вариантов парадигм программирования. Статья [12] приводит результаты исследований отличий между интерпретируемым и компилируемым исполнением средств автоматизации программирования. В работе [13] отмечается существование парадигм императивного и декларативного программирования, а также еще целого ряда парадигм: процедурной, структурной, объектно-ориентированной, функциональной, продукционной (логической), сентенциальной, событийной, автоматной, распределенной (параллельной) и аспектно-ориентированной. Н. В. Шилов [14] указывает на существование языков последовательного императивного программирования, параллельного, декларативного (функционального), логического и объектно-ориентированного программирования. Императивная парадигма основывается на технологии решения задачи программирования в рамках классической структуры аппаратных средств Джона фон Неймана. Она предусматривает разработку последовательности действий процессора за счет использования компилятора типовых конструкций в виде последовательностей, ветвлений и циклов. Декларативная парадигма использует механизм вызова функций и, возможно, прерываний и предполагает объявление некой цели, достигаемой за счет подключения к программному уже готовых библиотечных программ. Как справедливо отмечает Ю. И. Бродский, императивная парадигма предназначена для создания «алгоритмов узнавания того, что мы не знаем непосредственно, но хотим и умеем (считаем, что умеем) узнавать» в то время как декларативная «естественна для описания наших знаний… того, что мы знаем наверняка» [15]. Как следствие, мы не можем отказаться от обучения ни первой, ни второй.

Параллельная парадигма связана с развитием аппаратной базы. «Методы автоматического распараллеливания программ способны обеспечить значительное ускорение вычислений, … сводимых к комплексу независимых процессов обработки элементов векторов» [16]. Как следствие, возникает целый комплекс самостоятельных педагогических задач [17]. Их решение во многом связано со сложившимися традициями в области программирования и требует отдельного изучения.

Список обсуждаемых парадигм программирования можно продолжить, однако очевидно, что большинство авторов выделяют императивное, декларативное и параллельное программирование. Л. В. Городняя утверждает, что в образовательной среде принято выделение в качестве фундаментальных парадигм «функционального, параллельного и императивно-процедурного программирования, а логическое и объектно-ориентированное относят к дополнительным парадигмам, преподавание которых обременено необходимостью знания некоторых предметных областей» [18]. К сожалению, устоявшегося коллективного мнения по этому вопросу нет. В то время изобилие парадигм программирования приводит и к многообразию языков. В связи с этим, возникает простой вопрос: а чему надо учить будущих программистов?

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

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