Logika 1 WF-FI-N11-L1
Ćwiczenia (CW) Semestr zimowy 2022/23

-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),

- 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.

1. Wiedza: Student ma uporządkowaną znajomość i rozumie główne kierunki badań w zakresie logiki; zna podstawowe metody badawcze: metodę analizy logicznej, dedukcję sformalizowaną (dowodzenie, wnioskowanie) w ramach logiki klasycznej.

2. Umiejętności: Student trafnie definiuje pojęcia na gruncie poznanych języków formalnych, poprawnie stosuje wybrane pojęcia logiczne, zna scharakteryzowane systemy dedukcyjne logiki klasycznej

3. Kompetencje: Na podstawie analizy nowych sytuacji problemowych z zakresu logiki student samodzielnie formułuje propozycje ich rozwiązania - potrafi samodzielnie konstruować dowody nowych lematów i twierdzeń, falsyfikować formuły nietautologiczne, orzekać czy zachodzi wynikanie logiczne w prostych rozumowaniach pozalogicznych.

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

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ń.

Ćwiczenia stanowią istotne uzupełnienie treści prezentowanych w trakcie wykładu Logika 1. Zakres i porządek tematów ściśle odpowiada zakresowi i porządkowi tematów wykładowych.

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.