Сomparison-line Голосов: 1 Адрес блога: http://comparison-line.ru Добавлен: 2010-11-26 13:42:23 блограйдером kottx

В заключение рассмотрим геометрический синтезатор

2013-02-01 02:51:52 (читать в оригинале)

В заключение рассмотрим геометрический синтезатор «вычислениедлины», который используется для вычисления длины некоторого расстояния. Он несколько отличается от разобранных выше, так как результатом его применения служит не выражение для искомого расстояния, а лишь конъюнкция соотношений, из которых такое расстояние может быть найдено. Синтезаторы этого типа обычно используются в контексте вывода следствий при анализе некоторой системы утверждений [...]