В любом языке программирования (во всяком случае из тех, которые я знаю или о которых слышал) есть возможность создавать подпрограммы. В Паскале (и его производных типа Delphi и Lazarus) подпрограммы делятся на функции и процедуры. Во многих других языках есть только функции. Но это не принципиально. Принципиально то, что в подпрограммы можно передавать параметры (или аргументы?). И эти параметры можно назвать формальными, а можно и фактическими. Честно говоря, для программиста-практика этого даже не надо знать...

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