TEORETYCZNE PODSTAWY
INFORMATYKI
WFAiS UJ, Informatyka Stosowana I rok studiów, I stopień
1
11/01/2016
Prof. dr hab. Elżbieta Richter-Wąs
Wykład 12, cześć I
11/01/2016 Prof. dr hab. Elżbieta Richter-Wąs
2
Metody
programistyczne
Wyidealizowany scenariusz tworzenia oprogramowania
Metody programistyczne:
Projektowanie zstępujące
Projektowanie wstępujące
Weryfikacja poprawności
Specyfikacja
Niezmienniki pętli
Problem „STOPu”
Tworzenie oprogramowania:
wyidealizowany scenariusz
11/01/2016 Prof. dr hab. Elżbieta Richter-Wąs
3
Metody programistyczne
11/01/2016 Prof. dr hab. Elżbieta Richter-Wąs
4
Metody programistyczne
11/01/2016 Prof. dr hab. Elżbieta Richter-Wąs
5
Metody programistyczne
11/01/2016 Prof. dr hab. Elżbieta Richter-Wąs
6
Metody programistyczne
11/01/2016 Prof. dr hab. Elżbieta Richter-Wąs
7
Metody programistyczne
11/01/2016 Prof. dr hab. Elżbieta Richter-Wąs
8
Metody programistyczne
11/01/2016 Prof. dr hab. Elżbieta Richter-Wąs
9
Veryfikacja poprawności programu
11/01/2016 Prof. dr hab. Elżbieta Richter-Wąs
10
Veryfikacja poprawności programu
11/01/2016 Prof. dr hab. Elżbieta Richter-Wąs
11
Weryfikacja poprawności programu
11/01/2016 Prof. dr hab. Elżbieta Richter-Wąs
12
Weryfikacja poprawności programu
11/01/2016 Prof. dr hab. Elżbieta Richter-Wąs
13
Niezmienniki pętli
11/01/2016 Prof. dr hab. Elżbieta Richter-Wąs
14
Dowodzenie niezmienników pętli
11/01/2016 Prof. dr hab. Elżbieta Richter-Wąs
15
Problem „STOPu”
11/01/2016 Prof. dr hab. Elżbieta Richter-Wąs
16
Uwagi końcowe
11/01/2016 Prof. dr hab. Elżbieta Richter-Wąs
17
Uwagi końcowe
11/01/2016 Prof. dr hab. Elżbieta Richter-Wąs
18
Wykład 12, cześć II
11/01/2016 Prof. dr hab. Elżbieta Richter-Wąs
19
O złożoności obliczeniowej raz jeszcze
Złożoność zamortyzowana
Złożoność zamortyzowana
11/01/2016 Prof. dr hab. Elżbieta Richter-Wąs
20
Złożoność zamortyzowana
11/01/2016 Prof. dr hab. Elżbieta Richter-Wąs
21
Złożoność zamortyzowana
11/01/2016 Prof. dr hab. Elżbieta Richter-Wąs
22
Przykład
11/01/2016 Prof. dr hab. Elżbieta Richter-Wąs
23
Przykład
11/01/2016 Prof. dr hab. Elżbieta Richter-Wąs
24
Przykład dla kosztu amortyzacji = 2
11/01/2016 Prof. dr hab. Elżbieta Richter-Wąs
25
Przykład dla kosztu amortyzacji = 3
11/01/2016 Prof. dr hab. Elżbieta Richter-Wąs
26
Złożoność zamortyzowana
11/01/2016 Prof. dr hab. Elżbieta Richter-Wąs
27
Kontynuacja przykładu
11/01/2016 Prof. dr hab. Elżbieta Richter-Wąs
28
Dane zewnętrzne
11/01/2016 Prof. dr hab. Elżbieta Richter-Wąs
29
Dane zewnętrzne
11/01/2016 Prof. dr hab. Elżbieta Richter-Wąs
30
Dane zewnętrzne
11/01/2016 Prof. dr hab. Elżbieta Richter-Wąs
31
Sortowanie
11/01/2016 Prof. dr hab. Elżbieta Richter-Wąs
32
Sortowanie przez łączenie
11/01/2016 Prof. dr hab. Elżbieta Richter-Wąs
33
Przykład
11/01/2016 Prof. dr hab. Elżbieta Richter-Wąs
34
Podsumowanie
11/01/2016 Prof. dr hab. Elżbieta Richter-Wąs
35