Elements of set theory and mathematical logic 1000-M1WDMn

(in Polish) 30 godz. – wykład, 30 godz. - ćwiczenia, 50 godz. - praca własna - bieżące przygotowanie do zajęć, studiowanie literatury, 40 godz. praca własna - przygotowanie do egzaminu, 5 godz. - zaliczenie ćwiczeń i egzamin. RAZEM: 155 godz. 6 pkt. ECTS

(in Polish) W1: Zna wybrane pojęcia i metody logiki matematycznej i teorii mnogości (K_W03). W2: Zna podstawowe pojęcia, twierdzenia i przykłady dotyczące działań na zbiorach oraz ogólnych własności funkcji i relacji (K_W03). W3: Zna konstrukcję podstawowych obiektów matematycznych (K_W02). W4: Rozumie rolę dowodu w matematyce (K_W02).

(in Polish) U1: Posługuje się rachunkiem zdań i kwantyfikatorów, potrafi poprawnie używać kwantyfikatorów również w języku potocznym, umie stosować system logiki klasycznej (K_U02). U2: Potrafi w sposób zrozumiały, w mowie i na piśmie, przedstawiać poprawne rozumowania matematyczne, formułować twierdzenia i definicje (K_U01). U3: Umie prowadzić łatwe i średnio trudne dowody metodą indukcji zupełnej (K_U03). U4: Posługuje się językiem teorii mnogości, rozróżnia podstawowe rodzaje nieskończoności i umie zilustrować je przykładami (K_U04, K_U05).

(in Polish) K1: Przekazuje innym swoją wiedzę i przemyślenia w zrozumiały sposób, właściwie rozumie sformułowania pytań i problemów, poprawnie posługuje się terminologią fachową (K_K02,K_K03).

- informative (conventional) lecture
- problem-based lecture

- practical
- classic problem-solving

compulsory course

(in Polish) Znajomość matematyki na poziomie szkoły średniej.

Additional information (registration calendar, class conductors, localization and schedules of classes), might be available in the USOSweb system:

• Description of 1000-M1WDMn in USOSweb