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: