- арифметизация синтаксиса
- мат. syntax arithmetization
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
РЕКУРСИВНЫЕ ФУНКЦИИ И ПРЕДИКАТЫ — один из важнейших для оснований математики и математич. логики классов понятий, служащих уточнениями содержат. понятий эффективно вычислимой арифметической функции и эффективно разрешимого арифметического предиката, а в конечном счете, – и… … Философская энциклопедия
Германия — (лат. Germania, от Германцы, нем. Deutschland, буквально страна немцев, от Deutsche немец и Land страна) государство в Европе (со столицей в г. Берлин), существовавшее до конца второй мировой войны 1939 45. I. Исторический очерк … Большая советская энциклопедия
ВЫСКАЗЫВАНИЕ — грамматически правильное повествовательное предложение, взятое вместе с выражаемым им смыслом. В логике употребляется несколько понятий В., существенно различающихся между собой. Прежде всего это понятие дескриптивного, или о п и с а тельного,… … Философская энциклопедия