Logika 2 WF-FI-11-LOG2
Ćwiczenia (CW) Semestr letni 2019/20

Literatura obowiązkowa

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

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

Literatura uzupełniająca

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

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; trafnie definiuje pojęcia na gruncie poznanych języków formalnych, poprawnie projektuje definicje własnych terminów; zna podstawy logiki klasycznej; na podstawie analizy nowych sytuacjii problemowych samodzielnie formułuje propozycje ich rozwiązania (dowody lematów i twierdzeń).

OPIS ECTS: udział w ćwiczeniach 30; przygotowanie do ćwiczeń 30; czas na uzupełnienie informacji z wykładu tymi, które są prezentowane na ćwiczeniach 30; przygotowanie do egzaminu 40; SUMA GODZIN 130 [110 : 25 =6]; LICZBA ECTS 6

Na co drugich zajęciach studenci piszą kartkówki oceniane na +/-. Zaliczenie gwarantowane jest przez większą ilość + oraz obecność na zajęciach (maksymalna ilość nieobecności: 3). Na ostatnich zajęciach możliwe jest poprawienie kartkówek. Zaliczenie ćwiczeń jest warunkiem przystąpienia do egzaminu z logiki 2.

Tematyka pokrywa się całkowicie z tematami prezentowanymi w trakcie wykładu.

Ćwiczenia prowadzone są metodami tradycyjnymi. Wyjaśniamy pojęcia z wykładu, rozwiązujemy zadania.