Jak działają komputery. Wprowadzenie do teorii obliczeń 2401-K-MF-JDK
W ramach wykładu omawiane będą następujące zagadnienia:
1. Zbiory, ciągi, funkcje
2. Elementy logiki
3. Indukcja i rekurencja
4. Zliczanie - Teoria mocy
5. Wprowadzenie do grafów i drzew
6. Drzewa i algorytmy
7. Algebry Boole’a
8. Języki regularne
9. Języki bezkontekstowe
10. Maszyny Turinga
11. Hierarchia Chomsky’ego
12. Elementy teorii obliczalności
Całkowity nakład pracy studenta
Efekty uczenia się - wiedza
Efekty uczenia się - umiejętności
Efekty uczenia się - kompetencje społeczne
Metody dydaktyczne
Metody dydaktyczne eksponujące
Metody dydaktyczne podające
Metody dydaktyczne poszukujące
Rodzaj przedmiotu
Wymagania wstępne
Koordynatorzy przedmiotu
Kryteria oceniania
Zajęcia odbywać się będą stacjonarnie. Dopuszczalna jest też forma zdalna w wymiarze dopuszczalnym przez przepisy.
Ocena końcowa zależna będzie od następujących składowych:
1. obecność na zajęciach,
2. praca własna studenta, która polegać będzie na rozwiązaniu zadań zaproponowanych studentom trzy razy w semestrze zgodnie z następującymi kryteriami:
50%-60% punktów – ocenia dost,
60%-70% punktów – ocenia dost plus,
70%-80% punktów – ocenia db,
80%-90% punktów – ocenia db plus,
90%-100% punktów – ocenia bdb.
Praktyki zawodowe
Brak
Literatura
Matematyka dyskretna, Kenneth A. Ross, Charles R. B. Wright, PWN, 1999
Wprowadzenie do teorii automatów, języków i obliczeń, J. E. Hopcroft, J. D. Ullman, PWN, 1994
Więcej informacji
Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb: