Warsztaty z logiki Kierunek studiów: Matematyka
Kod programu: W4-S1MT19.2025

Nazwa modułu: Warsztaty z logiki
Kod modułu: W4-MT-S1-25-WzLog
Kod programu: W4-S1MT19.2025
Semestr: semestr zimowy 2025/2026
Język wykładowy: polski
Forma zaliczenia: zaliczenie
Punkty ECTS: 2
Cel i opis treści kształcenia:
Celem zajęć jest wytworzenie i wzmocnienie kompetencji związanych z posługiwaniem się formalnym językiem logiki stosowanym w matematyce, pojęciami z zakresu fundamentów matematyki oraz technik dowodowych stosowanych w różnych działach matematyki.
Lista modułów koniecznych do zaliczenia przed przystąpieniem do tego modułu (o ile to konieczne): nie dotyczy
Efekt modułowy Kody efektów kierunkowych do których odnosi się efekt modułowy [stopień realizacji: skala 1-5]
dobrze rozumie przedstawioną na zajęciach teorię i znaczenie dowodu w matematyce, a także pojęcie istotności założeń [WzLog_1]
 K_W03 [3/5]
zna wybrane pojęcia i metody logiki matematycznej, teorii mnogości, i matematyki dyskretnej zawarte w podstawach innych dyscyplin matematyki [WzLog_2]
 K_W04 [1/5]
potrafi w sposób zrozumiały, w mowie i piśmie, przedstawić poprawne rozumowania matematyczne, formułować twierdzenia i definicje z zakresu tematyki modułu [WzLog_3]
 K_U01 [2/5]
posługuje się rachunkiem zdań i kwantyfikatorów; potrafi poprawnie używać kwantyfikatorów także w języku potocznym [WzLog_4]
 K_U02 [3/5]
zna ograniczenia własnej wiedzy i rozumie potrzebę dalszego kształcenia; potrafi precyzyjnie formułować pytania, służące pogłębieniu własnego zrozumienia danego tematu lub odnalezieniu brakujących elementów rozumowania [WzLog_5]
 K_K01 [2/5]
Forma prowadzonych zajęć Liczba godzin Metody prowadzenia zajęć Sposób weryfikacji efektów uczenia się Efekty uczenia się
konwersatorium [WzLog_fs_1] 30 Metody aktywizujące: peer learning [b08] 
Rekonstrukcja/odtworzenie [d04] 
Ćwiczenie laboratoryjne/doświadczenie [e01]  		zaliczenie WzLog_1 WzLog_2 WzLog_3 WzLog_4 WzLog_5
Praca studenta poza udziałem w zajęciach obejmuje w szczególności:
Nazwa Kategoria Opis
Ćwiczenie praktycznych umiejętności [a03] Przygotowanie do zajęć
czynności polegające na powtarzaniu, doskonaleniu i utrwalaniu praktycznych umiejętności, w tym ćwiczonych podczas odbytych wcześniej zajęć lub nowych, niezbędnych z punktu widzenia realizacji kolejnych elementów programu (jako przygotowanie się uczestnictwa w zajęciach)
Studiowanie wykorzystanej literatury oraz wytworzonych w ramach zajęć materiałów [c02] Przygotowanie do weryfikacji efektów uczenia się
wgłębianie się, dociekanie, rozważanie, przyswajanie, interpretacja lub porządkowanie wiedzy pochodzącej z literatury, dokumentacji, instrukcji, scenariuszy, itd., wykorzystanych na zajęciach oraz z notatek lub innych materiałów/wytworów sporządzonych w ich trakcie
Załączniki
Opis modułu (PDF)
Informacje o sylabusach mogą ulec zmianie w trakcie trwania studiów.
Sylabusy (USOSweb)
Semestr Moduł Język wykładowy
(brak danych)