2014 dxdy logo

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

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




На страницу Пред.  1, 2
 
 Re: Ассоциативность
Сообщение07.02.2012, 08:54 
Аватара пользователя
Ну в общем это все примерно подобные рассуждения, конкретные детали можно выбирать как кому ближе.
Добавлю еще, что в моем рассуждении к обеим внешним скобкам уже применимо предположение индукции, поэтому в них можно расставлять порядок операций так, как удобно для выбранного метода рассуждения.

 
 
 
 Re: Доказать ассоциативность для любого количества переменных
Сообщение17.01.2015, 03:03 
Аватара пользователя
Извините заранее за некромантию.
Мне потребовалась весьма строгая формализация этого доказательства, и возник вопрос: почему для любого количества переменных существует последнее ("внешнее") вхождение символа операции? Иными словами, почему для любого n любая расстановка скобок представима в виде
$(x_1...x_k)(x_{k+1}...x_n)$
для некоторого k?

Тут или я туплю совсем в плане определения того, что значит "быть представимым в данном виде", или реально нужен совет.

 
 
 
 Re: Доказать ассоциативность для любого количества переменных
Сообщение17.01.2015, 05:15 
Потому что операция бинарная.

 
 
 [ Сообщений: 18 ]  На страницу Пред.  1, 2


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