- частичная формализация
- мат. partial formalization
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
Алгоритм — У этого термина существуют и другие значения, см. Алгоритм (значения). Для улучшения этой статьи желательно?: Переработать оформление в соответствии с правил … Википедия
Аксиоматический метод — способ построения научной теории, при котором в её основу кладутся некоторые исходные положения (суждения) аксиомы (См. Аксиома), или Постулаты, из которых все остальные утверждения этой науки (теоремы (См. Теорема)) должны выводиться… … Большая советская энциклопедия
ЕСТЕСТВЕННАЯ ТЕОЛОГИЯ — [лат. theologia naturalis], термин, очерчивающий особую область философско богословских размышлений и исследований, общей характерной чертой к рых является признание в качестве отправного факта того, что всякий человек естественным образом… … Православная энциклопедия