Wkład użytkownika
From Zakład Logiki Stosowanej
(Najnowsze | Najstarsze) Zobacz (nowsze 100) (starsze 100) (20 | 50 | 100 | 250 | 500).
- 06:15, 10 cze 2007 (hist) (różn) Grafika:Egzlogmat2007.pdf (Logika Matematyczna. Egzamin 2007.) (jako ostatnia)
- 06:14, 10 cze 2007 (hist) (różn) Grafika:Tempkrz.pdf (Semantyka KRZ. Podstawowe definicje.) (jako ostatnia)
- 06:13, 10 cze 2007 (hist) (różn) Grafika:Beam7xii.pdf (MDS w KRZ. Reguły i kilka przykładów.) (jako ostatnia)
- 06:10, 10 cze 2007 (hist) (różn) Grafika:Dowzal.pdf (Dowody założeniowe w KRZ. Podstawowe definicje.) (jako ostatnia)
- 22:49, 1 cze 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→Rozdział III skryptu 'Metoda drzew semantycznych w Klasycznym Rachunku Logicznym')
- 20:07, 1 cze 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→Naukoznawstwo)
- 20:06, 1 cze 2007 (hist) (różn) Grafika:Beam0.pdf (Naukoznawstwo. Etnolingwistyka V (zaoczna). Wprowadzenie.) (jako ostatnia)
- 09:22, 31 maj 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→Logika matematyczna)
- 07:36, 28 maj 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→Logika matematyczna)
- 07:33, 28 maj 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→Logika - zadania archiwalne)
- 07:31, 28 maj 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→Logika matematyczna)
- 07:27, 28 maj 2007 (hist) (różn) Grafika:Logmat30.pdf (Logika Matematyczna. I JiIN. Własności metalogiczne KRP. Poprawność MDS.) (jako ostatnia)
- 23:11, 23 maj 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→Naukoznawstwo)
- 23:05, 23 maj 2007 (hist) (różn) Grafika:Beam4.pdf (Naukoznawstwo. Etnolingwistyka V, zaoczna. Procedury poznawcze IV.) (jako ostatnia)
- 23:04, 23 maj 2007 (hist) (różn) Grafika:Logmat29.pdf (KRP z symbolami funkcyjnymi. Teorie aksjomatyczne w języku KRP.) (jako ostatnia)
- 23:02, 23 maj 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→Logika matematyczna)
- 08:41, 6 maj 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→O przekonaniach i przekonywaniu (wykład fakultatywny))
- 08:40, 6 maj 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→Funkcje rekurencyjne)
- 08:39, 6 maj 2007 (hist) (różn) Grafika:Furek11.pdf (Funkcje rekurencyjne, wykład 11: twierdzenie o niezupełności PA.) (jako ostatnia)
- 08:38, 6 maj 2007 (hist) (różn) Grafika:Furek10.pdf (Funkcje rekurencyjne, wykład 10: arytmetyzacja składni.) (jako ostatnia)
- 08:37, 6 maj 2007 (hist) (różn) Grafika:Belsys11.pdf ('O przekonaniach i przekonywaniu'. Wykład 11: logika epistemiczna a systemy przekonań.) (jako ostatnia)
- 08:36, 6 maj 2007 (hist) (różn) Grafika:Belsys10.pdf ('O przekonaniach i przekonywaniu'. Wykład 10: manipulacja.) (jako ostatnia)
- 18:20, 5 maj 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→O przekonaniach i przekonywaniu (wykład fakultatywny))
- 18:19, 5 maj 2007 (hist) (różn) Jerzy Pogonowski - Teksty on line (→Odczyty)
- 18:18, 5 maj 2007 (hist) (różn) Grafika:Karpacz2007.pdf ('Szczęściarze epistemiczni'. Odczyt: Zastosowania Logiki w Filozofii i Podstawach Matematyki, Szklarska Poręba 2007.) (jako ostatnia)
- 19:19, 24 kwi 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→Funkcje rekurencyjne)
- 19:17, 24 kwi 2007 (hist) (różn) Grafika:Drfurek12.pdf (Funkcje rekurencyjne. Wykład dodatkowy: dowodliwość a prawdziwość, maszyny logiczne Smullyana.) (jako ostatnia)
- 17:04, 20 kwi 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→O przekonaniach i przekonywaniu (wykład fakultatywny))
- 17:03, 20 kwi 2007 (hist) (różn) Grafika:Drbelsys09.pdf ('O przekonaniach i przekonywaniu'. Wykład 9: perswazja.) (jako ostatnia)
- 05:44, 19 kwi 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→O przekonaniach i przekonywaniu (wykład fakultatywny))
- 05:44, 19 kwi 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→Funkcje rekurencyjne)
- 08:33, 17 kwi 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→Funkcje rekurencyjne)
- 08:32, 17 kwi 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→O przekonaniach i przekonywaniu (wykład fakultatywny))
- 08:31, 17 kwi 2007 (hist) (różn) Grafika:Drfurek09.pdf (Funkcje rekurencyjne. Wykład 9. Reprezentowalność funkcji rekurencyjnych w PA.) (jako ostatnia)
- 08:30, 17 kwi 2007 (hist) (różn) Grafika:Drfurek08.pdf (Funkcje rekurencyjne. Wykład 8. Zbiory i relacje rekurencyjnie przeliczalne.) (jako ostatnia)
- 08:28, 17 kwi 2007 (hist) (różn) Grafika:Drbelsys08.pdf ('O przekonaniach i przekonywaniu' - wykład ósmy.) (jako ostatnia)
- 16:45, 12 kwi 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→O przekonaniach i przekonywaniu (wykład fakultatywny))
- 16:43, 12 kwi 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→Funkcje rekurencyjne)
- 16:42, 12 kwi 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→Funkcje rekurencyjne)
- 15:54, 10 kwi 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→O przekonaniach i przekonywaniu (wykład fakultatywny))
- 15:53, 10 kwi 2007 (hist) (różn) Grafika:Drbelsys07.pdf ('O przekonaniach i przekonywaniu' --- wykład siódmy.) (jako ostatnia)
- 07:27, 10 kwi 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→Logika - zadania archiwalne)
- 07:25, 10 kwi 2007 (hist) (różn) Grafika:Jin2.pdf (Zadania egzaminacyjne z Logiki Matematycznej, 2002.) (jako ostatnia)
- 07:23, 10 kwi 2007 (hist) (różn) Grafika:Etnolka2.pdf (Zadania egzaminacyjne z Logiki, 2002.) (jako ostatnia)
- 18:10, 9 kwi 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→Funkcje rekurencyjne)
- 18:09, 9 kwi 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→O przekonaniach i przekonywaniu (wykład fakultatywny))
- 18:08, 9 kwi 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→Funkcje rekurencyjne)
- 18:06, 9 kwi 2007 (hist) (różn) Grafika:Drfurek07.pdf (Funkcje rekurencyjne --- wykład siódmy.) (jako ostatnia)
- 08:23, 5 kwi 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→Funkcje rekurencyjne)
- 08:22, 5 kwi 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→O przekonaniach i przekonywaniu (wykład fakultatywny))
- 08:22, 5 kwi 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→O przekonaniach i przekonywaniu (wykład fakultatywny))
- 08:20, 5 kwi 2007 (hist) (różn) Grafika:Logetno.pdf (Zadania z logiki 2000-2001.) (jako ostatnia)
- 08:19, 5 kwi 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna
- 18:56, 3 kwi 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→O przekonaniach i przekonywaniu (wykład fakultatywny))
- 18:56, 3 kwi 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→Funkcje rekurencyjne)
- 18:53, 3 kwi 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→O przekonaniach i przekonywaniu (wykład fakultatywny))
- 18:52, 3 kwi 2007 (hist) (różn) Grafika:Drbelsys06.pdf (O przekonaniach i przekonywaniu, wykład 6: wnioskowania indukcyjne.) (jako ostatnia)
- 17:43, 2 kwi 2007 (hist) (różn) Grafika:Drfurek06.pdf (Funkcje rekurencyjne. Wykład szósty: maszyny Turinga.) (jako ostatnia)
- 17:42, 2 kwi 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→Funkcje rekurencyjne)
- 17:55, 26 mar 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→O przekonaniach i przekonywaniu (wykład fakultatywny))
- 17:54, 26 mar 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→Funkcje rekurencyjne)
- 17:53, 26 mar 2007 (hist) (różn) Grafika:Drbelsys05.pdf (Wykład piąty: argumenty dedukcyjne.) (jako ostatnia)
- 17:52, 26 mar 2007 (hist) (różn) Grafika:Drfurek05.pdf (Wykład piąty: fraktale.) (jako ostatnia)
- 17:48, 26 mar 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→Logika matematyczna)
- 17:47, 26 mar 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→Logika matematyczna)
- 08:49, 25 mar 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→Logika matematyczna)
- 08:41, 25 mar 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→Logika matematyczna)
- 08:36, 25 mar 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna
- 08:29, 25 mar 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→O przekonaniach i przekonywaniu (wykład fakultatywny))
- 08:28, 25 mar 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→Funkcje rekurencyjne)
- 08:17, 25 mar 2007 (hist) (różn) Badania (→Investigationes Linguisticae 14)
- 08:16, 25 mar 2007 (hist) (różn) Badania (→Investigationes Linguisticae 14)
- 08:14, 25 mar 2007 (hist) (różn) Badania
- 19:51, 1 mar 2007 (hist) (różn) Grafika:Drzakop2007.pdf (Odczyt na konferencji 'Applications of Algebra in Logic and Computer Science', 2007.) (jako ostatnia)
- 19:47, 1 mar 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→Funkcje rekurencyjne)
- 19:47, 1 mar 2007 (hist) (różn) Jerzy Pogonowski - Teksty on line (→Odczyty)
- 05:44, 23 lut 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→Funkcje rekurencyjne)
- 05:44, 23 lut 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→O przekonaniach i przekonywaniu (wykład fakultatywny))
- 05:43, 23 lut 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→Naukoznawstwo)
- 05:43, 23 lut 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→Rozdział III skryptu 'Metoda drzew semantycznych w Klasycznym Rachunku Logicznym')
- 20:37, 22 lut 2007 (hist) (różn) Grafika:Drkarpacz2007.pdf (Wersja beta odczytu 'Szczęściarze epistemiczni' na 'Zastosowania logiki w filozofii i podstawach matematyki', maj 2007.) (jako ostatnia)
- 20:35, 22 lut 2007 (hist) (różn) Jerzy Pogonowski - Teksty on line (→Odczyty)
- 20:35, 22 lut 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→O przekonaniach i przekonywaniu (wykład fakultatywny))
- 06:12, 21 lut 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→Funkcje rekurencyjne)
- 06:12, 21 lut 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→Funkcje rekurencyjne)
- 06:11, 21 lut 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→Funkcje rekurencyjne)
- 06:10, 21 lut 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→Funkcje rekurencyjne)
- 06:07, 21 lut 2007 (hist) (różn) Jerzy Pogonowski - Teksty on line (→Odczyty)
- 06:06, 21 lut 2007 (hist) (różn) Grafika:Za2007.pdf (Wersja beta prezentacji 'Ptak Gödla' na Applications of Algebra in Logic and Computer Science, XI, 2007.) (jako ostatnia)
- 17:39, 19 lut 2007 (hist) (różn) Grafika:Drbelsys02.pdf ('O przekonaniach i przekonywaniu' - wykład drugi.) (jako ostatnia)
- 17:38, 19 lut 2007 (hist) (różn) Grafika:Drbelsys01.pdf ('O przekonaniach i przekonywaniu' - wykład pierwszy.) (jako ostatnia)
- 17:36, 19 lut 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna (→O przekonaniach i przekonywaniu (wykład fakultatywny))
- 11:26, 19 lut 2007 (hist) (różn) Grafika:Sylwykfak07.pdf (Sylabus 'O przekonaniach i przekonywaniu', 2007.) (jako ostatnia)
- 11:24, 19 lut 2007 (hist) (różn) Grafika:Syllogmat07.pdf (Sylabus 'Logika matematyczna', 2007.) (jako ostatnia)
- 11:23, 19 lut 2007 (hist) (różn) Grafika:Sylfurek07.pdf (Sylabus 'Funkcje rekurencyjne', 2007.) (jako ostatnia)
- 11:22, 19 lut 2007 (hist) (różn) Grafika:Sylfak2005.pdf (Sylabus 'O przekonaniach i przekonywaniu' 2007.) (jako ostatnia)
- 11:21, 19 lut 2007 (hist) (różn) Jerzy Pogonowski - Posługa dydaktyczna
- 10:35, 19 lut 2007 (hist) (różn) Jerzy Pogonowski - Teksty on line (→Artykuły)
- 10:35, 19 lut 2007 (hist) (różn) Grafika:THIEL1.pdf (Artykuł 'Logical investigations at the University of Poznań in 1945-1955' (Festschrift Prof. Thiela). Współautor: Roman Murawski.) (jako ostatnia)
- 10:33, 19 lut 2007 (hist) (różn) Jerzy Pogonowski - Teksty on line (→Artykuły)
(Najnowsze | Najstarsze) Zobacz (nowsze 100) (starsze 100) (20 | 50 | 100 | 250 | 500).