Wkład użytkownika
From Zakład Logiki Stosowanej
(Najnowsze | Najstarsze) Zobacz (nowsze 20) (starsze 20) (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)
(Najnowsze | Najstarsze) Zobacz (nowsze 20) (starsze 20) (20 | 50 | 100 | 250 | 500).