Spis Treści

Z przedmowy autora
Od tłumaczy
Uwagi dla czytelnika

Rozdział 1. Podstawy matematyczne
1. Wstęp
2. Teoria zbiorów
3. Metody dowodzenia
4. Relacje
5. Funkcje
6. Struktury algebraiczne
7. Podsystemy, odwzorowania zachowujące strukturę, relacje kongruencji
8. Teoria liczb
9. Rozwinięcia pozycyjne
10. Teoria grafów
11. Streszczenie

Rodział 2. Algebra Boole`a i jej zastosowanie
1. Wstęp
2. Aksjomatyczny opis algebr Boole`a
3. Funkcje boolowskie
4. Wyrażenia boolowskie
5. Wyrażenia kanoniczne
6. Zbiory funkcjonalnie pełne
7. Reprezentacja algebr Boole`a
8. Struktura algebraiczna algebr Boole`a
9. Zastosowanie algebry Boole`a
10. Streszczenie

Rozdział 3. Kombinacyjne układy przełączające
1. Wstęp
2. Elementy przełączające typu przekaźnikowego
3. Elementy przełączające typu bramkowego
4. Zastosowanie algebry Boole`a do sieci typu przekaźnikowego
5. Zastosowanie algebry Boole`a do sieci typu bramkowego
6. Powtórne omówienie sieci typu przekaźnikowego
7. Analiza i synteza sieci przełączających
8. Analiza metodą macierzy boolowskich
9. Twierdzenia analizy
10. Streszczenie

Rozdział 4. Minimalizacja funkcji boolowskich
1. Wstęp
2. Dokładne sformułowanie zagadnienia
3. Metoda tablic Karnaugha
4. Algorytm Quine`a
5. Podsześciany proste lub implikanty proste
6. Główne podsześciany proste
7. Ogólne uwagi o algorytmie Quine`a
8. Streszczenie

Rozdział 5. Grupy odwzorowań i niezmienniczość grup
1. Wstęp.
2. Grupy permutacji
3. Teoria zliczania
4. Twierdzenie De Bruijna
5. Teoria struktur grup permutacji
6. Zliczanie funkcji boolowskich
7. Grupa negacji C2
8. Grupa symetryczna 8n
9. Grupa negacji i permutacji zmiennych.
10. Zastosowanie
11. Reprezentacja za pomocą współrzędnych
12. Niezmienniki grupy NGn
13. Streszczenie

Rozdział 6. Własności funkcji boolowskich i ich wykorzystanie w syntezie
1. Wstęp
2. Funkcje zdegenerowane
3. Funkcje symetryczne
4. Funkcje częściowo symetryczne
5. Funkcje g-symetryezne
6. Funkcje monotoniczne
7. Funkcje dekomponowalne
8. Przykład
9. Streszczenie

Rozdział 7. Sieci drzewowe i ogólna dyskusja syntezy
1. Wstęp.
2. Standardowe sieci drzewowe
3. Drzewa jednokrotne.
4. Drzewa Łupanowa.
5. Sieć uniwersalna i synteza metodą Shannona
6. Uogólniona metoda syntezy
7. Funkcja 2.{n); wstęp i ograniczenie dolne
8. Ograniczenie górne funkcji A (w) oraz złożoność funkcji przełączających
9. Wnioski wynikające z oceny złożoności
10, Streszczenie

Rozdział 8. Projektowanie niezawodnych układów za pomocą zawodnych elementów
1. Wstęp
2. Podstawowe własności funkcji h(p)
3. Ważniejsze nierówności związane z funkcją li (p)
4. Funkcje quorum
5. Sieci o ustalonej długości i szerokości. Sieci hamakowe
6. Plan rozwiązania problemu i etap wstępny
7. Etap pośredni
8. Etap końcowy
9. Podstawowy problem praktyczny
10. Ograniczenie górne prawdopodobieństwa błędu sieci E (l,w)
11. Przykłady obliczeń
12. Systemy koherentne
13. Streszczenie.

Rozdział 9. Wprowadzenie do teorii maszyn sekwencyjnych
1. Wstęp.
2. Funkcje odpowiedzi
3. Stany dostępne i maszyny spójne
4. Automat wolny. Relacje kongruencji i homomorfizmy
5. Maszyny ilorazowe
6. Krata maszyn
7. Streszczenie i rys historyczny

Rozdział 10. Maszyny sekwencyjne z wyjściem
1. Wstęp
2. Zachowanie maszyn sekwencyjnych
3. Eównoważnośó ze względu na zachowanie
4. Zachowanie maszyn skończonych
5. Streszczenie i rys historyczny

Rozdział 11. Problem minimalizacji
1. Wstęp
2. Maszyna minimalna o zadanym zachowaniu
3. Relacje w zbiorze stanów
4. Algorytm wyznaczania maszyny 8M
5. Streszczenie i rys historyczny

Rozdział 12. Systemy przejść i wyrażenia regularne
1. Wstęp
2. Systemy przejść
3. Konstrukcja maszyny sekwencyjnej związanej z systemem przejść
4. Język wyrażeń regularnych
5. Twierdzenia analizy i syntezy
6. Zastosowania twierdzeń analizy i syntezy
7. Streszczenie i rys historyczny

Rozdział 13. Zdarzenia określone i maszyny probabilistyczne
1. Wstęp
2. Wprowadzenie do teorii zdarzeń określonych
3. Maszyny określone i określone funkcje przejścia
4. Testowanie własności określoności.
5. Maszyny probabilistyczne
6. Zachowanie maszyn probabilistycznych
7. Automaty rzeczywiste
8. Streszczenie

Rozdział 14. Realizacja układowa i zagadnienie kodowania stanów
1. Wstęp
2. Elementy sekwencyjnych sieci przełączających
3. Dokładne sformułowanie pojęcia kodowania stanów
4. Dekompozycja maszyn
5. Inne rodzaje dekompozycji i wyznaczanie relacji prawostronnej kongruencji
6. Streszczenie

Rozdział 15. Wprowadzenie do teorii języków bezkontekstowych
1. Wstęp
2. Model intuicyjny
3. Dokładne sformułowanie pojęć
4. Automaty skończone i języki liniowe
5. Kilka użytecznych uproszczeń
6. Własności domknięcia języków bezkontekstowych
7. Algorytmy problemów rozstrzygalnych
8. Problemy nierozstrzygalne
9. Dwa podstawowe twierdzenia
10. Streszczenie i rys historyczny

Dodatek 1. Wielomiany indeksowe grupy Sn
Dodatek 2. Wielomiany indeksowe grupy Gfn
Dodatek 3. Tablica reprezentantów funkcji trzech zmiennych
Dodatek 4. Tablica reprezentantów funkcji czterech zmiennych
Dodatek 5. Tablica minimalnych układów przełączających dla funkcji czterech zmiennych
Dodatek 6. Omówienie źródeł bibliograficznych
Bibliografia
Skorowidz i polsko-angielski słownik terminów