Разделы презентаций
- Разное
- Английский язык
- Астрономия
- Алгебра
- Биология
- География
- Геометрия
- Детские презентации
- Информатика
- История
- Литература
- Математика
- Медицина
- Менеджмент
- Музыка
- МХК
- Немецкий язык
- ОБЖ
- Обществознание
- Окружающий мир
- Педагогика
- Русский язык
- Технология
- Физика
- Философия
- Химия
- Шаблоны, картинки для презентаций
- Экология
- Экономика
- Юриспруденция
Доказательство корректности фрагментов программ с массивами
Содержание
- 1. Доказательство корректности фрагментов программ с массивами
- 2. Упражнения к Лекции 5Доказательство корректности фрагментов программ с массивами14.04.2015О схемах программ
- 3. 1. Найти максимум из a[0],…,a[n-1]i=1; max=a[0];// inv:
- 4. 2. Бинарный поиск // Pred: (ALL i: 0
- 5. 3. Найти количество общих элементов в двух
- 6. Скачать презентанцию
Упражнения к Лекции 5Доказательство корректности фрагментов программ с массивами14.04.2015О схемах программ
Слайды и текст этой презентации
Слайд 2Упражнения к Лекции 5
Доказательство корректности фрагментов программ с массивами
14.04.2015
О схемах
программ
Слайд 31. Найти максимум из 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]![1. Найти максимум из a[0],…,a[n-1]i=1; max=a[0];// inv: …// var: …while (i max) max=a[i]; i++;} // max –](/img/tmb/2/161263/6fc6dba2828771eeed17c3992c361d6c-800x.jpg "Доказательство корректности фрагментов программ с массивами 1. Найти максимум из a[0],…,a[n-1]i=1; max=a[0];// inv: …// var: …while (i")
Слайд 42. Бинарный поиск
// Pred: (ALL i: 0
int m;
int le = -1;
int ri =
n-1;// inv: ...
// var: ...
while (le
if (arr[m]
}
i = ri;
// -1<=i
Слайд 53. Найти количество общих элементов в двух строго возрастающих массивах
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]) i++;
else if (a[i] > b[j]) j++;
else // a[i] == b[j]
{ i++; j++; k++; }
} //while
// Постутверждение: …
![3. Найти количество общих элементов в двух строго возрастающих массивах a[0..n-1] и b[0..m-1] i = 0;](/img/tmb/2/161263/f697c9594fa73c3730806404825b82e1-800x.jpg "Доказательство корректности фрагментов программ с массивами 3. Найти количество общих элементов в двух строго возрастающих массивах a[0..n-1]")
