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