суперпозиції
позднелат. superpositio, - накладення, від лат. superpositus - покладений наверх) (композиція) - операція логіко-математичного. обчислень, яка полягає в отриманні з до.-л. даних функцій f і g даного обчислення нової функції g (f) (вираз g (f (x)) означає при цьому результат застосування функціональної операції g до результату застосування функціональної операції f до аргументу x - при виконанні природ. умови, що область значень f включає в себе область визначення g, або, коротше, просто gf). С. полягає в повторному застосуванні о д н о м і т о й ж е функції (операції), наз. зазвичай і т е р а ц і е й цієї функції (операції). Так, операцію множення часто визначають через ітерацію операції додавання, операцію піднесення до степеня - через ітерацію операції множення і т.п. С. є осн. способом отримання формул різних обчислень виходячи з до.-л. переліку основних ( "елементарних") операцій. Так, з "елементарних висловлювань" А, В, С. логіки висловлювань і логічний. операцій. , / І. отримують за допомогою С. формули А, A / B, A / B. C, (А / В. С) А і т.д. і т.п. При описі деяких обчислень операцію С. явно включають в число допустимих способів утворення виразів обчислення у вигляді т.зв. (Регулярної) схеми С. або п о д с т а н о в к и; см. Рекурсивні функції і предикати. Ю. Гаст. Москва.
↑ Відмінне визначення
Неповне визначення ↓