AUTOMATYCZNE DOWODZENIE TWIERDZEŃ
Z. PAWLAK
Opis książki
WSTĘP
Rozdział I. Pojęcie dowodu matematycznego
§ 1. Wnioskowanie
§ 2. Teorie dedukcyjne
§ 3. Wnioskowanie i drzewa
§ 4. Wnioskowanie i obliczanie
§ 5. Dowód twierdzenia
Rozdział II. Poszukiwanie dowodów
§ 1. Budowanie teorii matematycznych
§ 2. Poszukiwanie dowodów w teorii dedukcyjnej
§ 3. Dowodzenie i wnioskowanie
§ 4. Wnioskowanie redukcyjne
§ 5. Teorie redukcyjne
§ 6. Redukowanie i drzewa
§ 7. Symetria reguł
Eozdział III. Proces redukowania
§ 1. Pojęcie procesu
§ 2. Definicja procesu redukowania
§ 3. Porządek operacji
Rozdział IV. Realizacja procesu wnioskowania z porządkiem P
za pomocą maszyny bezadresowej
§ 1. Ogólny schemat maszyny
§ 2. Magazyn liniowy
§ 3. Cykl pracy maszyny
§ 4. Przykład szukania dowodu
§ 5. Obliczanie przesłanek
§ 6. Badanie atomów
Rozdział V. Realizacja procesu wnioskowania z porządkiem W
za pomocą maszyny bezadresowej
§ 1. Ogólny schemat maszyny
§ 2. Magazyn
Rozdział VI. Adresowa maszyna cyfrowa
ij l. Schemat ogólny maszyny
§ 2. Magazyn wewnętrzny. Lista
§ .'i. Instrukcje. Spis instrukcji
1. Instrukcje arytmetyczne
2. Instrukcje przepisywania
3. Instrukcje skokowe
4. Instrukcje wprowadzania i wyprowadzania
5. Instrukcje pomocnicze
§ 4. Cykl pracy maszyny adresowej
§ 5. Przykłady programów
1. Obliczenia arytmetyczne
2. Zastosowanie instrukcji warunkowej do obliczeń arytmetycznych
3. Wprowadzania i wyprowadzanie
4. Program podstawiania
Rozdział VII. Program dowodzenia twierdzeń
§ 1. Ogólna struktura programu dowodzącego twierdzenia
§ 2. Podział magazynu wewnętrznego na bloki
§ 3. Zadania bloków
§ 4. Wnioskowanie w porządku W
§ 5. Obliczanie przesłanek
CZĘŚĆ II
Rozdział VIII. Język rachunku zdań
§ 1. Uwagi wstępne
§ 2. Zdania proste i złożone
§ 3. Funkcje zdaniowe
§ 4. Język rachunku zdań
§ 5. Spójnik główny
§ 6. Zdania zawsze prawdziwe
Rozdział IX. System Gentzena (w sformułowaniu Hao-Wanga)
§ 1. Pojęcie sekwentu
§ 2. Aksjomaty rachunku zdań
Reguły wnioskowania
1. Negacja
2. Koniunkcja
3. Alternatywa
4. Implikacja
5. Równoważność
§ 4. Przykłady dowodów
Rozdział X. Programy obliczania przesłanek
§ 1. Ogólna struktura programu
§ 2. Program szukania głównego spójnika
§ 3. Program realizujący funkcję F (CTJ)
§ 4. Program badania aksjomatów
§ 5. Program eliminowania negacji z poprzednika
Zakończenie
Literatura
Dane
TYTUŁ: AUTOMATYCZNE DOWODZENIE TWIERDZEŃ
AUTOR: Z. PAWLAK
WYDAWNICTWO: PZWS
ROK WYDANIA: 1965
WYDANIE: I
FORMAT: 15/21,5 CM
ILOŚĆ STRON: 147
OPRAWA: TWARDA
STAN BLOKU: DOBRY (LEKKO PRZYBRUDZONA OKŁADKA I BOKI BLOKU, PODPIS)
KOD. R2 P5
Dodatkowe informacje
W tytule przelewu proszę wpisać nick z allegro i nr. wylicytowanej aukcji
Książki starannie zapakowane wysyłane są w kopercie bąbelkowej po wcześniejszej wpłacie na konto
Nie wysyłamy za pobraniem
Odbiór osobisty w Antykwariacie:
Katowice ul. Janasa 11
Poniedziałek - Piątek w godz. 10-17
Sobota w godz. 10-13
Kontakt:
tel. 513[zasłonięte]500
mail: [zasłonięte]@o2.pl
Wpłata na konto w BRE BANK: 221[zasłonięte]200400[zasłonięte]90274[zasłonięte]780
