Logika formalna F-FLZ.67
Konwersatorium (KW) Semestr letni 2022/2023

Informacje o zajęciach (wspólne dla wszystkich grup)

Liczba godzin:	30
Limit miejsc:	(brak limitu)
Zaliczenie:	Zaliczenie na ocenę
Literatura:	1. Barbara Stanosz,Wprowadzenie do logiki formalnej, PWN 1999. 2. Barbara Stanosz,Ćwiczenia z logiki, PWN 1999. 3. Katarzyna Paprzycka,Logika nie gryzie, Zysk i S-ka, 2009.
Efekty uczenia się:	01 zna podstawy logiki klasycznej K_W02, P6U_W, P6S_WG 02 zna zależności między językiem logiki i językiem naturalnym K_W01, P6U_W, P6S_WG, P6S_WK 03 zna podstawy teorii mnogości K_W02, P6U_W, P6S_WG 04 potrafi dowodzić prostych twierdzeń K_U03, P6U_U, P6S_UW 05 posiada umiejętność analizy formalnej języka K_U03, P6U_U, P6S_UW 06 posiada umiejętność formalizacji problemów K_U04, P6U_U, P6S_UW, P6S_UO 06 wykazuje postawę krytyczną K_K01, P6U_K, P6S_KK 07 ma twórcze podejście do problemów K_K01, P6U_K, P6S_KK
Metody i kryteria oceniania:	Sprawdzian pisemny, obecność i aktywność na zajęciach
Zakres tematów:	Rachunek zdań i kwantyfikatorów Rachunek zbiorów i relacji
Metody dydaktyczne:	W czasie zajęć studenci prezentują rozwiązania zadanych zadań Kontrola i wyjaśnianie

Grupa	Termin(y)	Prowadzący	Miejsca Liczba osób w grupie / limit miejsc	Akcje
1	(brak danych), (sala nieznana)	Barbara Tomczyk	12/	szczegóły
Wszystkie zajęcia odbywają się w budynku:

Opisy przedmiotów w USOS i USOSweb są chronione prawem autorskim.
Właścicielem praw autorskich jest Uniwersytet Marii Curie-Skłodowskiej w Lublinie.