| Przedmiot: |
Wstęp do teorii obliczalności |
| Kierunek: |
Informatyka, I stopień [6 sem], stacjonarny, ogólnoakademicki, rozpoczęty w: 2012 |
| 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): |
| 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 |
| 0 |
Przygotowanie się studenta do zajęć dydaktycznych |
| 0 |
Przygotowanie się studenta do zaliczeń i/lub egzaminów |
| 0 |
Studiowanie przez studenta literatury przedmiotu |
|
| 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
|
