Jak działają komputery. Wprowadzenie do teorii obliczeń
Informacje ogólne
Kod przedmiotu: | 2401-K-MF-JDK |
Kod Erasmus / ISCED: |
(brak danych)
/
(0228) Interdyscyplinarne programy i kwalifikacje związane z naukami humanistycznymi
|
Nazwa przedmiotu: | Jak działają komputery. Wprowadzenie do teorii obliczeń |
Jednostka: | Katedra Kognitywistyki |
Grupy: |
Kognitywistyka s1,s2 - zajęcia do wyboru Psychologia - zajęcia fakultatywne |
Punkty ECTS i inne: |
2.00
LUB
3.00
(zmienne w czasie)
|
Język prowadzenia: | polski |
Wymagania wstępne: | Brak |
Rodzaj przedmiotu: | przedmiot fakultatywny |
Całkowity nakład pracy studenta: | - 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 |
Efekty uczenia się - wiedza: | 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 |
Efekty uczenia się - umiejętności: | K_U07 - wykrywa zależności między tezami badanych pisemnych i ustnych wypowiedzi naukowych |
Efekty uczenia się - kompetencje społeczne: | K_K02 - samodzielnie podejmuje i inicjuje działania profesjonalne; planuje i organizuje ich przebieg |
Metody dydaktyczne: | • Metody dydaktyczne eksponujące - pokaz • Metody podające: - wykład konwersatoryjny • Metody poszukujące: - klasyczna metoda problemowa |
Metody dydaktyczne eksponujące: | - pokaz |
Metody dydaktyczne podające: | - wykład informacyjny (konwencjonalny) |
Metody dydaktyczne poszukujące: | - klasyczna metoda problemowa |
Skrócony opis: |
W ramach wykładu wprowadzona zostania terminologia i przedstawione będą wiadomości niezbędne do zrozumienia matematycznych modeli komputera. |
Pełny opis: |
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 |
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 |
Metody i 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 |
Zajęcia w cyklu "Semestr zimowy 2021/22" (zakończony)
Okres: | 2021-10-01 - 2022-02-20 |
Przejdź do planu
PN WYK
WT ŚR CZ PT |
Typ zajęć: |
Wykład, 30 godzin
|
|
Koordynatorzy: | Krystyna Mruczek-Nasieniewska | |
Prowadzący grup: | Krystyna Mruczek-Nasieniewska | |
Lista studentów: | (nie masz dostępu) | |
Zaliczenie: |
Przedmiot -
Zaliczenie na ocenę
Wykład - Zaliczenie na ocenę |
Zajęcia w cyklu "Semestr zimowy 2022/23" (zakończony)
Okres: | 2022-10-01 - 2023-02-19 |
Przejdź do planu
PN WYK
WT ŚR CZ PT |
Typ zajęć: |
Wykład, 30 godzin
|
|
Koordynatorzy: | Krystyna Mruczek-Nasieniewska | |
Prowadzący grup: | Krystyna Mruczek-Nasieniewska | |
Lista studentów: | (nie masz dostępu) | |
Zaliczenie: |
Przedmiot -
Zaliczenie na ocenę
Wykład - Zaliczenie na ocenę |
Zajęcia w cyklu "Semestr zimowy 2023/24" (zakończony)
Okres: | 2023-10-01 - 2024-02-19 |
Przejdź do planu
PN WYK
WT ŚR CZ PT |
Typ zajęć: |
Wykład, 30 godzin
|
|
Koordynatorzy: | Krystyna Mruczek-Nasieniewska | |
Prowadzący grup: | Krystyna Mruczek-Nasieniewska | |
Lista studentów: | (nie masz dostępu) | |
Zaliczenie: |
Przedmiot -
Zaliczenie na ocenę
Wykład - Zaliczenie na ocenę |
Właścicielem praw autorskich jest Uniwersytet Mikołaja Kopernika w Toruniu.