- Nazwa przedmiotu:
- Introduction to formal logic and set theory
- Koordynator przedmiotu:
- Dr hab. inż. Konstanty Junosza-Szaniawski, prof. uczelni
- Status przedmiotu:
- Obowiązkowy
- Poziom kształcenia:
- Studia I stopnia
- Program:
- Computer Science and Information Systems
- Grupa przedmiotów:
- Obligatory
- Kod przedmiotu:
- 1120-IN000-ISA-0113
- Semestr nominalny:
- 1 / rok ak. 2024/2025
- Liczba punktów ECTS:
- 5
- Liczba godzin pracy studenta związanych z osiągnięciem efektów uczenia się:
- 1. godziny kontaktowe – 75 h; w tym
a) obecność na wykładach – 30 h
b) obecność na ćwiczeniach – 30 h
c) konsultacje – 15 h
2. praca własna studenta – 75 h; w tym
a) przygotowanie do wykładu – 15 h
b) przygotowanie do ćwiczeń, kolokwiów i egzaminu; obecność na egzaminie – 60 h
Razem 150 h, co odpowiada 5 pkt ECTS
- Liczba punktów ECTS na zajęciach wymagających bezpośredniego udziału nauczycieli akademickich:
- 1. obecność na wykładach – 30 h
2. obecność na ćwiczeniach – 30 h
3. konsultacje – 15 h
Razem 75 h, co odpowiada 3 pkt. ECTS
- Język prowadzenia zajęć:
- angielski
- Liczba punktów ECTS, którą student uzyskuje w ramach zajęć o charakterze praktycznym:
- Formy zajęć i ich wymiar w semestrze:
-
- Wykład30h
- Ćwiczenia30h
- Laboratorium0h
- Projekt0h
- Lekcje komputerowe0h
- Wymagania wstępne:
- .
- Limit liczby studentów:
- Ćwiczenia – 30 os. /grupa
- Cel przedmiotu:
- .
- Treści kształcenia:
- .
- Metody oceny:
- .
- Egzamin:
- tak
- Literatura:
- .
- Witryna www przedmiotu:
- Uwagi:
Efekty uczenia się
Profil ogólnoakademicki - wiedza
- Charakterystyka W01
- .
Weryfikacja: .
Powiązane charakterystyki kierunkowe:
K_W01
Powiązane charakterystyki obszarowe:
- Charakterystyka W02
- .
Weryfikacja: .
Powiązane charakterystyki kierunkowe:
K_W01
Powiązane charakterystyki obszarowe:
- Charakterystyka W03
- .
Weryfikacja: .
Powiązane charakterystyki kierunkowe:
K_W01
Powiązane charakterystyki obszarowe:
Profil ogólnoakademicki - umiejętności
- Charakterystyka U01
- .
Weryfikacja: .
Powiązane charakterystyki kierunkowe:
K_U01
Powiązane charakterystyki obszarowe:
- Charakterystyka U02
- .
Weryfikacja: .
Powiązane charakterystyki kierunkowe:
K_U01
Powiązane charakterystyki obszarowe:
- Charakterystyka U03
- .
Weryfikacja: .
Powiązane charakterystyki kierunkowe:
K_U01, K_U04
Powiązane charakterystyki obszarowe: