Opis produktu
Komentarze
Spis treści
O przedmiocie badań informatyki. Studium filozoficzne to spojrzenie na informatykę okiem filozofa. Jest próbą zdefiniowania informatyki jako nauki przez pryzmat badanych przez nią obiektów. W książce przedstawiono analizę filozoficzną zagadnień związanych z komputerami, programami komputerowymi oraz informacją.
Cechy
Rodzaj: | e-book |
Format pliku: | |
Autor: | Izabela Bondecka-Krzykowska |
Język publikacji: | polski |
Rok wydania: | 2023 |
WSTĘP 9
ROZDZIAŁ 1. KOMPUTER 19
1.1. Komputer jako urządzenie fizyczne 19
1.1.1. Komputer jako artefakt 24
1.1.2. Hardware versus software 33
1.1.3. Weryfikacja komputerów jako urządzeń 38
1.2. Komputer jako obiekt abstrakcyjny 42
1.3. Inne koncepcje komputera 44
1.4. Podsumowanie 46
ROZDZIAŁ 2. PROGRAM KOMPUTEROWY 51
2.1. Ontologia 54
2.1.1. Dualna natura programów komputerowych 54
2.1.2. Programy jako obiekty matematyczne 59
2.1.3. Programy jako wzorce 62
2.1.4. Kryteria identyczności programów 66
2.1.5. Specyfikacja 71
2.1.6. Implementacja 77
2.2. Epistemologia 83
2.2.1. Poprawność programów 84
2.2.2. Testowanie programów 86
2.2.3. Dowodzenie poprawności programów 93
2.3. Podsumowanie 114
ROZDZIAŁ 3. INFORMACJA 127
3.1. Definicje informacji 128
3.2. Wybrane teorie informacji 132
3.2.1. Matematyczna teoria komunikacji 133
3.2.2. Algorytmiczna teoria informacji 143
3.2.3. Teoria informacji Mazura 146
3.2.4. Teoria informacji semantycznej 153
3.2.5. Teoria informacji silnie semantycznej Floridiego 156
3.2.6. Teoria systemowa 170
3.2.7. Informacja jako wynik procesu 176
3.3. Filozofia informacji 181
3.4. Podsumowanie 184
ZAKOŃCZENIE 195
DODATEK. UWAGI NA TEMAT ONTOLOGII RZECZYWISTOŚCI WIRTUALNEJ 205
1. Wprowadzenie 206
2. Cechy wirtualnej rzeczywistości 208
2.1. Symulacja 209
2.2. Interaktywność 210
2.3. Sztuczność 212
2.4. Immersja 212
2.5. Teleobecność 215
2.6. Komunikacja sieciowa 215
2.7. Fikcjonalizacja 216
2.8. Hipertekst 216
2.9. Czas 217
3. Obiekty wirtualne jako symulacje 218
4. Wirtualność a fikcja 220
5. Ontologia rzeczywistości wirtualnej Gurczyńskiego 224
6. Ontologia obiektów wirtualnych Breya 228
7. Wirtualność a realność 232
8. Podsumowanie 236
BIBLIOGRAFIA 241
INDEKS 257
ROZDZIAŁ 1. KOMPUTER 19
1.1. Komputer jako urządzenie fizyczne 19
1.1.1. Komputer jako artefakt 24
1.1.2. Hardware versus software 33
1.1.3. Weryfikacja komputerów jako urządzeń 38
1.2. Komputer jako obiekt abstrakcyjny 42
1.3. Inne koncepcje komputera 44
1.4. Podsumowanie 46
ROZDZIAŁ 2. PROGRAM KOMPUTEROWY 51
2.1. Ontologia 54
2.1.1. Dualna natura programów komputerowych 54
2.1.2. Programy jako obiekty matematyczne 59
2.1.3. Programy jako wzorce 62
2.1.4. Kryteria identyczności programów 66
2.1.5. Specyfikacja 71
2.1.6. Implementacja 77
2.2. Epistemologia 83
2.2.1. Poprawność programów 84
2.2.2. Testowanie programów 86
2.2.3. Dowodzenie poprawności programów 93
2.3. Podsumowanie 114
ROZDZIAŁ 3. INFORMACJA 127
3.1. Definicje informacji 128
3.2. Wybrane teorie informacji 132
3.2.1. Matematyczna teoria komunikacji 133
3.2.2. Algorytmiczna teoria informacji 143
3.2.3. Teoria informacji Mazura 146
3.2.4. Teoria informacji semantycznej 153
3.2.5. Teoria informacji silnie semantycznej Floridiego 156
3.2.6. Teoria systemowa 170
3.2.7. Informacja jako wynik procesu 176
3.3. Filozofia informacji 181
3.4. Podsumowanie 184
ZAKOŃCZENIE 195
DODATEK. UWAGI NA TEMAT ONTOLOGII RZECZYWISTOŚCI WIRTUALNEJ 205
1. Wprowadzenie 206
2. Cechy wirtualnej rzeczywistości 208
2.1. Symulacja 209
2.2. Interaktywność 210
2.3. Sztuczność 212
2.4. Immersja 212
2.5. Teleobecność 215
2.6. Komunikacja sieciowa 215
2.7. Fikcjonalizacja 216
2.8. Hipertekst 216
2.9. Czas 217
3. Obiekty wirtualne jako symulacje 218
4. Wirtualność a fikcja 220
5. Ontologia rzeczywistości wirtualnej Gurczyńskiego 224
6. Ontologia obiektów wirtualnych Breya 228
7. Wirtualność a realność 232
8. Podsumowanie 236
BIBLIOGRAFIA 241
INDEKS 257
Inni klienci oglądali również
William R. Stanek
Vademecum administratora Windows Server 2012 R2 Przechowywanie danych, bezpieczeństwo i sieci
48,99 zł
69,30 zł
-29%
Do koszyka
Krzysztof Wołk
Praktyczny przewodnik po MAC OS X Server 10.6 oraz 10.7
19,99 zł
24,90 zł
-20%
Do koszyka
Beata Guzowska, Iwona Kowalska, Mateusz Jagielski
Krzyżówki dla dzieci 7-12 lat
6,99 zł
9,00 zł
-22%
Do koszyka
Anna Milewska
Zaczarowana zagroda Aliny i Czesława Centkiewiczów. Streszczenie, analiza, interpretacja
3,99 zł
5,00 zł
-20%
Do koszyka
Joe Dispenza
Jak przeprogramować swój mózg. Przejmij kontrolę nad umysłem i przełam negatywne wzorce
97,99 zł
129,90 zł
-25%
Do koszyka
David Halliday, Jearl Walker, Robert Resnick
Podstawy fizyki. Tom 4
77,99 zł
89,00 zł
-12%
Do koszyka
Elżbieta Zarych
Przejdź na wyższy poziom Podręcznik do nauki języka polskiego dla obcokrajowców dla poziomu B2/C1
41,99 zł
51,00 zł
-18%
Do koszyka