Рефераты | Рефераты по информатике, программированию | Семантика оператора “case” | страница реферата 4 | Большая Энциклопедия Рефератов от А до Я
Большая Энциклопедия Рефератов от А до Я
  • Рефераты, курсовые, шпаргалки, сочинения, изложения
  • Дипломы, диссертации, решебники, рассказы, тезисы
  • Конспекты, отчеты, доклады, контрольные работы


    • Рефераты | Рефераты по информатике, программированию | Семантика оператора “case”


    Рефераты | Рефераты по информатике, программированию | Семантика оператора “case”

    Семантика оператора “case”




    Категория реферата: Рефераты по информатике, программированию
    Теги реферата: социально реферат, банк курсовых
    Добавил(а) на сайт: Лыков.



    Предыдущая страница реферата | 1  2  3  4  5 |



    означает Рефераты | Рефераты по информатике, программированию | Семантика оператора “case”.

    Для цикла из примера 10.1, приведенному на рис. 11.3, инвариант выглядит так:

    P: s=(Pk: 1£k0 обеспечивает проверку исходных данных на соответствие предусловию программы. Поэтому, после строки 5 мы можем быть уверены, что любое состояние, полученное в этой точке, будет удовлетворять предикату, написанному в виде комментария - {(nÎ N)Ù(n>0)}.

       Комментарий в конце 7 строки определяет состояния вычислительного процесса непосредственно перед входом в цикл. Комментарий после заголовка цикла (строка 8) - { s=Sk : 0 0) = ?

    b then a:=a-b else

              if b

    2. if i=0 then j:=0 else j:=r;

    {?}

    wp (S6 , x £ y) = ?

    S6: if x > y then begin t:=x;x:=y;y:=t

                                                 end;

       {i=n Ù j=m}

       if i=0 then j:=0;

    {?}

    Вычислить:

    wp(x:=2*y+3, х=13)

    wp(x:=х+y, х0, b=0}

    Цикл.

    Проверка цикла.

    Доказать, что Р до входа в цикл

    "i: 1 £ i £ n :  {PÙBi} S {P}

    PÙØBBÞR

    Доказать,что в следующих циклах Р - инвариант и цикл заканчивается в нужном состоянии R:

    1.

    {0 £ n }

    i:=0 ;


    Рекомендуем скачать другие рефераты по теме: решебник 10 класс, деятельность доклад.



    Предыдущая страница реферата | 1  2  3  4  5 |




    Поделитесь этой записью или добавьте в закладки

       

    Категории:



    Разделы сайта




    •