Filozofia informatyki

Filozofia informatyki

Antologia

1 opinia

Redakcja:

Roman Murawski

Format:

ibuk

RODZAJ DOSTĘPU

 

Dostęp online przez myIBUK

WYBIERZ DŁUGOŚĆ DOSTĘPU

Cena początkowa:

Najniższa cena z 30 dni: 6,92 zł  


6,92

w tym VAT

TA KSIĄŻKA JEST W ABONAMENCIE

Już od 24,90 zł miesięcznie za 5 ebooków!

WYBIERZ SWÓJ ABONAMENT

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 wydania2014
Liczba stron199
KategoriaFilozofia współczesna
WydawcaWydawnictwo Naukowe Uniwersytetu im. Adama Mickiewicza
ISBN-13978-83-232-2687-1
Numer wydania1
Język publikacjipolski
Informacja o sprzedawcyePWN sp. z o.o.

Ciekawe propozycje

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
RozwińZwiń