Wkład użytkownika
From Zakład Logiki Stosowanej
(Najnowsze | Najstarsze) Zobacz (nowsze 50) (starsze 50) (20 | 50 | 100 | 250 | 500).
- 06:15, 10 cze 2007 (hist) (różn) Grafika:Egzlogmat2007.pdf (Logika Matematyczna. Egzamin 2007.) (jako ostatnia)
- 06:14, 10 cze 2007 (hist) (różn) Grafika:Tempkrz.pdf (Semantyka KRZ. Podstawowe definicje.) (jako ostatnia)
- 06:13, 10 cze 2007 (hist) (różn) Grafika:Beam7xii.pdf (MDS w KRZ. Reguły i kilka przykładów.) (jako ostatnia)
- 06:10, 10 cze 2007 (hist) (różn) Grafika:Dowzal.pdf (Dowody założeniowe w KRZ. Podstawowe definicje.) (jako ostatnia)
- 22:49, 1 cze 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→Rozdział III skryptu 'Metoda drzew semantycznych w Klasycznym Rachunku Logicznym')
- 20:07, 1 cze 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→Naukoznawstwo)
- 20:06, 1 cze 2007 (hist) (różn) Grafika:Beam0.pdf (Naukoznawstwo. Etnolingwistyka V (zaoczna). Wprowadzenie.) (jako ostatnia)
- 09:22, 31 maj 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→Logika matematyczna)
- 07:36, 28 maj 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→Logika matematyczna)
- 07:33, 28 maj 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→Logika - zadania archiwalne)
- 07:31, 28 maj 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→Logika matematyczna)
- 07:27, 28 maj 2007 (hist) (różn) Grafika:Logmat30.pdf (Logika Matematyczna. I JiIN. Własności metalogiczne KRP. Poprawność MDS.) (jako ostatnia)
- 23:11, 23 maj 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→Naukoznawstwo)
- 23:05, 23 maj 2007 (hist) (różn) Grafika:Beam4.pdf (Naukoznawstwo. Etnolingwistyka V, zaoczna. Procedury poznawcze IV.) (jako ostatnia)
- 23:04, 23 maj 2007 (hist) (różn) Grafika:Logmat29.pdf (KRP z symbolami funkcyjnymi. Teorie aksjomatyczne w języku KRP.) (jako ostatnia)
- 23:02, 23 maj 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→Logika matematyczna)
- 08:41, 6 maj 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→O przekonaniach i przekonywaniu (wykład fakultatywny))
- 08:40, 6 maj 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→Funkcje rekurencyjne)
- 08:39, 6 maj 2007 (hist) (różn) Grafika:Furek11.pdf (Funkcje rekurencyjne, wykład 11: twierdzenie o niezupełności PA.) (jako ostatnia)
- 08:38, 6 maj 2007 (hist) (różn) Grafika:Furek10.pdf (Funkcje rekurencyjne, wykład 10: arytmetyzacja składni.) (jako ostatnia)
- 08:37, 6 maj 2007 (hist) (różn) Grafika:Belsys11.pdf ('O przekonaniach i przekonywaniu'. Wykład 11: logika epistemiczna a systemy przekonań.) (jako ostatnia)
- 08:36, 6 maj 2007 (hist) (różn) Grafika:Belsys10.pdf ('O przekonaniach i przekonywaniu'. Wykład 10: manipulacja.) (jako ostatnia)
- 18:20, 5 maj 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→O przekonaniach i przekonywaniu (wykład fakultatywny))
- 18:19, 5 maj 2007 (hist) (różn) Jerzy Pogonowski - Teksty on line (→Odczyty)
- 18:18, 5 maj 2007 (hist) (różn) Grafika:Karpacz2007.pdf ('Szczęściarze epistemiczni'. Odczyt: Zastosowania Logiki w Filozofii i Podstawach Matematyki, Szklarska Poręba 2007.) (jako ostatnia)
- 19:19, 24 kwi 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→Funkcje rekurencyjne)
- 19:17, 24 kwi 2007 (hist) (różn) Grafika:Drfurek12.pdf (Funkcje rekurencyjne. Wykład dodatkowy: dowodliwość a prawdziwość, maszyny logiczne Smullyana.) (jako ostatnia)
- 17:04, 20 kwi 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→O przekonaniach i przekonywaniu (wykład fakultatywny))
- 17:03, 20 kwi 2007 (hist) (różn) Grafika:Drbelsys09.pdf ('O przekonaniach i przekonywaniu'. Wykład 9: perswazja.) (jako ostatnia)
- 05:44, 19 kwi 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→O przekonaniach i przekonywaniu (wykład fakultatywny))
- 05:44, 19 kwi 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→Funkcje rekurencyjne)
- 08:33, 17 kwi 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→Funkcje rekurencyjne)
- 08:32, 17 kwi 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→O przekonaniach i przekonywaniu (wykład fakultatywny))
- 08:31, 17 kwi 2007 (hist) (różn) Grafika:Drfurek09.pdf (Funkcje rekurencyjne. Wykład 9. Reprezentowalność funkcji rekurencyjnych w PA.) (jako ostatnia)
- 08:30, 17 kwi 2007 (hist) (różn) Grafika:Drfurek08.pdf (Funkcje rekurencyjne. Wykład 8. Zbiory i relacje rekurencyjnie przeliczalne.) (jako ostatnia)
- 08:28, 17 kwi 2007 (hist) (różn) Grafika:Drbelsys08.pdf ('O przekonaniach i przekonywaniu' - wykład ósmy.) (jako ostatnia)
- 16:45, 12 kwi 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→O przekonaniach i przekonywaniu (wykład fakultatywny))
- 16:43, 12 kwi 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→Funkcje rekurencyjne)
- 16:42, 12 kwi 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→Funkcje rekurencyjne)
- 15:54, 10 kwi 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→O przekonaniach i przekonywaniu (wykład fakultatywny))
- 15:53, 10 kwi 2007 (hist) (różn) Grafika:Drbelsys07.pdf ('O przekonaniach i przekonywaniu' --- wykład siódmy.) (jako ostatnia)
- 07:27, 10 kwi 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→Logika - zadania archiwalne)
- 07:25, 10 kwi 2007 (hist) (różn) Grafika:Jin2.pdf (Zadania egzaminacyjne z Logiki Matematycznej, 2002.) (jako ostatnia)
- 07:23, 10 kwi 2007 (hist) (różn) Grafika:Etnolka2.pdf (Zadania egzaminacyjne z Logiki, 2002.) (jako ostatnia)
- 18:10, 9 kwi 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→Funkcje rekurencyjne)
- 18:09, 9 kwi 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→O przekonaniach i przekonywaniu (wykład fakultatywny))
- 18:08, 9 kwi 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→Funkcje rekurencyjne)
- 18:06, 9 kwi 2007 (hist) (różn) Grafika:Drfurek07.pdf (Funkcje rekurencyjne --- wykład siódmy.) (jako ostatnia)
- 08:23, 5 kwi 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→Funkcje rekurencyjne)
- 08:22, 5 kwi 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→O przekonaniach i przekonywaniu (wykład fakultatywny))
(Najnowsze | Najstarsze) Zobacz (nowsze 50) (starsze 50) (20 | 50 | 100 | 250 | 500).