Cтраница 1
Смысл программы из примера 9.51 определяется множеством Pi Q. Li n t Qi n t ai n t p, если используется классическое отрицание, и множеством g, not р, not - p, not - д, not a, not - a, если используется сильное отрицание. [1]
Смысл программы Р определяется пересечением всех моделей. [2]
Смысл программы состоит в том, чтобы поощрять частных лиц с высокими доходами на подписку новых полных риска обыкновенных акций в частных производственных компаниях. При этом акции обычно должны оставаться у своего владельца, по крайней мере, пять лет, чтобы принести ему полное налоговое освобождение. В случае владения акциями в течение оговоренного срока он, как правило, не платит налог на прирост капитала со всей полученной от инвестиций прибыли. В случае, если инвестор несет убытки от недополучения дохода на вложенный капитал ( за вычетом первоначального налогового освобождения), они будут компенсироваться из налогооблагаемого дохода или из прибылей, полученных где-то еще, подлежащих обложению налогом на прирост капитала. Данная программа также предлагает некоторые переходящие освобождения от налога на прирост капитала для инвесторов, которые вкладывают поступления от других прибыльных капиталовложений в инвестиции EIS или которые получили деньги от одного из вложений в рамках программы EIS и реинвестировали их в другое предприятие. [3]
Иногда для лучшего восприятия смысла программы представляется удобным разбивать последовательности операторов на группы, имеющие определенную смысловую нагрузку, и сопровождать их комментарием. [4]
Символьное имя ЧислоСтрок помогает понять смысл программы. [5]
В большинстве задач вычислительного характера смысл программы состоит в том, чтобы в процессе ее выполнения определенным переменным были присвоены те или иные значения в соответствии с алгоритмом решаемой задачи. [6]
Эта тирада точно выражает весь дух и весь смысл ларинской программы и всех ликвидаторских писаний Нашей Зари, Возрождения, Дела Жизни и проч. [7]
Одной из главньвс трудноотеЙ1прн доказательстве правильности программ является выделение смысла программы из написанных программистом императивов. [8]
Существует четыре способа включения в программы примечаний-текста, поясняющего людям смысл программы и отдельных ее частей, но не принимаемого во внимание при выполнении программы. [9]
Существует четыре способа включения в программы примечаний - текста, поясняющего людям смысл программы и отдельных ее частей, но не принимаемого во внимание при выполнении программы. [10]
В программу АЛГОЛа можно включать примечания ( comment), которые поясняют смысл программы и отдельных ее частей: транслятор не включает этот текст в машинную программу. Однако при написании примечаний необходимо выполнять следующее правило. [11]
Оба пакета - и пакет длинной арифметики, и упакованных булевских - затемняют смысл программы. [12]
Подчеркнем, что МНРО-программа Р не содержит никакой конкретной функции х - Поэтому смысл программы Р меняется в зависимости от того, какая функция заключена в оракуле. [13]
Перед нами стоит следующая задача: Найти такую семантику, которая подходящим образом определяла бы смысл программ. Эта семантика использует два вида отрицания: явное и неявное. В результате возникают противоречия, для которых требуется специальная обработка. Например, разрешается принимать не все предположения по умолчанию, а только те, которые не приводят к противоречию. [14]
Понятие выпуклого множества К сг Л, как и понятие аффинного подпространства, относится в смысле Эрлангенской программы Клейна к аффинной геометрии. [15]