Treść książki

Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
informatyki.IzabelaBondecka-Krzykowskaprzedstawiawswoim
artykuleróżnekoncepcjeontologicznedotyczącekomputerówjako
obiektu
badań
informatyki.
Wskazuje
na
zalety
i
wady
poszczególnychkoncepcjioraznatrudności,najakienatrafiamy
próbującustalićstatusontologicznykomputera.
PawełStacewiczzkoleirozważawswojejpracypytanie,gdzie
nieskończonośćpojawiasięwinformatyceiczysprawiatamkłopot.
Wyróżniatrzykonteksty:kontekstdziałania,kontekststruktury
ikontekstwynikówdziałańprocedurinformatycznych.Zastanawia
sięnadzwiązkiemnieskończonościiproblemównieobliczalnych
(odróżniającproblemynieobliczalnezasadniczoipraktycznie).
Wkońcubadanieskończonośćwkontekścieprogramówuczących
się.Rozważanianadnieskończonościąwinformatyceprowadzą
wszczególnościdopytańtypu:czyświatjestcyfrowyczyteż
analogowy,czyświatjestdeterministycznyczyniedeterministyczny,
czywkońcudopytaniaokoniecznośćpodporządkowaniadziałań
ludzkichimaszynowychpewnemupodstawowemusystemowi
wartości.
Wydanietomumożliwebyłodziękiwsparciufinansowemu
WydziałuMatematykiiInformatykiUniwersytetuim.Adama
MickiewiczawPoznaniu,zaktóreserdeczniedziękuję.Dziękujęteż
KsiędzuProfesorowiMichałowiHellerowizapoparcieinicjatywy
wydaniategotomuizawspieranienaswrozmowachzCopernicus
CenterPress.
Poznań,wkwietniu2015roku
RomanMurawski