O przedmiocie badań informatyki

Izabela Bondecka-Krzykowska

Uzyskaj dostęp

Zakup książkę

ISBN/ISSN:

978-83-232-4199-7

DOI:

Wydawnictwo:

Wydawnictwo Naukowe Uniwersytetu im. Adama Mickiewicza

Rok wydania:

2023

Liczba stron:

264

XML:ISBN/ISSN:

ONIX MARC21

Bibliografia:

Bondecka-Krzykowska, Izabela. O przedmiocie badań informatyki. Red. . : Wydawnictwo Naukowe Uniwersytetu im. Adama Mickiewicza, 2023, 264 s. ISBN 978-83-232-4199-7

Bibliografia refWorks:

RT Book, Whole

SR Electronic(1)

A1 Bondecka-Krzykowska, I.

T1 O przedmiocie badań informatyki

PB Wydawnictwo Naukowe Uniwersytetu im. Adama Mickiewicza

YR 2023

SN 978-83-232-4199-7

Bibliografia BibTex:

@Book{ 314733, author = "Bondecka-Krzykowska, Izabela", editor = "", title = "O przedmiocie badań informatyki", publisher = "Wydawnictwo Naukowe Uniwersytetu im. Adama Mickiewicza", year = "2023", address = "", isbn = "978-83-232-4199-7" }

Bibliografia endNote:

TY - BOOK

AU - Bondecka-Krzykowska, Izabela

ED -

TI - O przedmiocie badań informatyki

PB - Wydawnictwo Naukowe Uniwersytetu im. Adama Mickiewicza

CY -

PY - 2023

SN - 978-83-232-4199-7

ER -

Netografia (standard APA):

Bondecka-Krzykowska, Izabela. O przedmiocie badań informatyki [baza danych online] : Wydawnictwo Naukowe Uniwersytetu im. Adama Mickiewicza, 2023 [dostęp: 15 07 2024]. Dostęp w Ibuk Libra: https://libra.ibuk.pl/reader/o-przedmiocie-badan-informatyki-izabela-bondecka-krzykowska-314733.

komputer, informacja, filozofia informatyki, program komputerowy, wirtualna rzeczywistość

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ą zagad...

Więcej

ISBN/ISSN:

978-83-232-4199-7

DOI:

Wydawnictwo:

Wydawnictwo Naukowe Uniwersytetu im. Adama Mickiewicza

Rok wydania:

2023

Liczba stron:

264

XML:ISBN/ISSN:

ONIX MARC21

WSTĘP11
1.1. Komputer jako urządzenie fizyczne21
ROZDZIAŁ 1. KOMPUTER21
1.1.1. Komputer jako artefakt26
1.1.2. Hardware versus software35
1.1.3. Weryfikacja komputerów jako urządzeń40
1.2. Komputer jako obiekt abstrakcyjny44
1.3. Inne koncepcje komputera46
1.4. Podsumowanie48
ROZDZIAŁ 2. PROGRAM KOMPUTEROWY53
2.1. Ontologia56
2.1.1. Dualna natura programów komputerowych56
2.1.2. Programy jako obiekty matematyczne61
2.1.3. Programy jako wzorce64
2.1.4. Kryteria identyczności programów68
2.1.5. Specyfikacja73
2.1.6. Implementacja79
2.2. Epistemologia85
2.2.1. Poprawność programów86
2.2.2. Testowanie programów88
2.2.3. Dowodzenie poprawności programów95
2.3. Podsumowanie116
ROZDZIAŁ 3. INFORMACJA129
3.1. Definicje informacji130
3.2. Wybrane teorie informacji134
3.2.1. Matematyczna teoria komunikacji135
3.2.2. Algorytmiczna teoria informacji145
3.2.3. Teoria informacji Mazura148
3.2.4. Teoria informacji semantycznej155
3.2.5. Teoria informacji silnie semantycznej Floridiego158
3.2.6. Teoria systemowa172
3.2.7. Informacja jako wynik procesu178
3.3. Filozofia informacji183
3.4. Podsumowanie186
ZAKOŃCZENIE197
DODATEK. UWAGI NA TEMAT ONTOLOGII RZECZYWISTOŚCI WIRTUALNEJ207
1. Wprowadzenie208
2. Cechy wirtualnej rzeczywistości210
2.1. Symulacja211
2.2. Interaktywność212
2.3. Sztuczność214
2.4. Immersja214
2.5. Teleobecność217
2.6. Komunikacja sieciowa217
2.7. Fikcjonalizacja218
2.8. Hipertekst218
2.9. Czas219
3. Obiekty wirtualne jako symulacje220
4. Wirtualność a fikcja222
5. Ontologia rzeczywistości wirtualnej Gurczyńskiego226
6. Ontologia obiektów wirtualnych Breya230
7. Wirtualność a realność234
8. Podsumowanie238
BIBLIOGRAFIA243
INDEKS259