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).
- 19:58, 19 lut 2008 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Logmat21022008.pdf" (Logika matematyczna, I JiNoI. Semantyka KRP (1).)
- 19:57, 19 lut 2008 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Genkrz.pdf" (Logika matematyczna, I JiNoI. Dodatek 9: informacja o rachunku sekwentów Gentzena dla KRZ.)
- 07:29, 16 lut 2008 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Acadpub.pdf" (pogonowski. spis publikacji.)
- 13:27, 16 sty 2008 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Semzls160108.pdf" (Seminarium ZLS UAM 16 stycznia 2008.)
- 13:27, 16 sty 2008 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Semlogdod03.pdf" (Semiotyka logiczna, IV JiIN. Dodatek do uogólnionych kwantyfikatorów.)
- 13:25, 16 sty 2008 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Semlog03012008.pdf" (Semiotyka logiczna, IV JiIN. Uogólnione kwantyfikatory.)
- 13:28, 13 sty 2008 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Logmat03012008.pdf" (Logika matematyczna, I JiNoI. Tablice analityczne dla KRZ.)
- 12:34, 11 sty 2008 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Semzls090108.pdf" (Seminarium ZLS 9 stycznia 2008.)
- 18:52, 4 sty 2008 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Semlog03012008.pdf" (Semiotyka logiczna, IV JiIN. Uogólnione kwantyfikatory.)
- 22:53, 3 sty 2008 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Semlog03012008.pdf" (Semiotyka logiczna, IV JiIN. Uogólnione kwantyfikatory.)
- 13:51, 1 sty 2008 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Tabkrz.pdf" (Logika matematyczna, I JiNoI. Tablice analityczne dla KRZ.)
- 10:38, 29 gru 2007 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Krp399zad.pdf" (MDS dla KRP. III.9. Zadania do rozdziału III.)
- 10:38, 29 gru 2007 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Krp388.pdf" (MDS dla KRP. III.8. Rezolucja.)
- 10:37, 29 gru 2007 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Krp377.pdf" (MDS dla KRP. III.7. Unifikacja.)
- 10:36, 29 gru 2007 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Krp366.pdf" (MDS dla KRP. III.6. KRP z symbolami funkcyjnymi.)
- 10:35, 29 gru 2007 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Krp355.pdf" (MDS dla KRP. III.5. KRP z identycznością.)
- 10:34, 29 gru 2007 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Krp344.pdf" (MDS dla KRP. III.4. Wynikanie logiczne w KRP.)
- 10:33, 29 gru 2007 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Krp333.pdf" (MDS dla KRP. III.3. Semantyczna niesprzeczność w KRP.)
- 10:32, 29 gru 2007 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Krp322.pdf" (MDS dla KRP. III.2. Tautologie KRP.)
- 10:31, 29 gru 2007 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Krp311.pdf" (MDS dla KRP. III.1. Tworzenie drzew semantycznych.)
- 10:30, 29 gru 2007 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Krp300.pdf" (MDS dla KRP. Wstęp do rozdziału III.)
- 18:26, 28 gru 2007 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Krp399zad.pdf" (Drzewa semantyczne w KRP. Zadania do rozdziału III.)
- 17:51, 28 gru 2007 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Tabkrz.pdf" (Logika matematyczna, I JiNoI. Trafność i pełność TA w KRZ.)
- 17:50, 28 gru 2007 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Logmat03012008.pdf" (Logika matematyczna, I JiNoI. Tablice analityczne dla KRZ.)
- 20:57, 26 gru 2007 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Frtwgod.pdf" (Funkcje rekurencyjne, III JiIN. Twierdzenia Godla.)
- 20:56, 26 gru 2007 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Frreken.pdf" (Funkcje rekurencyjne, III JiIN. Rekurencyjna przeliczalność.)
- 20:55, 26 gru 2007 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Frintobl.pdf" (Funkcje rekurencyjne, III JiIN. Intuicje dotyczące obliczania.)
- 20:53, 26 gru 2007 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Frhierar.pdf" (Funkcje rekurencyjne, III JiIN. Reprezentowalność w PA.)
- 20:51, 26 gru 2007 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Frfunrek.pdf" (Funkcje rekurencyjne, III JiIN. Funkcje rekurencyjne.)
- 20:50, 26 gru 2007 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Frturing.pdf" (Funkcje rekurencyjne, III JiIN. Maszyny Turinga.)
- 20:49, 26 gru 2007 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Frdefinf.pdf" (Funkcje rekurencyjne, III JiIN. Definicje nieskończoności.)
- 20:47, 26 gru 2007 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Frfract.pdf" (Funkcje rekurencyjne, III JiIN. Fraktale.)
- 20:44, 26 gru 2007 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Frarsyn.pdf" (Funkcje rekurencyjne, III JiIN. Arytmetyzacja składni PA.)
- 20:42, 26 gru 2007 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Smullmach.pdf" (Funkcje rekurencyjne, III JiIN. Maszyny logiczne Smullyana.)
- 09:28, 26 gru 2007 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Semlog32012008.pdf" (Semiotyka logiczna, IV JiIN. Dowodliwość a prawdziwość.)
- 09:27, 26 gru 2007 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Semlog24012008.pdf" (Semiotyka logiczna, IV JiIN. Systemy przekonań.)
- 09:25, 26 gru 2007 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Semlog17012008.pdf" (Semiotyka logiczna, IV JiIN. O logice epistemicznej.)
- 09:24, 26 gru 2007 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Semlog03012008.pdf" (Semiotyka logiczna, IV JiIN. Uogólnione kwantyfikatory.)
- 19:53, 19 gru 2007 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Rezolkrz.pdf" (Logika matematyczna. Dowody trafności i pełności metody rezolucji w KRZ.)
- 19:52, 19 gru 2007 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Logmatdod06.pdf" (Logika matematyczna. Dodatek 6: reguła rezolucji i metoda drzew u Lewisa Carrolla.)
- 19:51, 19 gru 2007 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Logmat20xii2007.pdf" (Logika matematyczna. Rezolucja w KRZ.)
- 19:49, 19 gru 2007 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Logmatdod04.pdf" (Logika matematyczna. Dodatek 4: dowód równoważności systemu aksjomatycznego i założeniowego KRZ.)
- 19:48, 19 gru 2007 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Logmatdod03.pdf" (Logika matematyczna. Dowody twierdzeń dot. ogólnych operacji konsekwencji (w językach zdaniowych).)
- 09:40, 2 gru 2007 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Krp366.pdf" (Rozdział III.6. skryptu.)
- 22:41, 27 lis 2007 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Krp388.pdf" (Skrypt, podrozdział III.8.: Rezolucja.)
- 22:40, 27 lis 2007 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Logmatdod02.pdf" (Logika matematyczna, I JiNoI. Dodatek 2: twierdzenia metalogiczne dot. KRZ.)
- 21:09, 26 lis 2007 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Tezyreguly.pdf" (Logika matematyczna, I JiNoI. Dodatek 5: lista tez i reguł wyprowadzonych na wykładach 8-9.)
- 21:07, 26 lis 2007 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Logmat6xii2007.pdf" (Logika matematyczna, I JiNoI. Wykłady 8-9: system założeniowy KRZ.)
- 21:06, 26 lis 2007 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Logmat15xi2007.pdf" (Logika matematyczna, I JiNoI. Wykłady 5-7: aksjomatyczny system KRZ.)
- 07:21, 21 lis 2007 Pogonowski (Dyskusja | wkład) przesłano "Grafika:Logmatdod02.pdf" (Logika matematyczna, I JiNoI. Dodatek 2: dowody twierdzeń metalogicznych dot. KRZ.)
Zobacz (poprzednie 50) (następne 50) (20 | 50 | 100 | 250 | 500).