Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
SPISTREŚCI
7.2.4.Podstawienie............................................152
7.2.5.Tablica.................................................154
7.3.Zapisalgorytmów..............................................156
7.3.1.Zapiskrokowy...........................................156
7.3.2.Schematblokowy.........................................156
7.3.3.Strukturalneschematyblokowe..............................165
7.3.4.Zapisliniowy,pseudokod...................................177
7.4.Strukturalność.................................................186
7.4.1.Generalia...............................................186
7.4.2.Strukturalnyzapisniestrukturalności.........................188
7.5.Tworzeniealgorytmów..........................................194
7.6.Złożonośćalgorytmów..........................................205
7.7.Poprawnośćalgorytmów.........................................215
7.7.1.Wprowadzenie...........................................215
7.7.2.Podstawy...............................................216
7.7.3.Częściowapoprawność,niezmiennikipętli.....................218
7.7.4.Częściowapoprawnośćwybranychalgorytmów.................226
8.Notacjewyrażeńalgebraicznych..................................237
8.1.Generalia.....................................................237
8.1.1.Podstawowepojęcia.......................................237
8.1.2.Rodzajenotacjialgebraicznych..............................239
8.2.Notacjealgebraicznewinformatyce................................242
8.3.Konwersjenotacji..............................................243
8.3.1.Stos....................................................243
8.3.2.Sprowadzeniedozapisuliniowego...........................243
8.3.3.Zamiananaodwrotnąnotacjępolską..........................245
8.3.4.WartościowaniewyrażeńwONP.............................248
8.4.ZapisalgorytmówwONP........................................250
8.4.1.KonwersjazapisualgorytmówdoONP........................250
8.4.2.OdtworzeniealgorytmówzzapisuwONP.....................258
9.Językiformalne...............................................263
9.1.Podstawowepojęciaioznaczenia..................................265
9.1.1.Przykładowealfabety......................................267
9.1.2.Przykładowejęzyki.......................................269
9.2.Gramatykaformalna............................................275
9.2.1.Intuicja.................................................275
9.2.2.Formalnedefinicje........................................278
9.2.3.HierarchiaChomsky’ego...................................282
9.2.4.Jeszczeogramatykach.....................................286
9.2.5.Gramatykijęzykówprogramowania..........................294
7
