Prowadzony w
cyklach:
2022/23L, 2023/24Z, 2024/25Z
Kod ISCED: 0541
Punkty ECTS:
4
Język:
angielski
Organizowany przez:
Katedra Kognitywistyki
Theory of Computation 2401-CS-21-ToC-s2
Jeszcze nie wprowadzono opisu dla tego przedmiotu...
Całkowity nakład pracy studenta
(po angielsku) Contact hours with teacher:
- participation in lectures - 15 hrs
- participation in tutorials - 15 hrs
- consultations- 20 hrs
Self-study hours:
- preparation for lectures and reading literature - 30 hrs
- preparation for test/examination - 20 hrs
Altogether: 100 hrs (4 ECTS)
Efekty uczenia się - wiedza
(po angielsku) Student
W1: is familiar with finite automata - K_W02
W2: has advanced thorough knowledge of pushdown automata - K_W08
W3: is well acquainted with Turing machine - K_W05
W4: knows and understands terms time/memory complexity - K_W06
Efekty uczenia się - umiejętności
(po angielsku) Student
U1: is able to recognize regular languages - K_U09
U2: can find context free grammar for a given language - K_U12
U3: has advanced skills in determining context-free launguages - K_U02, K_U03
U4: can estimate time and memory complexity of a given algorithm - K_U01, K_U10
Efekty uczenia się - kompetencje społeczne
(po angielsku) Student
K1: is well prepared to creatively find solutions of problems - K_K01, K_K05
K2: understands the significance of the scientific method - K_K02
Metody dydaktyczne
(po angielsku) Expository teaching methods:
- informative (conventional) lecture
- problem-based lecture
Exploratory teaching methods:
- practical
Metody dydaktyczne podające
- opis
- wykład problemowy
- wykład informacyjny (konwencjonalny)
- pogadanka
- wykład problemowy
- wykład informacyjny (konwencjonalny)
- pogadanka
Metody dydaktyczne poszukujące
- ćwiczeniowa
- klasyczna metoda problemowa
- klasyczna metoda problemowa
Rodzaj przedmiotu
przedmiot obligatoryjny
Wymagania wstępne
(po angielsku) None
Koordynatorzy przedmiotu
W cyklu 2022/23L: | W cyklu 2023/24Z: | W cyklu 2024/25Z: |
Więcej informacji
Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb: