Wkład użytkownika
From Zakład Logiki Stosowanej
(Najnowsze | Najstarsze) Zobacz (nowsze 50) (starsze 50) (20 | 50 | 100 | 250 | 500).
- 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.)
- 15:12, 27 gru 2009 (hist) (różn) Jerzy Pogonowski - Metalogika - Uniwersytet Opolski (→Do wykładów 4-5: Logiki abstrakcyjne.)
- 14:12, 27 gru 2009 (hist) (różn) Jerzy Pogonowski - Metalogika - Uniwersytet Opolski (→Do wykładów 10-11: Tablice analityczne, formalizm Gentzena, rezolucja.)
- 14:08, 27 gru 2009 (hist) (różn) Jerzy Pogonowski - Metalogika - Uniwersytet Opolski (→Do wykładu 14: Metalogika a teoria mnogości.)
- 14:06, 27 gru 2009 (hist) (różn) Jerzy Pogonowski - Metalogika - Uniwersytet Opolski (→Do wykładów 8-9: Twierdzenia: Gödla, Rossera, Löba, Tarskiego, Churcha.)
- 14:03, 27 gru 2009 (hist) (różn) Jerzy Pogonowski - Metalogika - Uniwersytet Opolski (→Do wykładów 4-5: Logiki abstrakcyjne.)
- 14:00, 27 gru 2009 (hist) (różn) Jerzy Pogonowski - Metalogika - Uniwersytet Opolski (→Dodatki)
- 13:50, 27 gru 2009 (hist) (różn) Jerzy Pogonowski - Metalogika - Uniwersytet Opolski (→Do wykładów 8-9: Twierdzenia: Gödla, Rossera, Löba, Tarskiego, Churcha.)
- 13:43, 27 gru 2009 (hist) (różn) Grafika:Zachkurtgodel.pdf (kg) (jako ostatnia)
- 13:43, 27 gru 2009 (hist) (różn) Grafika:Zachepsilon.pdf (e) (jako ostatnia)
- 13:43, 27 gru 2009 (hist) (różn) Grafika:Wojtowiczparadoksy.pdf (kw) (jako ostatnia)
(Najnowsze | Najstarsze) Zobacz (nowsze 50) (starsze 50) (20 | 50 | 100 | 250 | 500).