Cтраница 4
Термины исключительная неустойка и зачетная неустойка, к примеру, были введены в практический обиход В.К. Райхером лишь в 1955 г. 2 Выделение зачетной, штрафной, исключительной и альтернативной неустоек носит чисто прикладной характер и является не более чем технической подробностью правоприменительной практики. Предпринимавшиеся в юридической литературе попытки придать указанной классификации неустоек сущностный характер и определить сферы правоотношений, где целесообразно применение того или иного вида неустоек, представляются неоправданными. Данное утверждение, видимо, можно расценивать лишь как пожелание законодателю умерить свой пыл при установлении законных неустоек, ограничив сферу их применения лишь случаями грубых нарушений договорных обязательств. [46]
Принципы подготовки студентов МФТИ в этой области заключаются в углубленном изучении принципов организации вычислительного процесса в цифровых вычислительных машинах ( ЦВМ) и приобретении навыков уверенного применения универсальных языков программирования для описания алгоритма решения задачи на вычислительных машинах, оставляя, быть может, в стороне чисто технические подробности об устройстве различных узлов и агрегатов ЦВМ. Именно в этом ключе и ведется изложение материала. [47]
Языки представления знания являются языками высокого уровня, специально предназначенными для кодирования в явном виде фрагментов знаний человека, таких как правила влияния и набор свойств типовых объектов, причем высокий уровень языка проявляется в том, что от пользователя скрываются, насколько это возможно, технические подробности механизма представления знаний. Конечно, пользователь при желании может познакомиться со всеми деталями, но идея состоит в том, что это совсем не обязательно делать в процессе разработки программы. В отличие от более привычных языков программирования, языки представления знаний исключительно экономичны в смысле объема программного кода. В значительной мере это объясняется тем, что заботу о множестве мелочей берет на себя интерпретатор языка. Можно показать, что большинство из них обладает всеми признаками машины Тьюринга, другими словами, такие интерпретаторы теоретически способны выполнять любые вычисления, которые под силу машине, реализующей программу, написанную на любом из обычных языков программирования. [48]
Поскольку опубликовано уже множество трудов и многие компетентные отрасли специальных научных и технических дисциплин постоянно способствуют дальнейшему расширению этой в высшей степени плодотворной области информации по вопросам изоляции поверхностей от окружающей среды, катодной защиты и анодной поляризации, а также воздействия на среду, то нет никакой необходимости перегружать эту главу техническими подробностями. [49]