Содержание
- 2. Лекция 5 О схемах программ Схема проектирования цикла с помощью инварианта 14.04.2015 О схемах программ
- 3. Схема программы (Котов В.Е., Сабельфельд В.К. Теория схем программ. М.: Наука, 1991 – 248 с.) //
- 4. 14.04.2015 Схема программы // вычисление n! (n≥0) p = 1; k = n; while (k !=0)
- 5. Списки (напоминание) 14.04.2015 О схемах программ
- 6. 14.04.2015 Модельное представление линейного списка Скобочная запись: x = (a b c d e) или [a,
- 7. 14.04.2015 Функция-конструктор Cons (x, y) x = a - элемент базового типа, y = (b c
- 8. 14.04.2015 Иллюстрация Cons (Head (z), Tail (z)) = z Head(z) z Tail(z) Cons( Head(z),Tail(z) ) =
- 9. 14.04.2015 Функция-конструктор Cons(x, y) Пустой список : ( ) или Nil Cons (a, Nil) = Cons
- 10. list p, k, n ; pp = Nil; kk = Nil; g(x) = Tail (x); h(x,
- 11. 14.04.2015 Ручная прокрутка программы при n = (т о р г) // Программа: //вход – список
- 12. 14.04.2015 // вычисление n! (n≥0) p = 1; k = n; // inv: fct(k) *p =
- 13. Требования к инварианту и варианту цикла Интерпретация схемы: pp, kk – константы. h(x, y) = x
- 14. list p, k, n ; pp = Nil; kk = Nil; g(x) = Tail (x); h(x,
- 15. Инвариант интерпретации со списками Concat ((к а р), (т у з)) = (к а р т
- 16. Требования к варианту цикла v(k) ≡ length(k) ? 14.04.2015 О схемах программ
- 17. 14.04.2015 Картинки к телу цикла и к инварианту Reverse (n) = Concat (Reverse (k), p) k
- 19. Скачать презентацию