Sylabus przedmiotu

Drukuj

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ęć:	laboratorium
Rodzaj zaliczenia:	zaliczenie na ocenę
Poziom trudności:	średnio zaawansowany
Wstępne wymagania:	Otwarty umysł i podstawy matematyki
Metody dydaktyczne:	ćwiczenia laboratoryjne ćwiczenia przedmiotowe dyskusja dydaktyczna e-learning konsultacje
Zakres tematów:	Maszyna Turinga. Problemy nierozstrzygalne. Rachunek Lambda. Funkcje częściowo rekurencyjne. Automaty skończone, gramtyki regularne.
Forma oceniania:	obecność na zajęciach ocena ciągła (bieżące przygotowanie do zajęć i aktywność)
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
Dodatkowe informacje:	W trakcie zajęć laboratoryjnych rozwiązywane są zadania związane z tematyką wykładów w celu lepszego zrozumienia i utrwalenia materiału z wykładów.