Cтраница 2
Математическое обеспечение конкретных систем ( К-систем), формируемое из математического обеспечения Т - системы, по степени унификации применяемых программных средств может быть разделено на четыре части. [16]
Существуют ли с точки зрения К-систем какие-либо другие множества. [17]
Затраты на остальные компоненты стоимости К-систем типа Каскад, определяемые организационными факторами, различны для разных объектов. [18]
Теорема 8.12. Если в некоторой К-системе для некоторого слова а справедлива антиномия а истинно тогда и только тогда, когда а ложно, то эта К-система неполна. [19]
Из этой теоремы следует, что К-системы являются нетривиальным расширением класса финитных формальных систем. Интуитивная выразительность К-систем подтверждается математически. [20]
Однако первые же попытки программной реализации К-систем в виде языка программирования К выявили недостаточность первоначальных наивных представлений о семантике исключений из правил. Оказалось что интуиция не позволяет описать семантику даже простейших К-прог-рамм, состоящих всего из одного - двух простых правил. Это происходило в тех случаях, когда программировались ситуации, аналогичные известным парадоксам теории множеств. При этом возникали разного рода порочные круги и было совершенно непонятно как должен вести себя в подобных ситуациях интерпретатор языка К. [21]
С точки зрения энтропийной теории противоположными К-системам свойствами обладают системы с нулевой энтропией, для них энтропийная теория гораздо менее содержательна, чем для систем с положит, энтропией. К этому классу относятся все системы с дискретным спектром, но в нем встречаются перемешивающие системы и даже системы с таким же, как у К-систем, счетнократным лебеговским спектром. [22]
Теорема 4.5. Обратимая динамическая система является К-системой тогда и только тогда, когд а ее разбиение Пинскера тривиально, или, что равносильно, тогда и только тогда, когда она имеет вполне положительную энтропию. [23]
Полученные результаты убеждают в высоких выразительных возможностях К-систем. [24]
Но предварительно надо найти индукцию В в К-системе на том же расстоянии от пучка, где задана напряженность К. [25]
Покажите, что слово А неразрешимо в соответствующей К-системе. Аналогично, заменяя Пролог-отрицание знаком е, представьте программу из примера 6.2 в виде К-системы и исследуйте ее. [26]
Таким образом, в противоположность финитным формальным системам К-системы достаточны для представления интуитивной неформальной арифметики. При этом, из непротиворечивости К-систем и полноты множества АО следует непротиворечивость и полнота неформальной арифметики - всякая замкнутая арифметическая формула либо истинна, либо ложна. [27]
Докажите, что операционная семантика Пролога согласуется с семантикой К-систем: если операционная семантика позволяет вычислить для запроса а. ДА или НЕТ, то в К-системе, соответствующей данной Пролог-программе ( отрицание заменено на в), слово а истинно, если ответ ДА, и ложно, если ответ НЕТ. [28]
Заряженная частица покоится между полюсами магнита, неподвижного в К-системе отсчета. Можно ли утверждать, что в К - системе заряженная частица движется в магнитном поле. [29]
Обозначим через X класс всех К-множеств, представимых в К-системах с рассматриваемым в этой главе вариантом отношения исключения. [30]