8299308026

1.5.2.3    Krótka informacja o intuicjonizmie i    konstruktywizmie ...    43

1.6    Dowodzenie poprawności    programów....................... 44

1.6.1    Programowanie z niezmiennikami..................... 45

1.6.2    Aksjomatyka Hoare’a poprawności częściowej.............. 46

1.6.2.1    Aksjomaty i reguły ....................... 47

1.6.2.2    Poprawność częściowa i całkowita............... 48

1.6.3    Problem zgodności i pełności reguł.................... 51

1.6.3.1    Zgodność............................. 51

1.6.3.2    Pełność.............................. 52

1.6.4    Znaczenie metody niezmienników..................... 53

1.7    Tajniki rekursji................................... 54

1.7.1    Dopuszczalność definicji kołowych .................... 54

1.7.2    Stałopunktowa teoria rekursji....................... 55

1.7.2.1    Zbiory łańcuchowo zupełne................... 56

1.7.2.2    Przekształcenia ciągłe i ich punkty stałe............ 57

1.8    Co jeszcze?..................................... 60

1.8.1    Klasyfikacja języków i problemów nierozstrzygalnych.......... 61

1.8.2    Klasyfikacja języków i problemów rozstrzygalnych ........... 61

1.8.3    Formalna semantyka............................ 61

1.8.4    Teoria typów................................ 61

1.8.5    Specyfikacje................................. 62

1.8.6    Zastosowania teorii kategorii ....................... 62

1.8.7    Sieci Petri’ego................................ 62

1.8.8    Topologia algebraiczna........................... 63

Literatura......................................... 63

2