Типы функций в математике: статические и логические