Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
A.SYROPOULOS
Hiperobliczenia...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
..
RozdziałIV.NATURAPROGRAMUKOMPUTEROWEGO...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
.
T.R.COLBURN
Oprogramowanie,abstrakcjaiontologia...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
..
J.H.MOOR
Trzymityinformatyki...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
.
78
83
85
96
P.SUBER
Cotojestoprogramowanie?...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
102
RozdziałV.WERYFIKOWALNOŚĆPROGRAMÓW...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
111
B.C.SMITH
Granicepoprawnościwkomputerach...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
.
113
J.H.FETZER
Filozoficzneaspektyweryfikacjiprogramów...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
.
124
R.A.DEMILLO,R.J.LIPTON,A.J.PERLIS
Procesyspołeczneadowodytwierdzeńiprogramy...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
..
136
RozdziałVI.FILOZOFIASZTUCZNEJINTELIGENCJI...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
..
149
A.M.TURING
Maszynylicząceainteligencja...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
..
150
J.R.SEARLE
Umysły,mózgiiprogramy...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
.
163
RozdziałVII.EPISTEMOLOGIAINFORMATYKI...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
..
175
A.H.EDEN
Trzyparadygmatyinformatyki...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
176
RozdziałVIII.TEZACHURCHA-TURINGA...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
..
185
R.MURAWSKI,J.WOLEŃSKI
StatustezyChurcha...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
187
