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.	2003
2	Kluska J., Gniewek L.	Materiały pomocnicze do przedmiotu Teoretyczne podstawy informatyki	Oficyna Wydawnicza Politechniki Rzeszowskiej.	2004
3	Kowalski S., Mostowski A. Wł.	Teoria automatów i lingwistyka matematyczna	PWN.	1979
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	Aho A.V., Sethi R., Ullman J.D.	Kompilatory. Reguły, metody i narzędzia	WNT.	2002
2	Van Roy P., Haridi S.	Programowanie. Koncepcje, techniki i modele	Helion.	2005

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

Wymagania formalne: Rejestracja na czwartym semestrze studiów.

Wymagania wstępne w kategorii Wiedzy: Student powinien mieć wiedzę w zakresie matematyki i podstaw programowania, 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 i podstaw programowania, 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_W09+ 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+ K_W09+ K_U02+	P6S_UW 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_W09+ K_K01+	P6S_KK P6S_UU P6S_WG
04	posiada umiejętność projektowania, implementacji, testowania i debugowania prostych programów obiektowych.	laboratorium problemowe	kolokwium	K_W01+ K_W07+ K_U11+	P6S_UW 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
4	TK01	Wprowadzenie, podstawowe pojęcia lingwistyki matematycznej.	W01
4	TK02	Gramatyki i języki bezkontekstowe.	W02, P	MEK01
4	TK03	Przekształcanie gramatyk bezkontekstowych.	W03, P	MEK01
4	TK04	Operacje na językach bezkontekstowych, przynależność słowa do języka bezkontekstowego	W04, P	MEK01
4	TK05	Języki i gramatyki regularne, gramatyki deterministyczne.	W05, P	MEK01
4	TK06	Języki kontekstowe, hierarchia Chomsky’ego	W06	MEK01
4	TK07	Analiza automatów skończonych, automat ze stosem.	W07	MEK02
4	TK08	Obliczalność, maszyny Turinga. Uniwersalny język programowania.	W08	MEK02
4	TK09	Paradygmaty programowania	W09	MEK03
4	TK10	Rekapitulacja	W10	MEK01 MEK02
4	TK11	Programowanie obiektowe: użycie podst. wzorców projektowych, implementacja programu, testowanie i debugowanie	L1, L2	MEK03 MEK04
4	TK12	Programowanie deklaratywne: zapytania w języku SQL	L3	MEK03
4	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. 4)		Godziny kontaktowe: 20.00 godz./sem.	Uzupełnienie/studiowanie notatek: 15.00 godz./sem. Studiowanie zalecanej literatury: 30.00 godz./sem.
Laboratorium (sem. 4)	Przygotowanie do laboratorium: 15.00 godz./sem. Przygotowanie do kolokwium: 2.00 godz./sem.	Godziny kontaktowe: 15.00 godz./sem.	Dokończenia/wykonanie sprawozdania: 15.00 godz./sem.
Projekt/Seminarium (sem. 4)	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. 4)		Udział w konsultacjach: 1.00 godz./sem.
Egzamin (sem. 4)	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