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 trzecim 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 OEK
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 pisemny	K_W001+ K_W009+ K_U001+	W01+ W07+ U07
02	zna i rozumie działanie maszyn logicznych.	wykład, projekt indywidualny	egzamin cz. pisemna, prezentacja projektu	K_W001+ K_W009+ K_U002+	W01+ W07+ U07
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_W009+ K_K001+	W07+ K01+
04	posiada umiejętność projektowania, implementacji, testowania i debugowania prostych programów obiektowych.	laboratorium problemowe	kolokwium	K_W001+ K_W007+ K_U011+	W01+ W04+ U03+ U05 U12 U13+ U14+

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
3	TK01	Wprowadzenie, podstawowe pojęcia lingwistyki matematycznej.	W01
3	TK02	Gramatyki i języki bezkontekstowe.	W02, P	MEK01
3	TK03	Upraszczanie i przekształcanie gramatyk bezkontekstowych.	W03, W04, P	MEK01
3	TK04	Operacje na językach bezkontekstowych, lemat o pompowaniu.	W05, P	MEK01
3	TK05	Przynależność słowa do języka bezkontekstowego	W06, P	MEK01
3	TK06	Wyrażenia regularne, języki i gramatyki regularne	W07	MEK01
3	TK07	Regularne gramatyki deterministyczne i zupełne	W08, P	MEK01
3	TK08	Języki kontekstowe, hierarchia Chomsky’ego	W09	MEK01
3	TK09	Automaty skończone a gramatyki regularne, analiza automatów	W10, P	MEK02
3	TK10	Automat ze stosem, obliczalność, maszyny Turinga	W11,W12	MEK01
3	TK11	Uniwersalny język programowania, ewolucja paradygmatów programowania	W13	MEK03
3	TK12	Paradygmat imperatywny, paradygmat obiektowy	W14	MEK03
3	TK13	Programowanie w logice, programowanie funkcyjne	W15	MEK03
3	TK14	Programowanie obiektowe: użycie podst. wzorców projektowych, implementacja programu, testowanie i debugowanie	L1, L2, L3, L4	MEK03 MEK04
3	TK15	Programowanie deklaratywne: zapytania w języku SQL	L5	MEK03
3	TK16	Programowanie deklaratywne: przekształcanie danych w języku XSLT	L6	MEK03

Nakład pracy studenta

Forma zajęć	Praca przed zajęciami	Udział w zajęciach	Praca po zajęciach
Wykład (sem. 3)		Godziny kontaktowe: 30.00 godz./sem.	Uzupełnienie/studiowanie notatek: 15.00 godz./sem. Studiowanie zalecanej literatury: 15.00 godz./sem.
Laboratorium (sem. 3)	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. 3)	Przygotowanie do zajęć projektowych/seminaryjnych: 1.00 godz./sem.	Godziny kontaktowe: 15.00 godz./sem..	Wykonanie projektu/dokumentacji/raportu: 20.00 godz./sem.
Konsultacje (sem. 3)		Udział w konsultacjach: 1.00 godz./sem.
Egzamin (sem. 3)	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: nie