Cel kształcenia i wykaz literatury

Główny cel kształcenia: Uzyskanie przez studenta podstawowej wiedzy na temat języków formalnych, maszyn logicznych i paradygmatów programowania oraz umiejętności jej zastosowania.

Ogólne informacje o zajęciach: Moduł ma zapoznać studenta z teoretycznymi podstawami informatyki, ich wykorzystaniem oraz wykształcić umiejętność oceny przydatności różnych środowisk programistycznych do rozwiązania danego zadania.

Materiały dydaktyczne: http://materialy.prz-rzeszow.pl/

Wykaz literatury, wymaganej do zaliczenia zajęć

Literatura wykorzystywana podczas zajęć wykładowych

1	Hopcroft J. E., Ullman J. D.	Wprowadzenie do teorii automatów, języków i obliczeń	PWN, wyd. 2.	2012
2	Sipser M.	Wprowadzenie do teorii obliczeń	PWN, Warszawa, Wyd. 3.	2020
3	Aho A.V., Ullman J.D., Lam M. S., Sethi R.	Kompilatory. Reguły, metody i narzędzia	PWN, wyd. 2.	2019
4	Foryś M., Foryś W.	Teoria automatów i języków formalnych	Akademicka Oficyna Wydawnicza EXIT.	2005

Literatura wykorzystywana podczas zajęć ćwiczeniowych/laboratoryjnych/innych

1	Rafe Colburn „CGI”. Helion 1998		.
2	Fowler M.: Architektura systemów zarządzania przedsiębiorstwem. Wzorce projektowe. Helion, 2005		.
3	Gamma E., Helm R., Johnson R., Vlissides J. M.: Wzorce projektowe. Wydanie II. WNT, 2008.		.
4	Zandstra M.: PHP5. Obiekty, wzorce, narzędzia. Helion, 2005.		.
5	Metsker S. J.: C#. Wzorce projektowe. Helion, 2005.		.
6	Cooper J. W.: Java. Wzorce projektowe. Helion, 2001		.

Literatura do samodzielnego studiowania

1	Foryś M., Roman A.	Zbiór zadań z teorii języków formalnych i automatów	Wyd. Uniwersytetu Jagiellońskiego.	2011
2	Krasiński T.	Automaty i języki formalne	Wyd. Uniwersytetu Łódzkiego.	2007
3	Homenda W.	Elementy lingwistyki matematycznej i teorii automatów	Oficyna Wydawnicza Politechniki Warszawskiej.	2005

Wymagania wstępne w kategorii wiedzy/umiejętności/kompetencji społecznych

Wymagania formalne: Rejestracja na pierwszy semestr studiów.

Wymagania wstępne w kategorii Wiedzy: Student powinien mieć wiedzę w zakresie matematyki, którą może wykorzystać do formułowania i rozwiązywania prostych zadań inżynierskich związanych z informatyką.

Wymagania wstępne w kategorii Umiejętności: Student powinien umieć wykorzystać wiedzę z matematyki do sformułowania i rozwiązywania prostych zadań informatycznych.

Wymagania wstępne w kategorii Kompetencji społecznych: Student powinien posiadać umiejętność pracy w zespole

Efekty kształcenia dla zajęć

MEK	Student, który zaliczył zajęcia	Formy zajęć/metody dydaktyczne prowadzące do osiągnięcia danego efektu kształcenia	Metody weryfikacji każdego z wymienionych efektów kształcenia	Związki z KEK	Związki z PRK
01	zna klasyfikację gramatyk i języków formalnych, sposoby przekształcania reguły produkcji tych gramatyk oraz metody sprawdzania, czy dane ciąg znaków należy do języka formalnego.	wykład, projekt indywidualny	prezentacja projektu, egzamin cz. pisemna	K_W01+ K_U01+	P6S_UW P6S_WG
02	zna i rozumie działanie maszyn logicznych.	wykład, projekt indywidualny	prezentacja projektu, egzamin cz. pisemna	K_W01+	P6S_WG
03	posiada umiejętność oceny przydatności różnych paradygmatów i związanych z nimi środowisk programistycznych do rozwiązywania różnego typu problemów	wykład, laboratorium problemowe	kolokwium	K_K01+	P6S_KK P6S_UU
04	posiada umiejętność projektowania, implementacji, testowania i debugowania prostych programów obiektowych.	laboratorium problemowe	kolokwium	K_W01+	P6S_WG

