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).
- 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).)
- 21:33, 18 gru 2007 Junczys (Dyskusja | wkład) przesłano "Grafika:Zd perl4.pdf"
- 21:33, 18 gru 2007 Junczys (Dyskusja | wkład) przesłano "Grafika:Wyklad10-handout.pdf"
- 21:32, 18 gru 2007 Junczys (Dyskusja | wkład) przesłano "Grafika:Wyklad10.pdf"
- 14:48, 12 gru 2007 Junczys (Dyskusja | wkład) przesłano "Grafika:Zd perl2rozwiazania.pdf"
- 14:40, 12 gru 2007 Junczys (Dyskusja | wkład) przesłano "Grafika:Zd perl3.pdf"
- 14:39, 12 gru 2007 Junczys (Dyskusja | wkład) przesłano "Grafika:Wyklad9-handout.pdf"
- 14:38, 12 gru 2007 Junczys (Dyskusja | wkład) przesłano "Grafika:Wyklad9.pdf"
- 11:51, 11 gru 2007 Kamasa (Dyskusja | wkład) przesłano "Grafika:101207.pdf"
- 19:52, 8 gru 2007 Kamasa (Dyskusja | wkład) przesłano "Grafika:261107.pdf"
- 16:35, 5 gru 2007 Admin (Dyskusja | wkład) przesłano "Grafika:Zd perl2.pdf"
- 16:34, 5 gru 2007 Admin (Dyskusja | wkład) usunięto "Grafika:Zd perl 2.pdf"
- 16:33, 5 gru 2007 Admin (Dyskusja | wkład) przesłano "Grafika:Zd perl 2.pdf"
- 16:32, 5 gru 2007 Admin (Dyskusja | wkład) przesłano "Grafika:Wyklad8-handout.pdf"
- 16:32, 5 gru 2007 Admin (Dyskusja | wkład) przesłano "Grafika:Wyklad8.pdf"
- 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:33, 26 lis 2007 Admin (Dyskusja | wkład) usunięto "Narzędzia informatyczne w językoznawstwie" (treść: "#REDIRECT Marcin Junczys-Dowmunt - Narzędzia informatyczne w językoznawstwie" (jedyny autor: Junczys))
- 21:31, 26 lis 2007 Junczys (Dyskusja | wkład) Narzędzia informatyczne w językoznawstwie przeniesiono do Marcin Junczys-Dowmunt - Narzędzia informatyczne w językoznawstwie (cofnij)
- 21:31, 26 lis 2007 Junczys (Dyskusja | wkład) Dyskusja:Narzędzia informatyczne w językoznawstwie przeniesiono do Dyskusja:Marcin Junczys-Dowmunt - Narzędzia informatyczne w językoznawstwie (cofnij)
- 21:14, 26 lis 2007 Admin (Dyskusja | wkład) Marcin Junczys-Dowmunt - Dydaktyka treść przeniesiono do Marcin Junczys-Dowmunt - Dydaktyka tresc (cofnij)
Zobacz (poprzednie 50) (następne 50) (20 | 50 | 100 | 250 | 500).