O MNIE                                                 SPRZEDAJĘ                                                      MOJE KOMENTARZE  

Proszę o zapoznanie się ze stroną O MNIE (zmiany).

Darmowa wysyłka przy zakupie na kwotę min. 150zł.

Andrzej Biela
WSTĘP DO LOGIKI ALGORYTMICZNEJ
skrypt dla studentów IV i V roku studiów matematycznych sekcji zastosowań i informatyki
wydanie drugie
Katowice 1995, s. 248

Stan: bdb. KSIĄŻKA NOWA.



SPIS TREŚCI:

WSTĘP – s. 7

LOGICZNA TEORIA PROGRAMOWANIA

POJĘCIA PODSTAWOWE – s. 15
l. Oznaczenia teoriomnogościowe
2. Analiza algorytmów i stałe algorytmiczne

ROZDZIAŁ I. JĘZYK LOGIKI ALGORYTMICZNEJ – s. 23
l. Termy, programy i formuły

ROZDZIAŁ II. POJĘCIE REALIZACJI, MODELE I KONSEKWENCJA MODELOWA – s. 29
l. 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Ł III. WŁASNOŚCI TERMÓW, PROGRAMÓW I FORMUŁ – s. 57
l. 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 – s. 79
l. Wprowadzenie
2. Aksjomaty i reguły wnioskowania
3. Reguły wyprowadzalne

ROZDZIAŁ V ALGEBRA LINDENBAUMA. REALIZACJA KANONICZNA – s. 91
l. 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 – s. 98
l. 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. KWANTYFIKATOROWA TEORIA ALGORYTMICZNA Z IDENTYCZNOŚCIĄ – s. 123
l. 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 – s. 146
Skorowidz symboli – s. 148
Skorowidz nazw – s. 150


ELEMENTY SYSTEMU PRZECHOWYWANIA I WYSZUKIWANIA INFORMACJI

INTUICYJNE PODEJŚCIE DO SYSTEMU ISR – s. 155
l. Atrybuty

ROZDZIAŁ I. PODSTAWOWE POJĘCIA SYSTEMU PRZECHOWYWANIA I WYSZUKIWANIA INFORMACJI – s. 158
l. Język systemu ISR
2. Długość termu i formuły oraz podział zbioru A

ROZDZIAŁ II. MODELE SYSTEMU ISR – s. 162
l. Konsekwencja modelowa
2. Funkcja informacji wraz z pojęciem treści oraz modele selektywne

ROZDZIAŁ III. KONSEKWENCJA SYSTEMU PRZECHOWYWANIA i WYSZUKIWANIA INFORMACJI – s. 169
l. Aksjomaty i reguły systemu ISR
2. Twierdzenie o dedukcji

ROZDZIAŁ IV. REGUŁY EKSTENSJONALNOŚCI – s. 178
l. Wyprowadzalność reguł ekstensjonalności względem konsekwencji systemu ISR

ROZDZIAŁ V. POSTAĆ STANDARDOWA TERMÓW – s. 185
l. Termy elementarne, proste i standardowe
2. Twierdzenie o sprowadzaniu termów do postaci standardowej

ROZDZIAŁ VI. POSTAĆ STANDARDOWA FORMUŁ – s. 203
l. Formuły podstawowe, elementarne, bazowe i standardowe
2. Twierdzenie o sprowadzaniu formuł do postaci standardowej

ROZDZIAŁ VII. MODELE BAZOWE – s. 215
l. Wartości termów prostych i formuły bazowej w modelu bazowym

ROZDZIAŁ VIII. PODSTAWOWE TWIERDZENIE SYSTEMU ISR – s. 2193
l. Twierdzenie o pełności dla systemu ISR
2. Zagadnienie rozstrzygalności systemu ISR

ROZDZIAŁ IX. MODELE BAZOWE MODELAMI SYSTEMÓW ZUPEŁNYCH – s. 229
l. Charakteryzacja nadzbiorów Lindenbauma za pomocą modeli bazowych

ROZDZIAŁ X. KOMPONENTY I METODA KODOWANIA – s. 235
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 – s. 244
Skorowidz symboli – s. 246
Skorowidz nazw – s. 247