Wkład użytkownika
From Zakład Logiki Stosowanej
(Najnowsze | Najstarsze) Zobacz (nowsze 50) (starsze 50) (20 | 50 | 100 | 250 | 500).
- 21:16, 5 cze 2022 (hist) (różn) Loa (→Teksty źródłowe)
- 21:14, 5 cze 2022 (hist) (różn) Loa (→Teksty źródłowe)
- 21:07, 5 cze 2022 (hist) (różn) Grafika:Suszko1968 ontology in the tractatus of wittgenstein.pdf (Suszko 1968) (jako ostatnia)
- 21:06, 5 cze 2022 (hist) (różn) Grafika:Bloom-Suszko-1972.pdf (Bloom-Suszko 1972) (jako ostatnia)
- 21:03, 5 cze 2022 (hist) (różn) Grafika:Bloom completeness w-theories.pdf (Bloom 1971) (jako ostatnia)
- 20:49, 5 cze 2022 (hist) (różn) Loa (→Tematy esejów zaliczeniowych 2021-2022)
- 20:36, 5 cze 2022 (hist) (różn) Grafika:PogorzelskiWojtylak.pdf (Pogorzelski, Wojtylak) (jako ostatnia)
- 20:32, 5 cze 2022 (hist) (różn) Grafika:Univ-algebra-burris-sankappanavar.pdf (Burris-Sankappanavar) (jako ostatnia)
- 20:31, 5 cze 2022 (hist) (różn) Grafika:Wojcicki-Lectures.pdf (RW: Lectures on propositional calculi) (jako ostatnia)
- 20:30, 5 cze 2022 (hist) (różn) Loa (→Teksty źródłowe)
- 20:22, 5 cze 2022 (hist) (różn) Loa (→English summary)
- 20:20, 5 cze 2022 (hist) (różn) Grafika:Scival.pdf (wartościowania prawdziwościowe) (jako ostatnia)
- 20:19, 5 cze 2022 (hist) (różn) Loa (→Prezentacje)
- 20:16, 5 cze 2022 (hist) (różn) Loa (→Prezentacje)
- 20:11, 5 cze 2022 (hist) (różn) Grafika:Fws02.pdf (non-fregean logic) (jako ostatnia)
- 20:10, 5 cze 2022 (hist) (różn) Grafika:Algebraiclogic01.pdf (algebraic logic) (jako ostatnia)
- 20:10, 5 cze 2022 (hist) (różn) Grafika:Sciade.pdf (SCI) (jako ostatnia)
- 20:09, 5 cze 2022 (hist) (różn) Grafika:Sciunc.pdf (SCI adekwatność) (jako ostatnia)
- 20:08, 5 cze 2022 (hist) (różn) Grafika:Scifin.pdf (jako ostatnia)
- 20:07, 5 cze 2022 (hist) (różn) Grafika:Logalg10.pdf (teorie w W-językach) (jako ostatnia)
- 20:06, 5 cze 2022 (hist) (różn) Grafika:Logalg09y.pdf (W-języki) (jako ostatnia)
- 20:06, 5 cze 2022 (hist) (różn) Loa (→Logika algebraiczna)
- 18:00, 5 cze 2022 (hist) (różn) Grafika:Logalg08y.pdf (logika niefregowska) (jako ostatnia)
- 17:59, 5 cze 2022 (hist) (różn) Loa (→Prezentacje)
- 17:52, 5 cze 2022 (hist) (różn) Grafika:Alglog07.pdf (matryce logiczne) (jako ostatnia)
- 17:50, 5 cze 2022 (hist) (różn) Grafika:Alglog06x.pdf (operacje konsekwencji) (jako ostatnia)
- 17:49, 5 cze 2022 (hist) (różn) Grafika:Alglog05z.pdf (algebry Boole'a) (jako ostatnia)
- 17:48, 5 cze 2022 (hist) (różn) Grafika:Alglog04y.pdf (kraty) (jako ostatnia)
- 17:47, 5 cze 2022 (hist) (różn) Grafika:Alglog03.pdf (produkty) (jako ostatnia)
- 17:46, 5 cze 2022 (hist) (różn) Grafika:Alglog02z.pdf (algebry) (jako ostatnia)
- 17:45, 5 cze 2022 (hist) (różn) Grafika:Alglog01.pdf (plan wykładu) (jako ostatnia)
- 17:43, 5 cze 2022 (hist) (różn) Loa
- 17:40, 5 cze 2022 (hist) (różn) Loa
- 17:39, 5 cze 2022 (hist) (różn) Loa
- 17:37, 5 cze 2022 (hist) (różn) Loa (New page: __TOC__ en:Jerzy_Pogonowski_-_Teaching de:Jerzy_Pogonowski_-_Lehre CV | Badania | [[Jerzy Pogono...)
- 17:36, 5 cze 2022 (hist) (różn) Dydaktyka (→Pracownik Jerzy Pogonowski: posługa dydaktyczna)
- 17:35, 5 cze 2022 (hist) (różn) Dydaktyka (→Pracownik Jerzy Pogonowski: posługa dydaktyczna)
- 17:45, 23 mar 2022 (hist) (różn) Jog (→Prezentacje 2020) (jako ostatnia)
- 17:44, 23 mar 2022 (hist) (różn) Grafika:Jo04z.pdf (system dzwiekowy) (jako ostatnia)
- 19:28, 14 mar 2022 (hist) (różn) Jog (→Prezentacje 2020)
- 19:27, 14 mar 2022 (hist) (różn) Grafika:Jo03.pdf (typologia genetyczna) (jako ostatnia)
- 20:16, 26 sty 2022 (hist) (różn) Mpk (→Zaliczenie wykładu 2021/2022: rozwiązania)
- 20:15, 26 sty 2022 (hist) (różn) Mpk
- 20:13, 26 sty 2022 (hist) (różn) Grafika:Mpk26i22rozw.pdf (zal mpk) (jako ostatnia)
- 10:07, 4 lip 2021 (hist) (różn) Jerzy Pogonowski - Teksty on line (→Odczyty)
- 10:03, 4 lip 2021 (hist) (różn) Grafika:5vii2021.pdf (wykład 5vii21) (jako ostatnia)
- 10:08, 15 kwi 2021 (hist) (różn) Jog (→Prezentacje 2020)
- 10:07, 15 kwi 2021 (hist) (różn) Grafika:Jo05b.pdf (systemy pisma) (jako ostatnia)
- 16:40, 25 mar 2021 (hist) (różn) Ncn2015jp (→Books) (jako ostatnia)
- 16:34, 25 mar 2021 (hist) (różn) Mdtiar (→Metody dowodzenia twierdzeń i automatyzacja rozumowań 2020-2021)
(Najnowsze | Najstarsze) Zobacz (nowsze 50) (starsze 50) (20 | 50 | 100 | 250 | 500).