- формальные выкладки
- мат. formal manipulation
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
ЛОГИСТИКА — в нач. 20 в. название логики, изучаемой математическими методами, в частности, с использованием аксиоматизации и формализации. Слово «Л.» первоначально означало искусство вычисления или обычную арифметику. Г. Лейбниц употреблял его для… … Философская энциклопедия