Elementy logiki i teorii mnogości Kierunek studiów: Data Science i sztuczna inteligencja
Kod programu: W4-S1DS25.2025

Nazwa modułu: Elementy logiki i teorii mnogości
Kod modułu: W4_DSAI_S1_ALTM
Kod programu: W4-S1DS25.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 modułu jest zdobycie przez studiującego wiedzy i umiejętności w zakresie wybranych zagadnień logiki matematycznej oraz podstaw matematyki. Przewiduje się realizację następujących treści kształcenia: 1. Klasyczna logika zdań i klasyczna logika pierwszego rzędu 2. Algebra zbiorów 3. Relacje oraz pojęcie funkcji i ich podstawowe własności 4. Elementy teorii mocy
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]
Rozumie znaczenie logiki i teorii mnogości jako fundamentów formalnych data science i sztucznej inteligencji, wykazuje również gotowość do samodzielnego pogłębiania wiedzy w tym zakresie [K01]
 DSAI_1S_K01 [2/5]
potrafi konstruować poprawne definicje w tym definicje rekurencyjne [U01]
 DSAI_1S_U01 [2/5]
potrafi posługiwać się formalizmem matematycznym [U02]
 DSAI_1S_U01 [2/5]
rozumie w jaki sposób przyjęte założenia i reguły wnioskowania wpływają na poprawność rozumowania [U03]
 DSAI_1S_U01 [2/5]
zna klasyczny rachunek zdań i predykatów oraz pojęcia tautologii i spełnialności formuły, zna reguły wnioskowania oraz pojęcie dowodu. [W01]
 DSAI_1S_W01 [3/5]
zna rachunek zbiorów, pojęcie relacji i ich własności. [W02]
 DSAI_1S_W01 [3/5]
zna postawy teorii mocy. [W03]
 DSAI_1S_W01 [3/5]
Forma prowadzonych zajęć Liczba godzin Metody prowadzenia zajęć Sposób weryfikacji efektów uczenia się Efekty uczenia się
konwersatorium [fs_01] 30 Objaśnienie/wyjaśnienie [a05] 
Wykład konwersatoryjny [b02] 
Praca z podręcznikiem programowym [d02] 
Rekonstrukcja/odtworzenie [d04] 
Autoedukacja [f01]  		zaliczenie K01 U01 U02 U03 W01 W02 W03
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)
Zapoznanie się z zapisami sylabusa [b01] Konsultowanie programu i organizacji zajęć
przeglądanie zawartości sylabusa i zapoznanie się z treścią jego zapisów
Ustalanie etapów realizacji zadań przyczyniających się do weryfikacji efektów uczenia się [c01] Przygotowanie do weryfikacji efektów uczenia się
przygotowanie strategii realizacji zadania uwzględniającej podział treści, czynności i ich zakres, czas realizacji oraz/lub sposób pozyskania niezbędnych do jego wykonania materiałów i narzędzi, itp.
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
Analiza korekt/informacji zwrotnej ze strony NA dotyczących wyników wer. ef. ucz. [d01] Konsultowanie wyników weryfikacji efektów uczenia się
przegląd uwag, ocen i opinii sporządzonych przez NA odnoszących się do realizacji zadania sprawdzającego poziom osiągniętych efektów uczenia się
Opracowanie planu korekty i zadań uzupełniających/korygujących [d02] Konsultowanie wyników weryfikacji efektów uczenia się
przegląd i wybór zadań oraz czynności pozwalających na eliminację wskazanych przez NA błędów, ich weryfikację lub poprawę oraz zaliczenie zadania na, co najmniej, najniższym dopuszczalnym poziomie
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)