Wkład użytkownika
From Zakład Logiki Stosowanej
(Najnowsze | Najstarsze) Zobacz (nowsze 50) (starsze 50) (20 | 50 | 100 | 250 | 500).
- 14:06, 30 lis 2009 (hist) (różn) Grafika:Arithmetizationfeferman.pdf (Feferman. Arithmetization.) (jako ostatnia)
- 14:05, 30 lis 2009 (hist) (różn) Grafika:Antonsetzer.pdf (Setzer.) (jako ostatnia)
- 14:04, 30 lis 2009 (hist) (różn) Grafika:Alanturing1936.pdf (Turing 1936.) (jako ostatnia)
- 15:45, 29 lis 2009 (hist) (różn) Jerzy Pogonowski - Metalogika - Uniwersytet Opolski (→Prezentacje)
- 11:19, 26 lis 2009 (hist) (różn) Jerzy Pogonowski - Metalogika - Uniwersytet Opolski (→Prezentacje)
- 11:18, 26 lis 2009 (hist) (różn) Jerzy Pogonowski - Metalogika - Uniwersytet Opolski (→Metalogika (Uniwersytet Opolski))
- 21:11, 22 lis 2009 (hist) (różn) Jerzy Pogonowski - Funkcje Rekurencyjne (→Funkcje rekurencyjne)
- 21:02, 22 lis 2009 (hist) (różn) Jerzy Pogonowski - Metalogika - Uniwersytet Opolski (→Dodatki)
- 20:45, 22 lis 2009 (hist) (różn) Jerzy Pogonowski - Metalogika - Uniwersytet Opolski (→Dodatki)
- 20:43, 22 lis 2009 (hist) (różn) Jerzy Pogonowski - Metalogika - Uniwersytet Opolski (→Dodatki)
- 20:43, 22 lis 2009 (hist) (różn) Jerzy Pogonowski - Metalogika - Uniwersytet Opolski (→Dodatki)
- 20:42, 22 lis 2009 (hist) (różn) Jerzy Pogonowski - Metalogika - Uniwersytet Opolski (→Dodatki)
- 20:27, 22 lis 2009 (hist) (różn) Grafika:Kirbyparis.pdf (Laurie Kirby, Jeff Paris: Accessible independence results for Peano arithmetic.) (jako ostatnia)
- 20:26, 22 lis 2009 (hist) (różn) Grafika:Openproblems.pdf (Ted Slaman: Questions in Recursion Theory (1997).) (jako ostatnia)
- 20:25, 22 lis 2009 (hist) (różn) Grafika:Kolodziejczyk.pdf (Piotr Kołodziejczyk: Obliczanie, semantyka i superweniencja.) (jako ostatnia)
- 20:24, 22 lis 2009 (hist) (różn) Grafika:Marciszewski.pdf (Witold Marciszewski: Człowiek - twór Wszechświata i jego współtwórca.) (jako ostatnia)
- 20:23, 22 lis 2009 (hist) (różn) Grafika:Liegerblieberger.pdf (Roland Lieger, Johann Blieberger: The Ackermann-Funkction Effort in Space and Time.) (jako ostatnia)
- 20:21, 22 lis 2009 (hist) (różn) Grafika:Ackermanngottschalk.pdf (Walter Gottschalk: The Ackermann Number Explosion.) (jako ostatnia)
- 20:20, 22 lis 2009 (hist) (różn) Grafika:Ackermanntaylor.pdf (Gregory R. Taylor: Ackermann's Function Is Not Primitive Recursive.) (jako ostatnia)
- 20:19, 22 lis 2009 (hist) (różn) Grafika:Ackermannpilarczyk.pdf (Paweł Pilarczyk: Funkcja Ackermanna.) (jako ostatnia)
- 20:17, 22 lis 2009 (hist) (różn) Grafika:Ackermannzhang.pdf (Qinglei Zhang: Ackermann's Function.) (jako ostatnia)
- 20:16, 22 lis 2009 (hist) (różn) Grafika:Szczuka03.pdf (Marcin Szczuka: Modele Obliczeń. Wykład 3: Maszyny RAM i Funkcje Rekurencyjne.) (jako ostatnia)
- 20:15, 22 lis 2009 (hist) (różn) Grafika:Splawskilambda.pdf (Zdzisław Spławski: Programowanie funkcyjne. Wykład 12. Funkcje rekurencyjne i rachunek lambda.) (jako ostatnia)
- 20:14, 22 lis 2009 (hist) (różn) Grafika:Klunder.pdf (Barbara Klunder: Podstawy Teorii Obliczalności.) (jako ostatnia)
- 20:13, 22 lis 2009 (hist) (różn) Grafika:Grzegorczyk.pdf (Andrzej Grzegorczyk: Some classes of recursive functions.) (jako ostatnia)
- 18:17, 22 lis 2009 (hist) (różn) Jerzy Pogonowski - Metalogika - Uniwersytet Opolski (→Prezentacje)
- 18:17, 22 lis 2009 (hist) (różn) Jerzy Pogonowski - Metalogika - Uniwersytet Opolski (→Prezentacje)
- 18:16, 22 lis 2009 (hist) (różn) Grafika:Metalogikaopole07.pdf (Metalogika (7). Reprezentowalność w PA. Arytmetyzacja składni.) (jako ostatnia)
- 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)
(Najnowsze | Najstarsze) Zobacz (nowsze 50) (starsze 50) (20 | 50 | 100 | 250 | 500).