autor :  Marian Chudy

format :  B5
objętość :  148 str.

ISBN  83[zasłonięte]60434-7

STRESZCZENIE

Przedstawiamy Państwu książkę wielowątkową, obejmującą ważne i skojarzone ze standardami kształcenia informatyków, zagadnienia teoretycznych podstaw informatyki. Omawiane zagadnienia należą do warstwy wolnozmiennych zagadnień informatyki i stanowią podstawę budowy narzędzi informatycznych oraz aplikacji. Autor wybrał te wolnozmienne, podstawowe zagadnienia z następujących obszarów:

- algorytmy i ich reprezentacje,
- modele obliczeń, maszyny obliczające - w tym maszyny Turinga, obwody logiczne,
- złożoność obliczeniowa, jej rodzaje i kategorie,
- klasy problemów i ich hierarchie,
- automaty skończone,
- wyrażenia regularne,
- gramatyki bezkontekstowe,
- podstawy obliczeń równoległych,
- podstawy obliczeń kwantowych,
- algorytmiczna teoria informacji i jej związek z systemami formalnymi.

Książka może być lekturą dla studentów, doktorantów oraz innych osób odwołujących się do podstaw informatyki. Wątki spoza standardu kształcenia mogą być wprowadzeniem do obszarów tematycznych informatyki, którą wkrótce spotkamy.

SPIS TREŚCI

Wstęp

1. Algorytmy, reprezentacja algorytmów

1.1. Zadanie, informacja, algorytm
1.2. Reprezentacja algorytmu

2. Modele obliczeń, maszyny obliczające

2.1. Rodzaje problemów
2.2. Kodowanie danych problemów decyzyjnych
2.3. Modele obliczeń

3. Złożoność obliczeniowa. Hierarchie złożoności

3.1. Transformacje problemów, klasyfikacje problemów, hierarchie złożoności
3.2. Czas działania algorytmów

4. Modele definiowania i rozpoznawania wzorców znakowych

4.1. Pojęcia podstawowe
4.2. Automaty skończone
4.3. Wyrażenia regularne
4.4. Gramatyki bezkontekstowe. Własności języków bezkontekstowych

5. Obliczenia równoległe

5.1. Architektury równoległe
5.2. Algorytmy równoległe

6. Obliczenia kwantowe

6.1. Podsatwy matematyczno-fizyczne
6.2. Informacja kwantowa
6.3. Algorytmy kwantowe

7. Entropia i informacja

7.1. Entropia Shannona. Informacja warunkowa
7.2. Algorytmiczna teoria informacji
7.3. Systemy formalne. Twierdzenie Godla

Literatura

Skorowidz