Jak działają komputery. Wprowadzenie do teorii obliczeń

Brak

przedmiot fakultatywny

- godziny realizowane z udziałem nauczyciela: 30 godzin konwersatorium

- praca indywidualna studenta: 13 godzin

- konsultacje z prowadzącym: 4 godzin

- przygotowanie do sprawdzianu końcowego / egzaminu: 13 godzin

Razem: 60 godzin / 2 punkty ECTS

K_W03 - rozumie oraz potrafi wytłumaczyć opisy prawidłowości, zjawisk i procesów wykorzystujące język nauk ścisłych, w szczególności potrafi samodzielnie odtworzyć podstawowe twierdzenia i prawa

K_U07 - wykrywa zależności między tezami badanych pisemnych i ustnych wypowiedzi naukowych

K_K02 - samodzielnie podejmuje i inicjuje działania profesjonalne; planuje i organizuje ich przebieg

• Metody dydaktyczne eksponujące

- pokaz

• Metody podające:

- wykład konwersatoryjny

• Metody poszukujące:

- klasyczna metoda problemowa

- pokaz

- wykład informacyjny (konwencjonalny)

- klasyczna metoda problemowa

W ramach wykładu wprowadzona zostania terminologia i przedstawione będą wiadomości niezbędne do zrozumienia matematycznych modeli komputera.

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

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

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.

Brak