Wkład użytkownika
From Zakład Logiki Stosowanej
(Najnowsze | Najstarsze) Zobacz (nowsze 50) (starsze 50) (20 | 50 | 100 | 250 | 500).
- 13:12, 22 lut 2008 (hist) (różn) Jerzy Pogonowski - Archiwum (New page: =Archiwum= ==Logika - zadania egzaminacyjne (z rozwiązaniami)== * Językoznawstwo i informacja naukowa (2007). * [[Media: logjiin2007.pdf | Językoznawst...)
- 13:10, 22 lut 2008 (hist) (różn) Dydaktyka
- 21:22, 19 lut 2008 (hist) (różn) Jerzy Pogonowski - Curriculum Vitae
- 21:18, 19 lut 2008 (hist) (różn) Jerzy Pogonowski - Tematyka badawcza
- 21:15, 19 lut 2008 (hist) (różn) Grafika:Romsusz.pdf (Roman Suszko. Biogram.) (jako ostatnia)
- 21:14, 19 lut 2008 (hist) (różn) Jerzy Pogonowski - Tematyka badawcza (→Twórczość Romana Suszki)
- 21:11, 19 lut 2008 (hist) (różn) Jerzy Pogonowski - Teksty on line (→Odczyty)
- 21:08, 19 lut 2008 (hist) (różn) Grafika:Aalcs12jp.pdf (Applications of Algebra to Logic and Computer Science, XII, 2008. Wersja beta.) (jako ostatnia)
- 20:39, 19 lut 2008 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→Logika Matematyczna (2007-2008, I JiNoI))
- 20:38, 19 lut 2008 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→Logika Matematyczna (2007-2008, I JiNoI))
- 20:37, 19 lut 2008 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→Materiały dydaktyczne 2007-2008)
- 20:11, 19 lut 2008 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna
- 20:02, 19 lut 2008 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→Logika Matematyczna (2007-2008, I JiNoI))
- 19:59, 19 lut 2008 (hist) (różn) Grafika:Logikaradosna01.pdf (Logika, II Etno. Powtórka z semestru zimowego.) (jako ostatnia)
- 19:58, 19 lut 2008 (hist) (różn) Grafika:Logmat21022008.pdf (Logika matematyczna, I JiNoI. Semantyka KRP (1).) (jako ostatnia)
- 19:57, 19 lut 2008 (hist) (różn) Grafika:Genkrz.pdf (Logika matematyczna, I JiNoI. Dodatek 9: informacja o rachunku sekwentów Gentzena dla KRZ.) (jako ostatnia)
- 07:30, 16 lut 2008 (hist) (różn) Pracownicy Zakładu
- 13:31, 16 sty 2008 (hist) (różn) Seminarium (→Styczeń 2008)
- 13:29, 16 sty 2008 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→Semiotyka Logiczna (2007, IV JiIN))
- 13:27, 16 sty 2008 (hist) (różn) Grafika:Semzls160108.pdf (Seminarium ZLS UAM 16 stycznia 2008.) (jako ostatnia)
- 13:27, 16 sty 2008 (hist) (różn) Grafika:Semlogdod03.pdf (Semiotyka logiczna, IV JiIN. Dodatek do uogólnionych kwantyfikatorów.) (jako ostatnia)
- 12:34, 11 sty 2008 (hist) (różn) Grafika:Semzls090108.pdf (Seminarium ZLS 9 stycznia 2008.) (jako ostatnia)
- 12:33, 11 sty 2008 (hist) (różn) Seminarium (→Styczeń 2008)
- 06:40, 6 sty 2008 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→Logika Matematyczna (2007-2008, I JiNoI))
- 20:16, 2 sty 2008 (hist) (różn) Seminarium
- 20:14, 2 sty 2008 (hist) (różn) Seminarium
- 20:13, 2 sty 2008 (hist) (różn) Seminarium
- 20:11, 2 sty 2008 (hist) (różn) Seminarium
- 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)
(Najnowsze | Najstarsze) Zobacz (nowsze 50) (starsze 50) (20 | 50 | 100 | 250 | 500).