Отправлено net 03 марта 2003 г. 10:56 В ответ на: Ну почти все правильно :-) отправлено none 03 марта 2003 г. 00:07

я согласен с вами что диспут носит беспредметный разговор ;-)
могу только сказть вот что
наши логики теоретики которы делают математику из которой потом программеры делают программу еще не разработали приемлемые методы декомпозиции логики в базис технических средств - а делают просто оптимизацию полученных выражений если немного применит человеческого для обозначения компьютеру рамок оптимизации то и получится нормальный результат
вы конечно совершенно правы что говорить о торжестве компа еще увы рано - постановка задачи идет от человека и во входной спецификации всегда присутствует больше чем надо по решению задачи отсюда всевозможные проблемы.

вообщем согласен я с вами целиком -)))