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

Nazwa modułu: Warsztaty z logiki
Kod modułu: W4-MT-S1-23-WzLog
Kod programu: W4-S1MT19.2023
Semestr: semestr zimowy 2023/2024
Język wykładowy: polski
Forma zaliczenia: zaliczenie
Punkty ECTS: 1
Cel i opis treści kształcenia:
Celem zajęć wytworzenie i wzmocnienie kompetencji związanych z posługiwaniem się formalnym językiem logiki stosowanym w matematyce, pojęciami z zakresu podstaw 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 teorię i znaczenie dowodu w matematyce, a także pojęcie istotności założeń [WzLog_1]
 K_W02 [5/5]
zna podstawowe przykłady zarówno ilustrujące konkretne pojęcia matematyczne, jak i pozwalające obalić błędne hipotezy lub nieuprawnione rozumowania [WzLog_2]
 K_W05 [4/5]
zna wybrane pojęcia i metody logiki matematycznej, teorii mnogości, i matematyki dyskretnej zawarte w podstawach innych dyscyplin matematyki [WzLog_3]
 K_W06 [3/5]
potrafi w sposób zrozumiały, w mowie i piśmie, przedstawić poprawne rozumowania matematyczne, formułować twierdzenia i definicje [WzLog_4]
 K_U01 [4/5]
posługuje się rachunkiem zdań i kwantyfikatorów; potrafi poprawnie używać kwantyfikatorów także w języku potocznym [WzLog_5]
 K_U02 [5/5]
umie stosować system logiki klasycznej do formalizacji teorii matematycznych [WzLog_6]
 K_U04 [3/5]
rozumie zagadnienia związane z różnymi rodzajami nieskończoności oraz porządków w zbiorach [WzLog_7]
 K_U06 [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_8]
 K_U42 [3/5] K_K01 [4/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 WzLog_6 WzLog_7 WzLog_8
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)
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)