Rejestry operacji
From Zakład Logiki Stosowanej
Połączone rejestry przesłanych plików, skasowanych stron, zabezpieczania, blokowania i nadawania uprawnień. Możesz zawęzić wynik przez wybranie typu rejestru, nazwy użytkownika albo nazwy interesującej Cię strony.
Zobacz (poprzednie 50) (następne 50) (20 | 50 | 100 | 250 | 500).
- 09:32, 23 lis 2009 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Metalogikaopole06.pdf" (Metalogika (6). Funkcje rekurencyjne.)
- 09:24, 23 lis 2009 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Metalogikaopole06.pdf" (Metalogika (6). Funkcje rekurencyjne.)
- 20:27, 22 lis 2009 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Kirbyparis.pdf" (Laurie Kirby, Jeff Paris: Accessible independence results for Peano arithmetic.)
- 20:26, 22 lis 2009 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Openproblems.pdf" (Ted Slaman: Questions in Recursion Theory (1997).)
- 20:25, 22 lis 2009 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Kolodziejczyk.pdf" (Piotr Kołodziejczyk: Obliczanie, semantyka i superweniencja.)
- 20:24, 22 lis 2009 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Marciszewski.pdf" (Witold Marciszewski: Człowiek - twór Wszechświata i jego współtwórca.)
- 20:23, 22 lis 2009 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Liegerblieberger.pdf" (Roland Lieger, Johann Blieberger: The Ackermann-Funkction Effort in Space and Time.)
- 20:21, 22 lis 2009 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Ackermanngottschalk.pdf" (Walter Gottschalk: The Ackermann Number Explosion.)
- 20:20, 22 lis 2009 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Ackermanntaylor.pdf" (Gregory R. Taylor: Ackermann's Function Is Not Primitive Recursive.)
- 20:19, 22 lis 2009 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Ackermannpilarczyk.pdf" (Paweł Pilarczyk: Funkcja Ackermanna.)
- 20:18, 22 lis 2009 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Ackermannzhang.pdf" (Qinglei Zhang: Ackermann's Function.)
- 20:16, 22 lis 2009 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Szczuka03.pdf" (Marcin Szczuka: Modele Obliczeń. Wykład 3: Maszyny RAM i Funkcje Rekurencyjne.)
- 20:15, 22 lis 2009 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Splawskilambda.pdf" (Zdzisław Spławski: Programowanie funkcyjne. Wykład 12. Funkcje rekurencyjne i rachunek lambda.)
- 20:14, 22 lis 2009 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Klunder.pdf" (Barbara Klunder: Podstawy Teorii Obliczalności.)
- 20:13, 22 lis 2009 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Grzegorczyk.pdf" (Andrzej Grzegorczyk: Some classes of recursive functions.)
- 18:16, 22 lis 2009 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Metalogikaopole07.pdf" (Metalogika (7). Reprezentowalność w PA. Arytmetyzacja składni.)
- 18:15, 22 lis 2009 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Metalogikaopole06.pdf" (Metalogika (6). Funkcje rekurencyjne.)
- 17:58, 20 lis 2009 Kamasa (Dyskusja | wkład) przesłano "Grafika:Log KRZ zad.pdf"
- 17:54, 20 lis 2009 Kamasa (Dyskusja | wkład) przesłano "Grafika:Log syl zad.pdf"
- 17:50, 20 lis 2009 Kamasa (Dyskusja | wkład) przesłano "Grafika:Log 19xi09.pdf"
- 17:45, 20 lis 2009 Kamasa (Dyskusja | wkład) przesłano "Grafika:Log 12xi09.pdf"
- 11:53, 20 lis 2009 Kamasa (Dyskusja | wkład) przesłano "Grafika:Log 18xi09.pdf"
- 18:56, 15 lis 2009 Lipnicki (Dyskusja | wkład) przesłano "Grafika:Naukoznawstwo5.pdf"
- 18:54, 15 lis 2009 Lipnicki (Dyskusja | wkład) przesłano "Grafika:Naukoznawstwo4.pdf"
- 09:32, 14 lis 2009 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Ecap6awjp.pdf" (ECAP 6. Abstract.)
- 10:16, 9 lis 2009 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Etnolka2.pdf" (Zadania egzaminacyjne z logiki, 2002.)
- 10:02, 9 lis 2009 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Etnolka2.pdf" (Zadania egzaminacyjne.)
- 17:49, 8 lis 2009 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Metalogikaopole04.pdf" (Metalogika (4). Logiki abstrakcyjne. Przykłady.)
- 15:46, 8 lis 2009 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Metalogikaopole04.pdf" (Metalogika (4). Logiki abstrakcyjne. Przykłady.)
- 10:50, 8 lis 2009 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Metalogikaopole04.pdf" (Metalogika (4). Logiki abstrakcyjne. Przykłady.)
- 21:40, 7 lis 2009 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Montagueptq.pdf" (Metalogika. Montague: PTQ.)
- 21:39, 7 lis 2009 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Vaananen01.pdf" (Metalogika. Vaananen: Generalized Quantifiers.)
- 21:38, 7 lis 2009 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Vaananen02.pdf" (Metalogika. Vaananen: A Short Course on Finite Model Theory.)
- 21:37, 7 lis 2009 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Churchtrakhtenbrot.pdf" (Metalogika. Simpson: Dowód Twierdzenia Traktenbrota.)
- 21:36, 7 lis 2009 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Metalogikaopolesyll.pdf" (Metalogika. Dodatek: GQ a sylogistyka.)
- 21:36, 7 lis 2009 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Metalogikaopolegq.pdf" (Metalogika. Dodatek: GQ a języki etniczne.)
- 21:35, 7 lis 2009 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Metalogikaopoledrobinka.pdf" (Metalogika. Dodatek: Drobinka semantyki KRP.)
- 21:34, 7 lis 2009 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Metalogikaopole05.pdf" (Metalogika (5). Twierdzenia Lindstroma.)
- 21:33, 7 lis 2009 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Metalogikaopole04.pdf" (Metalogika (4). Logiki abstrakcyjne.)
- 15:10, 2 lis 2009 Kamasa (Dyskusja | wkład) przesłano "Grafika:Wyn psychol10.pdf"
- 06:49, 2 lis 2009 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Pogonowskikhl55.pdf" (Marzenia o monogamii (semantycznej).)
- 20:08, 30 paź 2009 Lipnicki (Dyskusja | wkład) przesłano "Grafika:Naukoznawstwo3.pdf"
- 18:33, 29 paź 2009 Kamasa (Dyskusja | wkład) przesłano "Grafika:Stat punktacja.pdf"
- 18:30, 29 paź 2009 Kamasa (Dyskusja | wkład) przesłano "Grafika:Stat wyn10.pdf"
- 20:21, 28 paź 2009 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Metalogikaplan.pdf" (Metalogika. Plan.)
- 20:16, 28 paź 2009 Kamasa (Dyskusja | wkład) przesłano "Grafika:Log unktacja.pdf"
- 20:16, 28 paź 2009 Kamasa (Dyskusja | wkład) przesłano "Grafika:Log wyniki.pdf"
- 18:54, 24 paź 2009 Kamasa (Dyskusja | wkład) przesłano "Grafika:Log 22x092.pdf"
- 18:47, 24 paź 2009 Kamasa (Dyskusja | wkład) przesłano "Grafika:Log 22x09.pdf"
- 18:41, 24 paź 2009 Kamasa (Dyskusja | wkład) przesłano "Grafika:Log 21x09.pdf"
Zobacz (poprzednie 50) (następne 50) (20 | 50 | 100 | 250 | 500).