|
Treść
WSTĘP
LOGICZNA TEORIA PROGRAMOWANIA
POJĘCIA PODSTAWOWE
§ l. Oznaczenia teoriomnogościowe
§ 2. Analiza algorytmów i stałe algorytmiczne
ROZDZIAŁ I. JĘZYK LOGIKI ALGORYTMICZNEJ . . . .
§ l. Termy, programy i formuły .
ROZDZIAŁ II. POJĘCIE REALIZACJI, MODELE I KONSEK-
WENCJA MODELOWA
§ l. Algebra Boole'a
§ 2. Realizacja logiki algorytmicznej
§ 3. Poprawność programów i pojęcie prawdziwości semantycznej w logice algoryt-
micznej
§ 4. Niefinitystyczność konsekwencji modelowej .
§ 5. Teoria drzew w sekwencyjnej metodzie wprowadzenia semantyki
ROZDZIAŁ ni. WŁASNOŚCI TERMÓW, PROGRAMÓW I FOR-
MUŁ.
§ l. Programy o rozłącznych zbiorach zmiennych z termami, formułami i progra-
mami
§ 2. Własności wartościowań nie różniących się na pewnym zbiorze zmiennych .
ROZDZIAŁ IV. KONSEKWENCJA LOGIKI ALGORYTMICZNEJ.
§ l. Wprowadzenie
§ 2. Aksjomaty i reguły wnioskowania .
§ 3. Reguły wyprowadzalne '
ROZDZIAŁ V ALGEBRA LINDENBAUMA. REALIZACJA KA-
NONICZNA.
§ l. Algebra Boole'a i jej własności
§ 2. Algebra Lindenbauma oraz ilorazowa algebra Lindenbauma względem uitrafill.ru
zachowującego kresy .
ROZDZIAŁ VI. TWIERDZENIE O PEŁNOŚCI LOGIKI ALGO-
RYTMICZNEJ..
§ l. Reguły niezawodne i tautologie
§ 2. Algebra Lindenbauma a realizacja kanoniczna .l
§ 3. Twierdzenie o pełności konsekwencji syntaktycznej względem konsekwencji
modelowej.l
§ 4. Konsekwencja z regułą podstawiania l
ROZDZIAŁ VII. KWANTYFIKATOROWA TEORIA ALGORYT-
MICZNA Z IDENTYCZNOŚCIĄ..l
§ l. Język i jego realizacja l
§ 2. Twierdzenie o izomorfizmie .l
§ 3. Aksjomaty i reguły kwantyfikatorowej teorii algorytmicznej z identycznością .l
§ 4. Formuły o postaci prostej.]
§ 5. Własności formuł w realizacji kanonicznej .l
§ 6. Twierdzenie o pełności kwantyfikatorowej teorii algorytmicznej z identycz-
nością..l
§ 7. Nowe rezultaty dotyczące logiki algorytmicznej l
BIBLIOGRAFIA . l
SKOROWIDZ SYMBOLI l
SKOROWIDZ NAZW !
ELEMENTY SYSTEMU PRZECHOWYWANIA
l WYSZUKIWANIA INFORMACJI
INTUICYJNE PODEJŚCIE DO SYSTEMU ISR.
§ l. Atrybuty :
ROZDZIAŁ I. PODSTAWOWE POJĘCIA SYSTEMU PRZECHO-
WYWANIA I WYSZUKIWANIA INFORMACJI .
§ l. Język systemu ISR .
§ 2. Długość termu i formuły oraz podział zbioru A .
ROZDZIAŁ II. MODELE SYSTEMU ISR .
§ l. Konsekwencja modelowa.
4§ 2. Funkcja informacji wraz z pojęciem treści oraz modele selektywne .
ROZDZIAŁ III. KONSEKWENCJA SYSTEMU PRZECHOWYWA-
NIA i WYSZUKIWANIA INFORMACJI
§ l. Aksjomaty i reguły systemu ISR .
§ 2. Twierdzenie o dedukcji .
ROZDZIAŁ IV. REGUŁY EKSTENSJONALNOŚCI
§ l. Wyprowadzalność reguł ekstensjonainości względem konsekwencji systemu ISR .
ROZDZIAŁ V. POSTAĆ STANDARDOWA TERMÓW
^§ l. Termy elementarne, proste i standardowe.
§ 2. Twierdzenie o sprowadzaniu termów do postaci standardowej
ROZDZIAŁ VI. POSTAĆ STANDARDOWA FORMUŁ
§ l. Formuły podstawowe, elementarne, bazowe i standardowe
§ 2. Twierdzenie o sprowadzaniu formuł do postaci standardowej
ROZDZIAŁ VII. MODELE BAZOWE
§ l. Wartości termów prostych i formuły bazowej w modelu bazowym
ROZDZIAŁ VIII. PODSTAWOWE TWIERDZENIE SYSTEMU
ISR
§ l. Twierdzenie o pełności dla systemu ISR
§ 2. Zagadnienie rozstrzygalności systemu ISR .
ROZDZIAŁ IX. MODELE BAZOWE MODELAMI SYSTEMÓW
ZUPEŁNYCH
§ l. Charakteryzacja nadzbiorów Lindenbauma za pomocą modeli bazowych
ROZDZIAŁ X. KOMPONENTY I METODA KODOWANIA
§ l. Związek między komponentami a termami prostymi
§ 2. Przedstawialność zbioru przedmiotów za pomocą termów .
§ 3. Przechowywanie informacji o elemencie za pomocą kodu .
§ 4. Pewna organizacja komputerowej pamięci
§ 5. Nowe zagadnienia dotyczące systemu ISR
BIBLIOGRAFIA
SKOROWIDZ SYMBOLI.
SKOROWIDZ NAZW .
|
