Wkład użytkownika
From Zakład Logiki Stosowanej
(Najnowsze | Najstarsze) Zobacz (nowsze 50) (starsze 50) (20 | 50 | 100 | 250 | 500).
- 10:45, 1 paź 2010 (hist) (różn) Seminarium (→Plan)
- 09:30, 2 maj 2010 (hist) (różn) Jerzy Pogonowski - Teksty on line (→Odczyty)
- 09:29, 2 maj 2010 (hist) (różn) Seminarium (→Maj 2010)
- 09:28, 2 maj 2010 (hist) (różn) Grafika:Schreiberhau2010jp.pdf (Szklarska Poręba 2010.) (jako ostatnia)
- 07:56, 30 kwi 2010 (hist) (różn) Badania (→Tematyka badawcza)
- 12:46, 25 kwi 2010 (hist) (różn) Jerzy Pogonowski - Teksty on line (→Odczyty)
- 12:45, 25 kwi 2010 (hist) (różn) Jerzy Pogonowski - Teksty on line (→Odczyty)
- 12:42, 25 kwi 2010 (hist) (różn) Jerzy Pogonowski - Teksty on line (→Inne)
- 12:40, 25 kwi 2010 (hist) (różn) Jerzy Pogonowski - Tematyka badawcza (→Zagadki logiczne)
- 12:37, 25 kwi 2010 (hist) (różn) Grafika:Magicgarden.pdf (Magiczny Ogród.) (jako ostatnia)
- 10:45, 19 kwi 2010 (hist) (różn) Seminarium (→Maj 2010)
- 10:44, 19 kwi 2010 (hist) (różn) Grafika:Schreiberhau2010.pdf (Szklarska Poreba 2010.) (jako ostatnia)
- 16:16, 9 kwi 2010 (hist) (różn) Seminarium (→Czerwiec 2010)
- 16:15, 9 kwi 2010 (hist) (różn) Grafika:10vi2010streszczenie.pdf (GLII) (jako ostatnia)
- 08:02, 26 mar 2010 (hist) (różn) Seminarium (→Marzec 2010)
- 09:09, 17 mar 2010 (hist) (różn) Jerzy Pogonowski - Curriculum Vitae
- 09:06, 17 mar 2010 (hist) (różn) Historia Zakładu (→Współpraca z innymi ośrodkami)
- 09:32, 5 mar 2010 (hist) (różn) Seminarium (→Kwiecień 2010)
- 09:31, 5 mar 2010 (hist) (różn) Seminarium (→Czerwiec 2010)
- 09:30, 5 mar 2010 (hist) (różn) Seminarium (→Maj 2010)
- 09:29, 5 mar 2010 (hist) (różn) Seminarium (→Plan)
- 09:27, 5 mar 2010 (hist) (różn) Seminarium (→Czerwiec 2010)
- 09:56, 28 lut 2010 (hist) (różn) Seminarium (→Plan)
- 09:52, 28 lut 2010 (hist) (różn) Seminarium (→Marzec 2010)
- 09:40, 7 lut 2010 (hist) (różn) Seminarium (→Czerwiec 2010)
- 09:32, 7 lut 2010 (hist) (różn) Seminarium (→Marzec 2009)
- 09:31, 7 lut 2010 (hist) (różn) Seminarium (→Marzec 2009)
- 09:30, 7 lut 2010 (hist) (różn) Seminarium (→Wrzesień 2009)
- 09:24, 7 lut 2010 (hist) (różn) Jerzy Pogonowski - Metalogika - Uniwersytet Opolski
- 09:18, 7 lut 2010 (hist) (różn) Seminarium (→Maj 2010)
- 09:18, 7 lut 2010 (hist) (różn) Seminarium (→Maj 2010)
- 09:16, 7 lut 2010 (hist) (różn) Seminarium (→Czerwiec 2010)
- 09:14, 7 lut 2010 (hist) (różn) Seminarium (→Plan)
- 09:05, 7 lut 2010 (hist) (różn) Grafika:Aalcs2010pogonowski.pdf (On extremal axioms.) (jako ostatnia)
- 21:15, 27 sty 2010 (hist) (różn) Jerzy Pogonowski - Metalogika - Uniwersytet Opolski (→Prezentacje)
- 21:14, 27 sty 2010 (hist) (różn) Grafika:Metalogikaopole14.pdf (Metalogika (14).) (jako ostatnia)
- 14:46, 16 sty 2010 (hist) (różn) Jerzy Pogonowski - Metalogika - Uniwersytet Opolski (→Prezentacje)
- 14:40, 16 sty 2010 (hist) (różn) Grafika:Metalogikaopole13.pdf (Metalogika (13).) (jako ostatnia)
- 14:39, 16 sty 2010 (hist) (różn) Grafika:Metalogikaopole12.pdf (Metalogika (12).) (jako ostatnia)
- 19:56, 3 sty 2010 (hist) (różn) Jerzy Pogonowski - Metalogika - Uniwersytet Opolski (→Do wykładów 8-9: Twierdzenia: Gödla, Rossera, Löba, Tarskiego, Churcha.)
- 15:35, 27 gru 2009 (hist) (różn) Jerzy Pogonowski - Metalogika - Uniwersytet Opolski (→Do wykładów 0-3: Ogólne operacje konsekwencji.)
- 15:35, 27 gru 2009 (hist) (różn) Jerzy Pogonowski - Metalogika - Uniwersytet Opolski (→Informacje pomocnicze)
- 15:33, 27 gru 2009 (hist) (różn) Jerzy Pogonowski - Metalogika - Uniwersytet Opolski (→Do wykładów 6-7: Funkcje rekurencyjne.)
- 15:26, 27 gru 2009 (hist) (różn) Jerzy Pogonowski - Metalogika - Uniwersytet Opolski (→Do wykładów 10-11: Tablice analityczne, formalizm Gentzena, rezolucja.)
- 15:22, 27 gru 2009 (hist) (różn) Jerzy Pogonowski - Metalogika - Uniwersytet Opolski (→Do wykładów 12-13: Teoria modeli.)
- 15:22, 27 gru 2009 (hist) (różn) Jerzy Pogonowski - Metalogika - Uniwersytet Opolski (→Do wykładów 10-11: Tablice analityczne, formalizm Gentzena, rezolucja.)
- 15:20, 27 gru 2009 (hist) (różn) Jerzy Pogonowski - Metalogika - Uniwersytet Opolski (→Do wykładów 6-7: Funkcje rekurencyjne.)
- 15:18, 27 gru 2009 (hist) (różn) Jerzy Pogonowski - Metalogika - Uniwersytet Opolski (→Do wykładów 10-11: Tablice analityczne, formalizm Gentzena, rezolucja.)
- 15:15, 27 gru 2009 (hist) (różn) Jerzy Pogonowski - Metalogika - Uniwersytet Opolski (→Do wykładów 10-11: Tablice analityczne, formalizm Gentzena, rezolucja.)
- 15:13, 27 gru 2009 (hist) (różn) Jerzy Pogonowski - Metalogika - Uniwersytet Opolski (→Do wykładów 12-13: Teoria modeli.)
(Najnowsze | Najstarsze) Zobacz (nowsze 50) (starsze 50) (20 | 50 | 100 | 250 | 500).