▸ 2025/26 Logika WFz.IF-F1-OBL-LO01 (Ćwiczenia)
Handouts:
8 Oct 2025
15 Oct 2025
22 Oct 2025
29 Oct 2025
5 Nov 2025
12 Nov 2025
19 Nov 2025
26 Nov 2025
3 Dec 2025
10 Dec 2025
17 Dec 2025
14 Jan 2026
28 Jan 2026
4 Mar 2026
11 Mar 2026
18 Mar 2026
25 Mar 2026
1 Apr 2026
8 Apr 2026
22 Apr 2026
6 May 2026
13 May 2026
20 May 2026
27 May 2026
Resources:
M. Porębska & W. Suchoń. Elementarne wprowadzenie w logikę formalną
K. Idziak. Materiały pomocnicze do ćwiczeń z logiki
W. Marek& J.Onyszkiewicz. Elementy logiki i teorii mnogości w zadaniach
D. Barker-Plummer, J. Barwise, J. Etchemendy. Logic, language, proof
Agnieszka Proszewska's webpage