- Nazwa przedmiotu:
- Automata Theory and Formal Languages
- Koordynator przedmiotu:
- Prof. dr hab. inż. Władysław Homenda
- 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-0351
- Semestr nominalny:
- 5 / 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 – 70 h; w tym
a) obecność na wykładach – 30 h
b) obecność na ćwiczeniach – 15 h
c) obecność na laboratoriach – 15 h
d) konsultacje – 5 h
e) egzamin – 5 h
2. praca własna studenta – 55 h, w tym
a) przygotowanie do wykładów – 15 h
b) przygotowanie do ćwiczeń i zajęć laboratoryjnych – 30 h
c) dodatkowo przygotowanie do sprawdzianów pisemnych i egzaminu – 10 h
Razem 125 h, co odpowiada 4 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 – 15 h
3. obecność na laboratoriach – 15 h
4. obecność na egzaminach – 5 h
5. konsultacje z prowadzącymi zajęcia – 5 h
Razem 70 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:
- 1. obecność na ćwiczeniach – 15 h
2. obecność na laboratoriach – 15 h
3. przygotowanie do ćwiczeń i zajęć laboratoryjnych – 30 h
4. przygotowanie do sprawdzianów pisemnych i egzaminu – 10 h
Razem 70 h, co odpowiada 3 pkt. ECTS
- Formy zajęć i ich wymiar w semestrze:
-
- Wykład30h
- Ćwiczenia15h
- Laboratorium15h
- Projekt0h
- Lekcje komputerowe0h
- Wymagania wstępne:
- .
- Limit liczby studentów:
- Bez limitu
- Cel przedmiotu:
- Basic ideas of the automata theory and languages: grammars, languages, finite automata, push-down automata, Turing machines, nondeterminizm, Chomsky hierarchy of languages.
- 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_W07, K_W10, K_W12, K_W04
Powiązane charakterystyki obszarowe:
- Charakterystyka W02
- .
Weryfikacja: .
Powiązane charakterystyki kierunkowe:
K_W04, K_W07, K_W10, K_W12
Powiązane charakterystyki obszarowe:
Profil ogólnoakademicki - umiejętności
- Charakterystyka U01
- .
Weryfikacja: .
Powiązane charakterystyki kierunkowe:
K_U01, K_U04, K_U09, K_U14, K_U23
Powiązane charakterystyki obszarowe:
- Charakterystyka U02
- .
Weryfikacja: .
Powiązane charakterystyki kierunkowe:
K_U01, K_U04, K_U09, K_U14, K_U23
Powiązane charakterystyki obszarowe:
- Charakterystyka U03
- .
Weryfikacja: .
Powiązane charakterystyki kierunkowe:
K_U01, K_U04, K_U09, K_U14, K_U23
Powiązane charakterystyki obszarowe:
Profil ogólnoakademicki - kompetencje społeczne
- Charakterystyka K01
- .
Weryfikacja: .
Powiązane charakterystyki kierunkowe:
K_K01, K_K02, K_K04, K_K07
Powiązane charakterystyki obszarowe: