Доказательство корректности фрагментов программ с массивами

Нажмите для полного просмотра!

Доказательство корректности фрагментов программ с массивами, слайд №2

Доказательство корректности фрагментов программ с массивами, слайд №3

Доказательство корректности фрагментов программ с массивами, слайд №4

Доказательство корректности фрагментов программ с массивами, слайд №5

Содержание ▲

Вы можете ознакомиться и скачать презентацию на тему Доказательство корректности фрагментов программ с массивами. Доклад-сообщение содержит 5 слайдов. Презентации для любого класса можно скачать бесплатно. Если материал и наш сайт презентаций Mypresentation Вам понравились – поделитесь им с друзьями с помощью социальных кнопок и добавьте в закладки в своем браузере.

Слайды и текст этой презентации

Слайд 1

Описание слайда:

ВЕРИФИКАЦИЯ ПРОГРАММ ДВС Лектор - С.А. Ивановский

Слайд 2

Описание слайда:

Упражнения к Лекции 5 Доказательство корректности фрагментов программ с массивами

Слайд 3

Описание слайда:

1. Найти максимум из a[0],…,a[n-1] i=1; max=a[0]; // inv: … // var: … while (i max) max=a[i]; i++; } // max – максимум из a[0],…,a[n-1]

Слайд 4

Описание слайда:

2. Бинарный поиск // Pred: (ALL i: 0

Слайд 5

Описание слайда:

3. Найти количество общих элементов в двух строго возрастающих массивах a[0..n-1] и b[0..m-1] i = 0; j = 0; k = 0; // inv: … // var: … while ((i < n) && (j < m)) { if (a[i] b[j]) j++; else // a[i] == b[j] { i++; j++; k++; } } //while // Постутверждение: …