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).
- 14:06, 30 lis 2009 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Avigadhalting.pdf" (Avigad. Halting.)
- 14:06, 30 lis 2009 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Arithmetizationfeferman.pdf" (Feferman. Arithmetization.)
- 14:05, 30 lis 2009 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Antonsetzer.pdf" (Setzer.)
- 14:04, 30 lis 2009 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Alanturing1936.pdf" (Turing 1936.)
- 15:43, 29 lis 2009 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Metalogikaplan.pdf" (Metalogika. Plan.)
- 11:12, 26 lis 2009 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Metalogikaplan.pdf" (Metalogika. Plan.)
- 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.)
- 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.)
- 06:49, 2 lis 2009 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Pogonowskikhl55.pdf" (Marzenia o monogamii (semantycznej).)
- 20:21, 28 paź 2009 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Metalogikaplan.pdf" (Metalogika. Plan.)
- 05:49, 24 paź 2009 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Filozofiamatematykijp.pdf" (Aksjomaty ekstremalne.)
- 08:09, 21 paź 2009 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Metatheory.pdf" (Urguhart: Metatheory.)
- 11:04, 19 paź 2009 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Metalogikaopole03.pdf" (Metalogika (3). Ogólne operacje konsekwencji.)
- 11:03, 19 paź 2009 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Metalogika03.pdf" (Metalogika (3).Ogólne operacje konsekwencji.)
- 19:24, 18 paź 2009 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Modelekripkego.pdf" (Wiśniewski: Semantyka relacyjna dla logik modalnych.)
- 19:23, 18 paź 2009 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Modalnerachunkizdan.pdf" (Wiśniewski: Modalne rachunki zdań.)
- 19:22, 18 paź 2009 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Modalhist.pdf" (Goldblatt: Mathematical modal logic.)
- 19:21, 18 paź 2009 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Indrzejczak.pdf" (Indrzejczak: Rozumowanie, argumentacja, dowód.)
- 19:19, 18 paź 2009 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Opoledodatek02.pdf" (Metalogika. Dodatek 2. Dowody niektórych twierdzeń o operacjach konsekwencji.)
- 19:18, 18 paź 2009 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Budzynska.pdf" (Budzyńska: Czy logika formalna opisuje dedukcyjne argumentacje?)
Zobacz (poprzednie 50) (następne 50) (20 | 50 | 100 | 250 | 500).