Заголовок процедуры вычисления наибольшего общего делителя может быть описан так:  procedure nod (a, b:integer; var c:integer);  Вариант вызова процедуры:nod (60, 23, z) 1)в качестве параметров-значений использованы выражения2)в качестве параметров-значений использованы имена переменных 3)в качестве параметров-значений использованы константы​

Модели объектов и процессов можно разбить на пять групп: вербальные, математические, кибернетические, табличные, графические.

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

Кибернетические модели — это модели, использующие принцип «чёрного ящика». О внутреннем содержании этого состояния можно судить, подавая сигналы на вход «ящика» и наблюдая его реакцию на выходе из «ящика».

В группу табличных информационных моделей попадают электронные таблицы видов «объект - свойство», «объект - объект» и «двоичная матрица». В каждой строке таблицы «объект - свойство» содержится информация об одном объекте или одном событии. В таблицах «объект - объект» отображаются взаимосвязи между разными объектами. В таблицах «двоичная матрица» отображается качественный характер связи между объектами.

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