2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




 
 "Нестандартные" обозначения
Сообщение20.10.2009, 16:52 
Меня интересуют обозначения наподобие скобок Айверсона, которые редки, но помогают уменьшать длину формул.

Вот, например, нет никакого обозначения для функции, которая появляется в формуле один раз (мне, например, отсутствие такого общепринятого обозначения осложняет упросить запись, например, производной композиции функций, когда функций много и легко ошибиться:
$u(x) = \cos x;\quad v(x) = x^4  + a;\quad w(x) = e^x $
$(f(\cos (e^{4x}  + a)))' = (f \circ u \circ v \circ w)' =  \ldots $
не люблю вводить лишние обозначения, мне бы лучше что-то вида
$(f \circ \cos \, \circ x \mapsto x^4  + a \circ x \mapsto e^x )' =  \ldots $). Показанное обозначение крайне неловкое, может, есть что-нибудь получше типа $\left( {\square ^4  + a} \right)$?

Ведь есть же временное обозначение при вычислении определённых интегралов (и, может, ещё каких-нибудь разностей при большом количестве подформул): $\left. {u(x)} \right|_a^b  = u(b) - u(a)$. Я тоже говорю о временном обозначении, потому как такие анонимные функции в окончательном результате совершенно никаких плюсов никому не дают.

 
 
 
 Re: "Нестандартные" обозначения
Сообщение21.10.2009, 09:54 
$(\lambda x.x^4+a)$

 
 
 
 Re: "Нестандартные" обозначения
Сообщение21.10.2009, 16:01 
Неужели лямбда-исчисление так удобно для представления временных формул? :o

 
 
 
 Re: "Нестандартные" обозначения
Сообщение21.10.2009, 17:03 
Лямбда-исчисление невероятно удобно, но пользуются им, почему-то, немногие.

 
 
 
 Re: "Нестандартные" обозначения
Сообщение21.10.2009, 18:09 
Ну, ведь мало кто о нём знает... И мало кто его достаточно хорошо понимает, боюсь :oops:

 
 
 [ Сообщений: 5 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group