Сообщение Re[4]: «Механизм функций основательно изучен математиками» от 10.06.2023 15:14
Изменено 10.06.2023 15:30 Эйнсток Файр
Re[4]: «Механизм функций основательно изучен математиками»
ЭФ>> Этот раздел как называется?
lpd> мат. логика
Ну хорошо, что же математики там наизучали про функцию?
Перечисли, пожалуйста, основные понятия и достигнутые математиками результаты.
«Математики изучают свойства композиции функций, то есть способа (одного единственного!) создания новой функции, объединяя две или более других функций»
— асоциативность
— некоммутативность
— идентичность
— обратимость
(ну и что? Что на практике из этого можно сделать/извлечь?)
«Математики изучают (зачем это надо программистам-не-криптографам?) условия, при которых функция имеет обратную функцию, а так же способы нахождения обратной функции»
lpd> мат. логика
Ну хорошо, что же математики там наизучали про функцию?
Перечисли, пожалуйста, основные понятия и достигнутые математиками результаты.
«Математики изучают свойства композиции функций, то есть способа (одного единственного!) создания новой функции, объединяя две или более других функций»
— асоциативность
— некоммутативность
— идентичность
— обратимость
(ну и что? Что на практике из этого можно сделать/извлечь?)
«Математики изучают (зачем это надо программистам-не-криптографам?) условия, при которых функция имеет обратную функцию, а так же способы нахождения обратной функции»
Re[4]: «Механизм функций основательно изучен математиками»
ЭФ>> Этот раздел как называется?
lpd> мат. логика
Ну хорошо, что же математики там наизучали про функцию?
Перечисли, пожалуйста, основные понятия и достигнутые математиками результаты.
«Математики изучают свойства композиции функций, то есть способа (одного единственного!) создания новой функции, объединяя две или более других функций»
— асоциативность
— некоммутативность
— идентичность
— обратимость
(ну и что? Что на практике из этого можно сделать/извлечь для доказательства корректности, а не для оптимизации кода)
«Математики изучают (зачем это надо программистам-не-криптографам?) условия, при которых функция имеет обратную функцию, а так же способы нахождения обратной функции»
lpd> мат. логика
Ну хорошо, что же математики там наизучали про функцию?
Перечисли, пожалуйста, основные понятия и достигнутые математиками результаты.
«Математики изучают свойства композиции функций, то есть способа (одного единственного!) создания новой функции, объединяя две или более других функций»
— асоциативность
— некоммутативность
— идентичность
— обратимость
(ну и что? Что на практике из этого можно сделать/извлечь для доказательства корректности, а не для оптимизации кода)
«Математики изучают (зачем это надо программистам-не-криптографам?) условия, при которых функция имеет обратную функцию, а так же способы нахождения обратной функции»