Zastosowania automatów i języków formalnych 400-IS1-3ZAJ
Profil studiów: ogólnoakademicki
Forma studiów: stacjonarne
Rodzaj przedmiotu: obowiązkowy
Dziedzina i dyscyplina nauki: Dziedzina nauk ścisłych i przyrodniczych, Informatyka
Rok studiów / semestr: 3 / 5
Wymagania wstępne (tzw. sekwencyjny system zajęć i egzaminów): Przedmioty wprowadzające: Podstawy logiki i teorii mnogości, Algorytmy i struktury danych, Matematyka dyskretna,
Wykład: 15 Laboratorium: 30
Metody dydaktyczne: Wykład z wykorzystaniem prezentacji multimedialnych oraz angażowanie studentów do aktywnego udziału w dyskusji podczas wykładu i zadawania pytań. Samodzielne oraz grupowe rozwiązywania zadań i tworzenie projektów programistycznych podczas laboratoriów.
Punkty ECTS: 3
Bilans nakładu pracy studenta:
Udział w zajęciach:
- wykład 15h
- laboratorium 30h
Przygotowanie do zajęć:
- wykład 10h
- laboratorium 15h
Czas trwania egzaminu: 2h
Udział w konsultacjach: 3h
Wskaźniki ilościowe:
wymagającymi bezpośredniego udziału nauczyciela: 50, 2ECTS
o charakterze praktycznym: 70, 2,8 ECTS
Rodzaj przedmiotu
Koordynatorzy przedmiotu
Efekty kształcenia
Student zna klasyczne pojęcia oraz wyniki z zakresu teorii języków
formalnych i automatów (języki regularne, bezkontekstowe, kontekstowe, klasy 0, gramatyki dla języków w hierarchii Chomsky'ego, automaty skończone, automaty ze stosem, maszyny Turinga) KP6_WG1 KP6_WG3, KA6_WG9
Student potrafi wykorzystywać metody teorii języków formalnych w informatyce, a także przeprowadzać formalne i poprawne rozumowania w obszarze języków formalnych KP6_UW1, KP6_UW3, KP6_UW10, KP6_UW12, KP6_KK1
Student potrafi zaimplementować wybrane automaty oraz maszyny Turinga oraz zwizualizować ich działanie KP6_UW3, KP6_UW12, KP6_UK3, KP6_KO1,
Kryteria oceniania
Ogólna forma zaliczenia: laboratoria -kolokwium, wykład - egzamin
Literatura
Literatura podstawowa:
Homenda W., Elementy teorii automatów i lingwistyki matematycznej, Oficyna Wydawnicza Politechniki Warszawskiej, 2004
Więcej informacji
Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb: