| Przedmiot: |
Wstęp do teorii obliczalności |
| Kierunek: |
Informatyka, I stopień [6 sem], stacjonarny, ogólnoakademicki, rozpoczęty w: 2013 |
| Rok/Semestr: |
II/3
|
| Liczba godzin: |
15,0 |
| Nauczyciel: |
Krzaczkowski Jacek, dr |
| Forma zajęć: |
wykład |
| Rodzaj zaliczenia: |
zaliczenie na ocenę |
| Punkty ECTS: |
4,0 |
| Godzinowe ekwiwalenty punktów ECTS (łączna liczba godzin w semestrze): |
| 5,0 |
Godziny kontaktowe z prowadzącym zajęcia realizowane w formie konsultacji |
| 15,0 |
Godziny kontaktowe z prowadzącym zajęcia realizowane w formie zajęć dydaktycznych |
| 30,0 |
Przygotowanie się studenta do zajęć dydaktycznych |
| 50,0 |
Przygotowanie się studenta do zaliczeń i/lub egzaminów |
| 20,0 |
Studiowanie przez studenta literatury przedmiotu |
|
| Poziom trudności: |
średnio zaawansowany
|
| Wstępne wymagania: |
Otwarty umysł i podstawy matematyki.
|
| Metody dydaktyczne: |
- dyskusja dydaktyczna
- e-learning
- konsultacje
- wykład informacyjny
- wykład konwersatoryjny
|
| Zakres tematów: |
-
Maszyna Turinga.
-
Problemy nierozstrzygalne.
-
Rachunek Lambda.
-
Funkcje częściowo rekurencyjne.
-
Automaty skończone, gramtyki regularne.
|
| Forma oceniania: |
- końcowe zaliczenie pisemne
|
| Literatura: |
-
Slajdy z wykładów.
-
Mycka, J.,Elementy teorii obliczalnosci, Instytut Informatyki UMCS, Lublin, 2011.
-
Maria Foryś, Wit Foryś, Adam Roman,Języki, automaty, obliczenia, http://wazniak.mimuw.edu.pl/index.php?title=J%C4%99zyki%2C_automaty_i_obliczenia
|
| Modułowe efekty kształcenia: |
| 01 |
zna podstawowe narzędzia matematyki wyższej i potrafi ich użyć w zastosowaniach informatycznych |
| 02 |
zna teoretyczne podstawy informatyki |
| 03 |
potrafi formułować pytania i oryginalne sądy dotyczące zagadnień informatycznych oraz dziedzin pokrewnych, potrafi mówić o tematach fachowy w sposób zrozumiały dla laików |
|
