Logika 1 [WF-FI-N11-L1] Semestr zimowy 2024/25
Ćwiczenia, grupa nr 1

-obowiązkowa:

1. Ajdukiewicz K., "O spójności syntaktycznej", w: Język i poznanie. T1, PWN, Warszawa 1985, s. 222-242;

2. Słupecki J., Borkowski L., Elementy logiki matematycznej i teorii mnogości, PWN, Warszawa 1984, do strony 172;

3. Nieznański E., Logika. Podstawy, język, uzasadnianie, Beck, Warszawa 2011 (fragmenty),

4. Stanosz, B., Wprowadzenie do logiki formalnej, PWN;

5. Stanosz, B. Ćwiczenia z logiki, PWN;

- uzupełniająca:

1. Malinowski G. Logika ogólna, PWN Warszawa 2010;

2. Wajszczyk J., Wstęp do logiki z ćwiczeniami, Wydawnictwo Uniwersytetu Warminsko-Mazurskiego 2001.

3. Teresa Hołówka, Kultura logiczna w przykładach, PWN.

Podstawowym celem zajęć jest nauczenie praktycznych umiejętności rozwiązywania zadań z zakresu logiki. W tym celu studenci mają brać aktywny udział w zajęciach: rozwiązywać zadania na tablicy oraz w grupach. Nauczyciel jest osobą kontrolującą poprawność rozumowań podejmowanych przez studentów i uzyskiwanych przez nich wyników.

Weryfikacja efektów kształcenia odbywa się przez kartkówki na koniec ćwiczeń.

1. Obecność na zajęciach jest obowiązkowa. Maksymalna ilość nieusprawiedliwonych nieobecności: 3.

2. W ramach każdych zajęć prowadzonych bezpośrednio, studenci piszą kartkówkę ocenianą: + albo: -. Minimum potrzebne do zaliczenia stanowi przewaga dwóch +.

3. W przypadku zajęć zdalnych: w trakcie każdych zajęć studenci dostają dwa pytania, na które muszą odpowiedzieć do końca trwania tych zajęć. Odpowiedzi są oceniane na: + albo: -. Minimum potrzebne do zaliczenia to przewaga dwóch +.

Minimalna ocena pozytywna: dst. Wyższe oceny są uzależnione od przekroczenia minimalnych wymagań opisanych w 2 i 3. Przekroczenie dozwolonej ilości nieobecności uniemożliwia zaliczenie ćwiczeń.