POLECAMY
Redakcja:
Format:
ibuk
Książka jest antologią tekstów z filozofii informatyki. Zawiera 21 podstawowych prac dotyczących następujących zagadnień: informatyka jako dyscyplina, co to jest komputer, czym jest algorytm, natura programu komputerowego, weryfikacja programów, filozofia sztucznej inteligencji, epistemologia informatyki, teza Churcha-Turinga.
Rok wydania | 2014 |
---|---|
Liczba stron | 199 |
Kategoria | Filozofia współczesna |
Wydawca | Wydawnictwo Naukowe Uniwersytetu im. Adama Mickiewicza |
ISBN-13 | 978-83-232-2687-1 |
Numer wydania | 1 |
Język publikacji | polski |
Informacja o sprzedawcy | ePWN sp. z o.o. |
POLECAMY
Ciekawe propozycje
Filozofia wychowania moralnego
do koszyka
Filozofia a zarządzanie
do koszyka
Filozofia aktualności
do koszyka
Spis treści
WSTĘP | 7 |
Rozdział I. INFORMATYKA JAKO DYSCYPLINA | 9 |
A. NEWELL, H.A. SIMON, Informatyka jako nauka empiryczna | 12 |
D.E. KNUTH, Informatyka i jej związek z matematyką | 14 |
S.S. SHAPIRO, Informatyka: badanie procedur | 21 |
F.P. BROOKS, JR., Informatyk jako wytwórca narzędzi | 26 |
P.J. DENNING, Co to jest informatyka? | 29 |
J. HARTMANIS, H. LIN, Czym jest informatyka? | 34 |
Rozdział II. CO TO JEST KOMPUTER? | 39 |
J.R. SEARLE, Czy mózg jest komputerem cyfrowym? | 41 |
P.J. HAYES, Co to jest komputer? Dyskusja elektroniczna | 49 |
Rozdział III. CZYM JEST ALGORYTM? | 57 |
A.M. TURING, O liczbach obliczalnych wraz z zastosowaniem do Entscheidungsproblem | 59 |
C.E. CLELAND, O procedurach efektywnych | 67 |
A. SYROPOULOS, Hiperobliczenia | 78 |
Rozdział IV. NATURA PROGRAMU KOMPUTEROWEGO | 83 |
T.R. COLBURN, Oprogramowanie, abstrakcja i ontologia | 85 |
J.H. MOOR, Trzy mity informatyki | 96 |
P. SUBER, Co to jest oprogramowanie? | 102 |
Rozdział V. WERYFIKOWALNOŚĆ PROGRAMÓW | 111 |
B.C. SMITH, Granice poprawności w komputerach | 113 |
J.H. FETZER, Filozoficzne aspekty weryfikacji programow | 124 |
R.A. DEMILLO, R.J. LIPTON, A.J. PERLIS, Procesy społeczne a dowody twierdzeń i programy | 136 |
Rozdział VI. FILOZOFIA SZTUCZNEJ INTELIGENCJI | 149 |
A.M. TURING, Maszyny liczące a inteligencja | 150 |
J.R. SEARLE, Umysły, mózgi i programy | 163 |
Rozdział VII. EPISTEMOLOGIA INFORMATYKI | 175 |
A.H. EDEN, Trzy paradygmaty informatyki | 176 |
Rozdział VIII. TEZA CHURCHA-TURINGA | 185 |
R. MURAWSKI, J. WOLEŃSKI, Status tezy Churcha | 187 |