Drukuj Eksport do pliku (MS Word)
Nazwa przedmiotu:
Automata Theory and 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. 2021/2022
Liczba punktów ECTS:
4
Liczba godzin pracy studenta związanych z osiągnięciem efektów uczenia się:
Liczba punktów ECTS na zajęciach wymagających bezpośredniego udziału nauczycieli akademickich:
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:
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:
brak
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: