Wkład użytkownika
From Zakład Logiki Stosowanej
(Najnowsze | Najstarsze) Zobacz (nowsze 50) (starsze 50) (20 | 50 | 100 | 250 | 500).
- 20:09, 2 sty 2008 (hist) (różn) Seminarium
- 20:09, 2 sty 2008 (hist) (różn) Seminarium
- 06:38, 29 gru 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→Logika Matematyczna (2007-2008, I JiNoI))
- 06:30, 29 gru 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→Funkcje rekurencyjne (2008, III JiIN))
- 06:28, 29 gru 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→Logika Matematyczna (2007-2008, I JiNoI))
- 20:27, 28 gru 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→Logika Matematyczna (2007-2008, I JiNoI))
- 18:59, 28 gru 2007 (hist) (różn) Dydaktyka
- 18:59, 28 gru 2007 (hist) (różn) Dydaktyka
- 18:57, 28 gru 2007 (hist) (różn) Dydaktyka
- 18:31, 28 gru 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→Skrypt: Drzewa Semantyczne w KRP)
- 18:26, 28 gru 2007 (hist) (różn) Grafika:Krp399zad.pdf (Drzewa semantyczne w KRP. Zadania do rozdziału III.) (jako ostatnia)
- 18:08, 28 gru 2007 (hist) (różn) Jerzy Pogonowski - Tematyka badawcza
- 18:06, 28 gru 2007 (hist) (różn) Jerzy Pogonowski - Tematyka badawcza (→Metoda drzew semantycznych w Klasycznym Rachunku Logicznym)
- 17:58, 28 gru 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→Logika Matematyczna (2007-2008, I JiNoI))
- 17:56, 28 gru 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→Logika Matematyczna (2007-2008, I JiNoI))
- 17:51, 28 gru 2007 (hist) (różn) Grafika:Tabkrz.pdf (Logika matematyczna, I JiNoI. Trafność i pełność TA w KRZ.) (jako ostatnia)
- 17:50, 28 gru 2007 (hist) (różn) Grafika:Logmat03012008.pdf (Logika matematyczna, I JiNoI. Tablice analityczne dla KRZ.) (jako ostatnia)
- 21:08, 26 gru 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→Archiwum)
- 21:06, 26 gru 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→Funkcje rekurencyjne (2008, III JiIN))
- 21:05, 26 gru 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna
- 20:57, 26 gru 2007 (hist) (różn) Grafika:Frtwgod.pdf (Funkcje rekurencyjne, III JiIN. Twierdzenia Godla.) (jako ostatnia)
- 20:56, 26 gru 2007 (hist) (różn) Grafika:Frreken.pdf (Funkcje rekurencyjne, III JiIN. Rekurencyjna przeliczalność.) (jako ostatnia)
- 20:55, 26 gru 2007 (hist) (różn) Grafika:Frintobl.pdf (Funkcje rekurencyjne, III JiIN. Intuicje dotyczące obliczania.) (jako ostatnia)
- 20:53, 26 gru 2007 (hist) (różn) Grafika:Frhierar.pdf (Funkcje rekurencyjne, III JiIN. Reprezentowalność w PA.) (jako ostatnia)
- 20:51, 26 gru 2007 (hist) (różn) Grafika:Frfunrek.pdf (Funkcje rekurencyjne, III JiIN. Funkcje rekurencyjne.) (jako ostatnia)
- 20:50, 26 gru 2007 (hist) (różn) Grafika:Frturing.pdf (Funkcje rekurencyjne, III JiIN. Maszyny Turinga.) (jako ostatnia)
- 20:49, 26 gru 2007 (hist) (różn) Grafika:Frdefinf.pdf (Funkcje rekurencyjne, III JiIN. Definicje nieskończoności.) (jako ostatnia)
- 20:47, 26 gru 2007 (hist) (różn) Grafika:Frfract.pdf (Funkcje rekurencyjne, III JiIN. Fraktale.) (jako ostatnia)
- 20:44, 26 gru 2007 (hist) (różn) Grafika:Frarsyn.pdf (Funkcje rekurencyjne, III JiIN. Arytmetyzacja składni PA.) (jako ostatnia)
- 20:42, 26 gru 2007 (hist) (różn) Grafika:Smullmach.pdf (Funkcje rekurencyjne, III JiIN. Maszyny logiczne Smullyana.) (jako ostatnia)
- 09:33, 26 gru 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→Semiotyka Logiczna (2007, IV JiIN))
- 09:28, 26 gru 2007 (hist) (różn) Grafika:Semlog32012008.pdf (Semiotyka logiczna, IV JiIN. Dowodliwość a prawdziwość.) (jako ostatnia)
- 09:27, 26 gru 2007 (hist) (różn) Grafika:Semlog24012008.pdf (Semiotyka logiczna, IV JiIN. Systemy przekonań.) (jako ostatnia)
- 09:25, 26 gru 2007 (hist) (różn) Grafika:Semlog17012008.pdf (Semiotyka logiczna, IV JiIN. O logice epistemicznej.) (jako ostatnia)
- 09:24, 26 gru 2007 (hist) (różn) Grafika:Semlog03012008.pdf (Semiotyka logiczna, IV JiIN. Uogólnione kwantyfikatory.) (jako ostatnia)
- 20:00, 19 gru 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→Logika Matematyczna (2007-2008, I JiNoI))
- 19:53, 19 gru 2007 (hist) (różn) Grafika:Rezolkrz.pdf (Logika matematyczna. Dowody trafności i pełności metody rezolucji w KRZ.) (jako ostatnia)
- 19:52, 19 gru 2007 (hist) (różn) Grafika:Logmatdod06.pdf (Logika matematyczna. Dodatek 6: reguła rezolucji i metoda drzew u Lewisa Carrolla.) (jako ostatnia)
- 19:51, 19 gru 2007 (hist) (różn) Grafika:Logmat20xii2007.pdf (Logika matematyczna. Rezolucja w KRZ.) (jako ostatnia)
- 19:49, 19 gru 2007 (hist) (różn) Grafika:Logmatdod04.pdf (Logika matematyczna. Dodatek 4: dowód równoważności systemu aksjomatycznego i założeniowego KRZ.) (jako ostatnia)
- 19:48, 19 gru 2007 (hist) (różn) Grafika:Logmatdod03.pdf (Logika matematyczna. Dowody twierdzeń dot. ogólnych operacji konsekwencji (w językach zdaniowych).) (jako ostatnia)
- 22:55, 13 gru 2007 (hist) (różn) Kontakt (→Zakład Logiki Stosowanej UAM)
- 22:49, 13 gru 2007 (hist) (różn) Pracownicy Zakładu
- 22:45, 13 gru 2007 (hist) (różn) Kontakt (→Zakład Logiki Stosowanej UAM)
- 22:45, 13 gru 2007 (hist) (różn) Kontakt (→Zakład Logiki Stosowanej UAM)
- 21:17, 26 lis 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→Logika Matematyczna (2007-2008, I JiNoI))
- 21:12, 26 lis 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→Logika Matematyczna (2007-2008, I JiNoI))
- 21:09, 26 lis 2007 (hist) (różn) Grafika:Tezyreguly.pdf (Logika matematyczna, I JiNoI. Dodatek 5: lista tez i reguł wyprowadzonych na wykładach 8-9.) (jako ostatnia)
- 21:07, 26 lis 2007 (hist) (różn) Grafika:Logmat6xii2007.pdf (Logika matematyczna, I JiNoI. Wykłady 8-9: system założeniowy KRZ.) (jako ostatnia)
- 17:48, 22 lis 2007 (hist) (różn) Seminarium (→Czas i miejsce)
(Najnowsze | Najstarsze) Zobacz (nowsze 50) (starsze 50) (20 | 50 | 100 | 250 | 500).