Wkład użytkownika
From Zakład Logiki Stosowanej
(Najnowsze | Najstarsze) Zobacz (nowsze 50) (starsze 50) (20 | 50 | 100 | 250 | 500).
- 18:15, 22 lis 2009 (hist) (różn) Grafika:Metalogikaopole06.pdf (Metalogika (6). Funkcje rekurencyjne.) (jako ostatnia)
- 09:36, 14 lis 2009 (hist) (różn) Seminarium (→Maj 2008)
- 09:34, 14 lis 2009 (hist) (różn) Seminarium (→Wrzesień 2008)
- 09:33, 14 lis 2009 (hist) (różn) Seminarium (→Sierpień 2008)
- 09:32, 14 lis 2009 (hist) (różn) Grafika:Ecap6awjp.pdf (ECAP 6. Abstract.) (jako ostatnia)
- 15:49, 8 lis 2009 (hist) (różn) Jerzy Pogonowski - Metalogika - Uniwersytet Opolski (→Dodatki)
- 22:09, 7 lis 2009 (hist) (różn) Jerzy Pogonowski - Metalogika - Uniwersytet Opolski (→Dodatki)
- 22:09, 7 lis 2009 (hist) (różn) Jerzy Pogonowski - Metalogika - Uniwersytet Opolski (→Dodatki)
- 22:07, 7 lis 2009 (hist) (różn) Jerzy Pogonowski - Metalogika - Uniwersytet Opolski (→Dodatki)
- 22:06, 7 lis 2009 (hist) (różn) Jerzy Pogonowski - Metalogika - Uniwersytet Opolski (→Prezentacje i dodatki)
- 22:01, 7 lis 2009 (hist) (różn) Jerzy Pogonowski - Metalogika - Uniwersytet Opolski (→Prezentacje i dodatki)
- 21:58, 7 lis 2009 (hist) (różn) Jerzy Pogonowski - Metalogika - Uniwersytet Opolski (→Prezentacje i dodatki)
- 21:57, 7 lis 2009 (hist) (różn) Jerzy Pogonowski - Metalogika - Uniwersytet Opolski (→Prezentacje i dodatki)
- 21:56, 7 lis 2009 (hist) (różn) Jerzy Pogonowski - Metalogika - Uniwersytet Opolski (→Prezentacje i dodatki)
- 21:51, 7 lis 2009 (hist) (różn) Jerzy Pogonowski - Metalogika - Uniwersytet Opolski (→Prezentacje i dodatki)
- 21:40, 7 lis 2009 (hist) (różn) Grafika:Montagueptq.pdf (Metalogika. Montague: PTQ.) (jako ostatnia)
- 21:39, 7 lis 2009 (hist) (różn) Grafika:Vaananen01.pdf (Metalogika. Vaananen: Generalized Quantifiers.) (jako ostatnia)
- 21:38, 7 lis 2009 (hist) (różn) Grafika:Vaananen02.pdf (Metalogika. Vaananen: A Short Course on Finite Model Theory.) (jako ostatnia)
- 21:37, 7 lis 2009 (hist) (różn) Grafika:Churchtrakhtenbrot.pdf (Metalogika. Simpson: Dowód Twierdzenia Traktenbrota.) (jako ostatnia)
- 21:36, 7 lis 2009 (hist) (różn) Grafika:Metalogikaopolesyll.pdf (Metalogika. Dodatek: GQ a sylogistyka.) (jako ostatnia)
- 21:36, 7 lis 2009 (hist) (różn) Grafika:Metalogikaopolegq.pdf (Metalogika. Dodatek: GQ a języki etniczne.) (jako ostatnia)
- 21:35, 7 lis 2009 (hist) (różn) Grafika:Metalogikaopoledrobinka.pdf (Metalogika. Dodatek: Drobinka semantyki KRP.) (jako ostatnia)
- 21:34, 7 lis 2009 (hist) (różn) Grafika:Metalogikaopole05.pdf (Metalogika (5). Twierdzenia Lindstroma.) (jako ostatnia)
- 21:33, 7 lis 2009 (hist) (różn) Grafika:Metalogikaopole04.pdf (Metalogika (4). Logiki abstrakcyjne.) (jako ostatnia)
- 06:59, 2 lis 2009 (hist) (różn) Seminarium (→Listopad 2009)
- 06:56, 2 lis 2009 (hist) (różn) Jerzy Pogonowski - Tematyka badawcza (→Matematyczne podstawy metalogiki)
- 06:51, 2 lis 2009 (hist) (różn) Jerzy Pogonowski - Teksty on line (→Odczyty)
- 06:51, 2 lis 2009 (hist) (różn) Jerzy Pogonowski - Teksty on line (→Odczyty)
- 06:49, 2 lis 2009 (hist) (różn) Grafika:Pogonowskikhl55.pdf (Marzenia o monogamii (semantycznej).) (jako ostatnia)
- 19:49, 24 paź 2009 (hist) (różn) Jerzy Pogonowski - Tematyka badawcza (→Prace rozpoczęte)
- 19:47, 24 paź 2009 (hist) (różn) Jerzy Pogonowski - Tematyka badawcza (→Infinitarna logika Ernsta Zermela)
- 05:56, 24 paź 2009 (hist) (różn) Seminarium (→Październik 2009)
- 05:53, 24 paź 2009 (hist) (różn) Jerzy Pogonowski - Tematyka badawcza (→Twórczość Romana Suszki)
- 05:52, 24 paź 2009 (hist) (różn) Jerzy Pogonowski - Tematyka badawcza (→Matematyczne podstawy metalogiki)
- 05:49, 24 paź 2009 (hist) (różn) Grafika:Filozofiamatematykijp.pdf (Aksjomaty ekstremalne.) (jako ostatnia)
- 05:48, 24 paź 2009 (hist) (różn) Jerzy Pogonowski - Teksty on line (→Odczyty)
- 08:10, 21 paź 2009 (hist) (różn) Jerzy Pogonowski - Metalogika - Uniwersytet Opolski (→Prezentacje i dodatki)
- 08:09, 21 paź 2009 (hist) (różn) Grafika:Metatheory.pdf (Urguhart: Metatheory.) (jako ostatnia)
- 08:07, 21 paź 2009 (hist) (różn) Jerzy Pogonowski - Metalogika - Uniwersytet Opolski (→Prezentacje i dodatki)
- 11:03, 19 paź 2009 (hist) (różn) Grafika:Metalogika03.pdf (Metalogika (3).Ogólne operacje konsekwencji.) (jako ostatnia)
- 20:06, 18 paź 2009 (hist) (różn) Jerzy Pogonowski - Metalogika - Uniwersytet Opolski (→Prezentacje i dodatki)
- 19:52, 18 paź 2009 (hist) (różn) Jerzy Pogonowski - Metalogika - Uniwersytet Opolski (→Prezentacje i dodatki)
- 19:45, 18 paź 2009 (hist) (różn) Jerzy Pogonowski - Metalogika - Uniwersytet Opolski (→Prezentacje i dodatki)
- 19:42, 18 paź 2009 (hist) (różn) Jerzy Pogonowski - Metalogika - Uniwersytet Opolski (→Prezentacje i dodatki)
- 19:38, 18 paź 2009 (hist) (różn) Jerzy Pogonowski - Metalogika - Uniwersytet Opolski (→Prezentacje)
- 19:24, 18 paź 2009 (hist) (różn) Grafika:Modelekripkego.pdf (Wiśniewski: Semantyka relacyjna dla logik modalnych.) (jako ostatnia)
- 19:23, 18 paź 2009 (hist) (różn) Grafika:Modalnerachunkizdan.pdf (Wiśniewski: Modalne rachunki zdań.) (jako ostatnia)
- 19:22, 18 paź 2009 (hist) (różn) Grafika:Modalhist.pdf (Goldblatt: Mathematical modal logic.) (jako ostatnia)
- 19:21, 18 paź 2009 (hist) (różn) Grafika:Indrzejczak.pdf (Indrzejczak: Rozumowanie, argumentacja, dowód.) (jako ostatnia)
- 19:19, 18 paź 2009 (hist) (różn) Grafika:Opoledodatek02.pdf (Metalogika. Dodatek 2. Dowody niektórych twierdzeń o operacjach konsekwencji.) (jako ostatnia)
(Najnowsze | Najstarsze) Zobacz (nowsze 50) (starsze 50) (20 | 50 | 100 | 250 | 500).