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

Нормализаторы общей стандартизации

2012-12-31 15:59:35 (читать в оригинале)

Нормализаторы общей стандартизации вводятся практически для всех функциональных логических символов; иногда — также для предикатных символов. Они обеспечивают простейшую стандартизацию выражений, заголовком которых служат соответствующие символы. Все такие нормализаторы — корневые, то есть их приемы могут заменить только весь преобразуемый терм целиком. За редкими исключениями, нормализаторы общей стандартизации не должны вводить новых выражений, требующих специального [...]