Uwaga: W zależności od sytuacji epidemicznej, jeżeli nie będzie możliwości weryfikacji osiągniętych efektów uczenia się określonych w programie studiów w sposób stacjonarny w szczególności zaliczenia i egzaminy kończące określone zajęcia będą mogły się odbywać przy użyciu środków komunikacji elektronicznej (w sposób zdalny).

Treści kształcenia dla zajęć

Sem.	TK	Treści kształcenia	Realizowane na	MEK
1	TK01	Wprowadzenie, podstawowe pojęcia lingwistyki matematycznej.	W01
1	TK02	Gramatyki i języki bezkontekstowe.	W02, P	MEK01
1	TK03	Przekształcanie gramatyk bezkontekstowych.	W03, P	MEK01
1	TK04	Operacje na językach bezkontekstowych, przynależność słowa do języka bezkontekstowego	W04, P	MEK01
1	TK05	Wyrażenia regularne. Języki i gramatyki regularne	W05, P	MEK01
1	TK06	Regularne gramatyki deterministyczne	W6, P	MEK01
1	TK07	Języki kontekstowe, hierarchia Chomsky’ego	W07	MEK01
1	TK08	Analiza automatów skończonych	W08	MEK02
1	TK09	Automat ze stosem. Maszyny Turinga	W09	MEK02
1	TK10	Uniwersalny język programowania. Paradygmaty programowania	W10	MEK03
1	TK11	Programowanie obiektowe: użycie podst. wzorców projektowych, implementacja programu, testowanie i debugowanie	L1, L2	MEK03 MEK04
1	TK12	Programowanie deklaratywne: zapytania w języku SQL	L3	MEK03
1	TK13	Programowanie deklaratywne: przekształcanie danych w języku XSLT	L4	MEK03

Nakład pracy studenta

Forma zajęć	Praca przed zajęciami	Udział w zajęciach	Praca po zajęciach
Wykład (sem. 1)		Godziny kontaktowe: 25.00 godz./sem.	Uzupełnienie/studiowanie notatek: 10.00 godz./sem. Studiowanie zalecanej literatury: 20.00 godz./sem.
Laboratorium (sem. 1)	Przygotowanie do laboratorium: 10.00 godz./sem. Przygotowanie do kolokwium: 2.00 godz./sem.	Godziny kontaktowe: 10.00 godz./sem.	Dokończenia/wykonanie sprawozdania: 15.00 godz./sem.
Projekt/Seminarium (sem. 1)	Przygotowanie do zajęć projektowych/seminaryjnych: 1.00 godz./sem.	Godziny kontaktowe: 10.00 godz./sem..	Wykonanie projektu/dokumentacji/raportu: 15.00 godz./sem.
Konsultacje (sem. 1)		Udział w konsultacjach: 0.50 godz./sem.
Egzamin (sem. 1)	Przygotowanie do egzaminu: 15.00 godz./sem.	Egzamin pisemny: 1.00 godz./sem.

Sposób wystawiania ocen składowych zajęć i oceny końcowej

Forma zajęć	Sposób wystawiania oceny podsumowującej
Wykład	Egzamin pisemny
Laboratorium	Sprawozdania z zajęć laboratoryjnych i kolokwium końcowe.
Projekt/Seminarium	Prezentacja projektu.
Ocena końcowa	Ocena końcowa jest średnią ważoną ocen z egzaminu pisemnego (waga 0,6), zajęć laboratoryjnych (0,2) i prezentacji projektu (0,2).

Przykładowe zadania

Wymagane podczas egzaminu/zaliczenia
(-)

Realizowane podczas zajęć ćwiczeniowych/laboratoryjnych/projektowych
(-)

Inne
(-)

Czy podczas egzaminu/zaliczenia student ma możliwość korzystania z materiałów pomocniczych : nie

Treści zajęć powiazane są z prowadzonymi badaniami naukowymi: tak

1	L. Gniewek; M. Markiewicz; D. Warchoł	Extended Hierarchical Fuzzy Interpreted Petri Net	2021
2	L. Gniewek; Z. Hajduk; J. Kluska; T. Żabiński	FPGA-Embedded Anomaly Detection System for Milling Process	2021