Biela WSTĘP DO LOGIKI ALGORYTMICZNEJ nowa

19-01-2012, 14:21
Aukcja w czasie sprawdzania była zakończona.

Cena kup teraz: 16.50 zł

Użytkownik a-l-rowse

numer aukcji: 2034225857

Miejscowość Legnica

Koniec: 13-01-2012 00:16:19

Dodatkowe informacje:
Stan: Nowy
Okładka: miękka
Rok wydania (xxxx): 1995
Kondycja: bez śladów używania
Język: polski

O MNIE
SPRZEDAJĘ
MOJE KOMENTARZE

Andrzej Biela
WSTĘP DO LOGIKI ALGORYTMICZNEJ
skrypt dla studentów IV i V roku studiów matematycznych sekcji zastosowań i informatyki
wydanie drugie
Wydawnictwo UŚ
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

Biela WSTĘP DO LOGIKI ALGORYTMICZNEJ nowa

Szanowni Państwo,
Wszystkie przedmioty, które wystawiam, zaopatrzyłam w zdjęcia, a przy niektórych aukcjach zamieściłam po kilka zdjęć i miniaturki. Jeżeli przy tytule aukcji nie znajdą Państwo aparatu fotograficznego ani miniaturki, będzie to oznaczało "zagubioną" miniaturkę, a nie to, że nie zrobiłam zdjęcia. Znikanie zdjęć jest powodowane nieprawidłowością funkcjonowania serwera Allegro.
W związku z tym uprzejmie proszę wszystkich Państwa, którzy są zainteresowani wystawianymi przez mnie przedmiotami, o zajrzenie na odpowiednie strony w czasie późniejszym.