Opis: UŚ 1995, str. 248 stan bdb ISSN 0239-6432 Treść WSTĘP LOGICZNA TEORIA PROGRAMOWANIA POJĘCIA PODSTAWOWE § 1. Oznaczenia teoriomnogościowe § 2. Analiza algorytmów i stale algorytmiczne ROZDZIAŁ I. JĘZYK LOGIKI ALGORYTMICZNEJ § 1. Termy, programy i formuły ROZDZIAŁ II. POJĘCIE REALIZACJI, MODELE I KONSEKWENCJA MODELOWA § 1. Algebra Boole'a . § 2. Realizacja logiki algorytmicznej § 3. Poprawność programów i pojęcie prawdziwości semantycznej w logice algorytmicznej § 4. Niefinitystyczność konsekwencji modelowej § 5. Teoria drzew w sekwencyjnej metodzie wprowadzenia semantyki ROZDZIAŁ ni. WŁASNOŚCI TERMÓW, PROGRAMÓW I FORMUŁ § 1. Programy o rozłącznych zbiorach zmiennych z termami, formułami i programami § 2. Własności wartościowań nie różniących się na pewnym zbiorze zmiennych ROZDZIAŁ IV. KONSEKWENCJA LOGIKI ALGORYTMICZNEJ § 1. Wprowadzenie § 2. Aksjomaty i reguły wnioskowania § 3. Reguły wyprowadzalne ROZDZIAŁ V. ALGEBRA LINDENBAUMA. REALIZACJA KANONICZNA § 1. Algebra Boole'a i jej własności § 2. Algebra Lindenbauma oraz ilorazowa algebra Lindenbauma względem ultrafiltru zachowującego kresy ROZDZIAŁ VI. TWIERDZENIE O PEŁNOŚCI LOGIKI ALGORYTMICZNEJ § 1. Reguły niezawodne i tautologie § 2. Algebra Lindenbauma a realizacja kanoniczna § 3. Twierdzenie o pełności konsekwencji syntaktycznej względem konsekwencji modelowej § 4. Konsekwencja z regułą podstawiania ROZDZIAŁ VII. KWANTYFEKATOROWA TEORIA ALGORYTMICZNA Z IDENTYCZNOŚCIĄ § 1. Język i jego realizacja § 2. Twierdzenie o izomorfizmie § 3. Aksjomaty i reguły kwantyfikatorowej teorii algorytmicznej z identycznością § 4. Formuły o postaci prostej § 5. Własności formuł w realizacji kanonicznej § 6. Twierdzenie o pełności kwantyfikatorowej teorii algorytmicznej z identycznością § 7. Nowe rezultaty dotyczące logiki algorytmicznej BIBLIOGRAFIA SKOROWIDZ SYMBOLI SKOROWIDZ NAZW ELEMENTY SYSTEMU PRZECHOWYWANIA I WYSZUKIWANIA INFORMACJI INTUICYJNE PODEJŚCIE DO SYSTEMU ISR § 1. Atrybuty ROZDZIAŁ I. PODSTAWOWE POJĘCIA SYSTEMU PRZECHOWYWANIA I WYSZUKIWANIA INFORMACJI § 1. Język systemu ISR § 2. Długość termu i formuły oraz podział zbioru A ROZDZIAŁ II. MODELE SYSTEMU ISR § 1. Konsekwencja modelowa § 2. Funkcja informacji wraz z pojęciem treści oraz modele selektywne ROZDZIAŁ III. KONSEKWENCJA SYSTEMU PRZECHOWYWANIA I WYSZUKIWANIA INFORMACJI § 1. Aksjomaty i reguły systemu ISR § 2. Twierdzenie o dedukcji ROZDZIAŁ IV. REGUŁY EKSTENSJONALNOŚCI § 1. Wyprowadzalność reguł ekstensjonalności względem konsekwencji systemu ISR ROZDZIAŁ V. POSTAĆ STANDARDOWA TERMÓW § 1. Termy elementarne, proste i standardowe § 2. Twierdzenie o sprowadzaniu termów do postaci standardowej ROZDZIAŁ VI. POSTAĆ STANDARDOWA FORMUŁ § 1. Formuły podstawowe, elementarne, bazowe i standardowe § 2. Twierdzenie o sprowadzaniu formuł do postaci standardowej ROZDZIAŁ VII. MODELE BAZOWE § 1. Wartości termów prostych i formuły bazowej w modelu bazowym ROZDZIAŁ VIII. PODSTAWOWE TWIERDZENIE SYSTEMU ISR § 1. Twierdzenie o pełności dla systemu ISR § 2. Zagadnienie rozstrzygalności systemu ISR ROZDZIAŁ DC MODELE BAZOWE MODELAMI SYSTEMÓW ZUPEŁNYCH § 1. Charakteryzacja nadzbiorów Lindenbauma za pomocą modeli bazowych ROZDZIAŁ X. KOMPONENTY I METODA KODOWANIA § 1. Związek miedzy 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
|
randki |
CyberCiekawostki |
darmowe aliasy |
darmowe forum |
promocje |
opinie, testy, oceny
darmowa toplsta | reklama internetowa
darmowa toplsta | reklama internetowa