Wyróżnienie w Konkursie Stowarzyszenia Wydawców Szkół Wyższych na Najlepszy Podręcznik i Skrypt Akademicki 2014,
18. Międzynarodowe Targi Książki w Krakowie


Roman Murawski
Filozofia informatyki.Antologia
Wydawnictwo Naukowe UAM, Poznań, 2014.
200 stron

Spis treści


Wstęp

Rozdział I: Informatyka jako dyscyplina
    Newell, H.A. Simon - Informatyka jako nauka empiryczna; D.E. Knuth -
    Informatyka i jej związek z matematyką; S.S. Shapiro - Informatyka:
    badanie procedur; F.P. Brooks, Jr., - Informatyk jako wytwórca
    narzędzi; P.J. Denning - Co to jest informatyka?; J. Hartmanis, H. Lin -
    Czym jest informatyka?

Rozdział II: Co to jest komputer?
    J.R. Searle - Czy mózg jest komputerem cyfrowym?; P.J. Hayes - Co to
    jest komputer? Dyskusja elektroniczna

Rozdział III: Czym jest algorytm?
    A.M. Turing - O liczbach obliczalnych, wraz z zastosowaniem do
    Entscheidungsproblem; Carol E. Cleland - O procedurach efektywnych;
    A. Syropoulos - Hiperobliczenia

Rozdział IV: Natura programu komputerowego
    T.R. Colburn - Oprogramowanie, abstrakcja i ontologia; J. H. Moor - Trzy
    paradygmaty informatyki; Peter Suber - Co to jest oprogramowanie?

Rozdział V: Weryfikowalność programów
    B.C. Smith - Granice poprawności w komputerach; J.H. Fetzer -
    Filozoficzne aspekty weryfikacji programów; R.A. DeMillo, R.J. Lipton,
    A.J. Perlis - Procesy społeczne a dowody twierdzeń i programy

Rozdział VI: Filozofia sztucznej inteligencji
    A.M. Turing - Maszyny liczące a inteligencja; J.R. Searle - Umysły, mózgi
    i programy

Rozdział VII: Epistemologia informatyki
    A.H. Eden - Trzy paradygmaty informatyki

Rozdział VIII: Teza Churcha-Turinga
    R. Murawski, J. Woleński - Status tezy Churcha