Компью́терная програ́мма — последовательность инструкций, предназначенных для исполнения устройством управления вычислительной машины. Программа — один из компонентов программного обеспечения. В зависимости от контекста рассматриваемый термин может относиться также и к исходным текстам программы. Компьютерные программы как объект авторского права и других прав интеллектуальной собственности относится к категории нематериальных активов.
Программи́рование — процесс создания программ, в том числе компьютерных программ. Компьютерное программирование делится на две основные стадии: алгоритмизация — разработка общего метода решения задачи и кодирование — написание инструкций (программ) на конкретном языке программирования (часто по уже имеющемуся алгоритму — плану, методу решения поставленной задачи).
Три́ггер — это хранимая процедура особого типа, которую пользователь не вызывает непосредственно, а исполнение которой обусловлено действием по модификации данных: добавлением INSERT, удалением DELETE строки в заданной таблице, или изменением UPDATE данных в определенном столбце заданной таблицы реляционной базы данных. Триггеры применяются для обеспечения целостности данных и реализации сложной бизнес-логики. Триггер запускается сервером автоматически при попытке изменения данных в таблице, с которой он связан. Все производимые им модификации данных рассматриваются как выполняемые втранзакции, в которой выполнено действие, вызвавшее срабатывание триггера. Соответственно, в случае обнаружения ошибки или нарушения целостности данных может произойти откат этой транзакции
Формализация знаний - способ выражения содержания совокупности знаний через опреленную форму — знаки искусственного языка. Наиболее значимой разновидностью Ф. является логическая Ф. , которая означает выражение мысленного содержания посредством логических форм.
ЭВМ (электронно-вычислительная машина) (или компьютер) — это аппаратно-программное вычислительное устройство, реализованное на электронных компонентах и выполняющее заданные программой действия. Термин ЭВМ сегодня практически не применяется, кроме как в историческом смысле.