Jerzy Pogonowski - Tablice Analityczne
From Zakład Logiki Stosowanej
(Różnice między wersjami)
| Wersja z dnia 10:19, 23 lut 2008 (edytuj) Pogonowski (Dyskusja | wkład) ← Poprzednia edycja |
Wersja z dnia 20:00, 10 mar 2008 (edytuj) (undo) Pogonowski (Dyskusja | wkład) (→Tablice Analityczne) Następna edycja → |
||
| Linia 16: | Linia 16: | ||
| * [[Media: tabwstep.pdf | Preliminaria matematyczne i logiczne.]] | * [[Media: tabwstep.pdf | Preliminaria matematyczne i logiczne.]] | ||
| * [[Media: tabkrz.pdf | Tablice analityczne dla KRZ.]] | * [[Media: tabkrz.pdf | Tablice analityczne dla KRZ.]] | ||
| - | * [[Media: tabkrz.pdf | Tablice analityczne dla KRP.]] | + | * [[Media: tabkrp.pdf | Tablice analityczne dla KRP.]] |
| * [[Media: tabdodrez.pdf | Dodatek: unifikacja i rezolucja.]] | * [[Media: tabdodrez.pdf | Dodatek: unifikacja i rezolucja.]] | ||
Wersja z dnia 20:00, 10 mar 2008
CV | Badania | Posługa dydaktyczna | Publikacje | Teksty on line
Poniższe notatki zawierają materiał z wykładów: 10, 11, 12, 18, 19, 24 i 25 kursu Logiki Matematycznej. W wersji przeznaczonej do ewentualnego druku ustalona zostanie jednolita numeracja, usunięte będą powtórzenia, itd. Autor będzie niezmiernie wdzięczny za wszelkie uwagi krytyczne pod adresem tych notatek.
