Site programming by Marcin Junczys-Dowmunt



 
 
 
W innych językach: Deutsch | English

Jerzy Pogonowski - Tematyka badawcza

From Zakład Logiki Stosowanej

(Różnice między wersjami)
Wersja z dnia 09:36, 1 lip 2007 (edytuj)
Pogonowski (Dyskusja | wkład)
(Prace edytorskie)
← Poprzednia edycja
Wersja z dnia 17:39, 15 lip 2007 (edytuj) (undo)
Pogonowski (Dyskusja | wkład)
(Metoda drzew semantycznych w Klasycznym Rachunku Logicznym)
Następna edycja →
Linia 131: Linia 131:
IV. 5. Twierdzenie Herbranda. IV. 5. Twierdzenie Herbranda.
-IV. 6. Twierdzenie Betha i Lemat Craiga.+IV. 6. Systemy Gentzena a drzewa semantyczne.
 + 
 +IV. 7. Twierdzenie Betha i Lemat Craiga.
-IV. 7. Twierdzenie Churcha.+IV. 8. Twierdzenie Churcha.
-IV. 8. Teorie pierwszego rzędu. +IV. 9. Teorie pierwszego rzędu.
-IV. 9. Zadania do rozdziału IV. +IV. 10. Zadania do rozdziału IV.
* '''V. Zastosowania.''' * '''V. Zastosowania.'''

Wersja z dnia 17:39, 15 lip 2007

CV | Badania | Posługa dydaktyczna | Publikacje | Teksty on line


Spis treści


Prace zakończone

Hierarchiczne analizy języka

Przestrzenie podobieństwa (tolerancji) i opozycji

Logiczna rekonstrukcja koncepcji lingwistycznych

Prace translatorskie

Prace edytorskie


Prace rozpoczęte

Twórczość Romana Suszki

Paradoks Skolema

Infinitarna logika Ernsta Zermela

Matematyczne podstawy metalogiki

Historia logiki

Tablice semantyczne

Metoda drzew semantycznych w Klasycznym Rachunku Logicznym

  • I. Preliminaria matematyczne.
  • II. Drzewa semantyczne w KRZ.
  • III. Propedeutycznie o drzewach semantycznych w KRP.

III. 0. Wstęp do rozdziału III.

III. 1. O budowaniu drzew semantycznych w KRP.

III. 2. Tautologie KRP.

III. 3. Semantyczna niesprzeczność.

III. 4. Wynikanie logiczne w KRP.

III. 5. Rachunek predykatów z identycznością.

III. 6. Rachunek predykatów z symbolami funkcyjnymi.
Prefiksowe postacie normalne i skolemizacja.

III. 7. Unifikacja.

III. 8. Rezolucja.

III. 9. Zadania do rozdziału III.

  • IV. Zagadnienia metalogiczne Klasycznego Rachunku Predykatów.

IV. 0. Definicja drzew dowodowych.

IV. 1. Twierdzenie o trafności.

IV. 2. Twierdzenie o pełności.

IV. 3. Twierdzenie o zwartości.

IV. 4. Twierdzenie Löwenheima - Skolema.

IV. 5. Twierdzenie Herbranda.

IV. 6. Systemy Gentzena a drzewa semantyczne.

IV. 7. Twierdzenie Betha i Lemat Craiga.

IV. 8. Twierdzenie Churcha.

IV. 9. Teorie pierwszego rzędu.

IV. 10. Zadania do rozdziału IV.

  • V. Zastosowania.
  • VI. Zadania.