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

решения вспомогательной задачи. Форматно раскроечные станки mj

2013-04-22 15:11:50 (читать в оригинале)

Он сопровождается дополнением «удалениепосылок(хЗ входит(.г хЗ))», отбрасывающим из контекста применения приема все утверждения с х. Применение его происходит путем решения вспомогательной задачи на описание, условиями ко¬торой служат условия принадлежности классу, посылками — урезанный указанным образом контекст, а неизвестной — х, причем эта задача решается до максимального уровня 6. Ответ задачи и берется в качестве результата [...]