Язы́к программи́рования — формальный язык, предназначенный для записи компьютерных программ. Язык программирования определяет набор лексических, синтаксических и семантических правил, определяющих внешний вид программы и действия, которые выполнит исполнитель под её управлением.
Паска́ль — один из наиболее известных языков программирования, используется для обучения программированию в старших классах и на первых курсах вузов, является основой для ряда других языков.
Сильная и слабая типизация или строгая и нестрогая типизация — характеристика системы типов языка программирования, отражающая существенные ограничения на приведение типов при присваиваниях и операциях. Языки, в которых такие ограничения менее строгие, называют — слабо типизированными.
Система типов — совокупность правил в языках программирования, назначающих свойства, именуемые типами, различным конструкциям, составляющим программу — таким как переменные, выражения, функции или модули. Основная роль системы типов заключается в уменьшении числа багов в программах посредством определения интерфейсов между различными частями программы и последующей проверки согласованности взаимодействия этих частей. Эта проверка может происходить статически или динамически, а также быть комбинацией обоих видов.
Программи́рование — процесс создания и модификации компьютерных программ.
Алго́л — название ряда языков программирования, применяемых при составлении программ для решения научно-технических задач на ЭВМ. Разработан комитетом по языку высокого уровня IFIP в 1958-1960 годах. Кардинально переработан в 1964-1968 годах. Один из первых языков высокого уровня. Был популярен в Европе, в том числе в СССР, в качестве языка как практического программирования, так и академического языка, но в США и Канаде не смог превзойти распространённый там Фортран. Оказал заметное влияние на все разработанные позднее императивные языки программирования — в частности, на язык Pascal.
Глаго́л — самостоятельная часть речи, которая обозначает состояние или действие предмета и отвечает на вопросы что делать? что сделать?.
Процеду́рное программи́рование — программирование на императивном языке, при котором последовательно выполняемые операторы можно собрать в подпрограммы, то есть более крупные целостные единицы кода, с помощью механизмов самого языка.
Уче́бный алгоритми́ческий язы́к — формальный язык, используемый для записи, реализации и изучения алгоритмов. В отличие от большинства языков программирования, не привязан к архитектуре компьютера, не содержит деталей, связанных с устройством машины.
Андре́й Петро́вич Ершо́в — советский учёный, один из пионеров теоретического и системного программирования, создатель Сибирской школы информатики, академик АН СССР. Его работы оказали огромное влияние на формирование и развитие вычислительной техники не только в СССР, но и во всём мире.
Уче́бный язы́к программи́рования — язык программирования, предназначенный для обучения. В качестве таковых разрабатывались такие языки как BASIC и Паскаль. Из разработанного для обучения языка ABC вырос Python. Популярным языком, разработанным специально для образования является LOGO. Специально для российских школ разработана языковая среда КуМир. Набирает популярность созданный в Массачусетском технологическом институте язык визуального программирования Scratch и тому подобные среды программирования.
Вале́рий Никола́евич Аши́хмин — российский учёный и программист, специализирующийся в области механики деформируемого твёрдого тела (МДТТ), мезомеханики, и численных методов МДТТ. Автор учебных пособий по математическому моделированию и программированию.
Псевдоко́д — компактный, зачастую неформальный язык описания алгоритмов, использующий ключевые слова императивных языков программирования, но опускающий несущественные для понимания алгоритма подробности и специфический синтаксис. Предназначен для представления алгоритма человеку, а не для компьютерной трансляции и последующего исполнения программы.
Николай Павлович Трифонов — математик, профессор кафедры алгоритмических языков факультета ВМК МГУ имени М. В. Ломоносова.
Дружелюбный русский алгоритмический язык, который обеспечивает наглядность — визуальный алгоритмический язык программирования и моделирования.
Google Code Jam — международное соревнование по программированию, проводимое Google. Ведёт историю с 2003 года, как средство для выявления лучших умов для возможной работы в Google. Соревнование состоит из набора алгоритмических задач, которые должны быть решены за фиксированное время. В отличие от большинства соревнований по программированию, участники могут использовать любой язык программирования и среду разработки для решения задачи.
В императивном программировании порядок выполнения — это способ упорядочения инструкций программы в процессе её выполнения.
Юлий Лазаревич Кетков — советский и российский учёный, доктор технических наук, профессор кафедры математического обеспечения ЭВМ факультета вычислительной математики и кибернетики (ВМК) ННГУ, заведующий лабораторией математического обеспечения ЭВМ НИИ прикладной математики и кибернетики, лауреат премии Совета Министров СССР в области кибернетики, действительный член Международной академии информатизации, член-корреспондент Академии инженерных наук РФ.
Декларати́вное программи́рование — парадигма программирования, в которой задаётся спецификация решения задачи, то есть описывается ожидаемый результат, а не способ его получения. Противоположностью декларативного является императивное программирование, при котором на том или ином уровне детализации требуется описание последовательности шагов для решения задачи. В качестве примеров декларативных языков обычно приводят HTML и SQL.
Процедурно-ориентированный алгоритмический язык программирования высокого уровня АЛГЭМ предназначался его создателем Анатолием Ивановичем Китовым для программирования большого класса информационно-логических задач, прежде всего экономических. Первая версия АЛГЭМа была создана А. И. Китовым в НИИ автоматической аппаратуры МРП, в котором в середине 1960-х годов он работал зам. дирекотора по научной работе, группой его учеников на базе универсального языка АЛГОЛ–60. Вскоре, под его руководством был разработан и запущен в эксплуатацию соответствующий транслятор, позволявший переводить написанные на АЛГЭМе программы в машинные коды ЭВМ «Минск-22». АЛГЭМ был самостоятельным языком программирования и по сравнению со своим предшественником АЛГОЛом имел принципиальные отличия, обеспечившие высокую эффективность и простоту его использования и освоения. В частности, к новому качеству этого языка привело введение А. И. Китовым нового вида переменных и массивов. АЛГЭМ имел возможность работать не только с числовыми данными, но и с символьной информацией, с которой оперируют ИПС и АСУ. Принципиальным нововведением в АЛГЭМе стала возможность использовать строчные переменные, содержащие любые символы — буквы, цифры и знаки, над которыми можно было производить различные логические и арифметические операции. Также, А. И. Китов ввел и составные переменные, которые включают в себя и символьную информацию, и числовую. Эти переменные нового типа стало возможным объединять как в строчные, так и в составные массивы, что просто необходимо для решения как экономических, так и управленческих (нечисловых) задач. Последние, как известно, используют громадные информационные массивы. Для своего времени АЛГЭМ был серьезным прорывом в области развития алгоритмических языков программирования высокого уровня.
