Automata and formal languages / Artificial intelligence

General data

Course ID:	17-DAUT-IP0
Erasmus code / ISCED:	(unknown) / (unknown)
Course title:	Automata and formal languages / Artificial intelligence
Name in Polish:	Automaty i języki formalne / Sztuczna Inteligencja
Organizational unit:	AMU Nadnotecki Institute in Piła
Course groups:	(in Polish) Moodle - przedmioty Innych jednostek
ECTS credit allocation (and other scores):	0 OR 4.00 (depends on study program) Basic information on ECTS credits allocation principles: the annual hourly workload of the student’s work required to achieve the expected learning outcomes for a given stage is 1500-1800h, corresponding to 60 ECTS; the student’s weekly hourly workload is 45 h; 1 ECTS point corresponds to 25-30 hours of student work needed to achieve the assumed learning outcomes; weekly student workload necessary to achieve the assumed learning outcomes allows to obtain 1.5 ECTS; work required to pass the course, which has been assigned 3 ECTS, constitutes 10% of the semester student load. view allocation of credits
Language:	Polish
Module type:	compulsory
Major:	(in Polish) Technologie informatyczne
Cycle of studies:	1st cycle
Module learning aims:	(in Polish) Cele przedmiotu Celem przedmiotu jest przedstawienie modeli formalnych generowania i rozpoznawania języków (automaty i gramatyki), własności tych modeli oraz zagadnień rozstrzygalnych dla klas języków.
Course module conducted remotely (e-learning):	(in Polish) Nie
Pre-requisites in terms of knowledge, skills and social competences:	(in Polish) Wymagania wstępne w zakresie wiedzy, umiejętności oraz kompetencji społecznych Wymagania obejmują znajomość zagadnień z logiki i teorii mnogości, elementów matematyki dyskretnej i podstaw programowania.
Information on where to find course materials:	(in Polish) Biblioteka instytutu
Methods of teaching for learning outcomes achievement:	(in Polish) Wykład z prezentacją multimedialną wybranych zagadnień Rozwiązywanie zadań Metoda ćwiczeniowa Metoda laboratoryjna
Student workload (ECTS credits):	(in Polish) Forma aktywności Średnia liczba godzin na zrealizowanie aktywności Godziny zajęć (wg planu studiów) z nauczycielem 15+15+15 Praca własna studenta* Przygotowanie do zajęć 15 Czytanie wskazanej literatury 10 Przygotowanie pracy pisemnej, raportu, prezentacji, itp. Przygotowanie projektu Przygotowanie pracy semestralnej Przygotowanie do egzaminu/zaliczenia 10 Inne (jakie?) SUMA GODZIN 80 LICZBA PUNKTÓW ECTS DLA PRZEDMIOTU 4
Short description:	(in Polish) Wykład należy do grupy przedmiotów z teoretycznych podstaw informatyki i daje studentom opis podstawowych konstrukcji formalnych dotyczących generowania i rozpoznawania języków. Jako modele rozpoznające opisywane są automaty skończenie stanowe, automaty ze stosem i maszyny Turinga. Przedstawione formalizmy generujące tp gramatyki regularne i bezkontekstowe. Opisywane są właściwości tych automatów i gramatyk, podane są związki między klasami języków, które rozpoznają i generują, omówiona jest hierarchia Chomsky'ego.
Bibliography:	(in Polish) J.E. Hopcroft, R. Motwani, J.D. Ullman: Wprowadzenie do teorii automatów, języków i obliczeń. Wydawnictwo Naukowe PWN, Warszawa, 2005. M. Sipser: Wprowadzenie do teorii obliczeń. Wydawnictwa Naukowo-Techniczne, Warszawa, G.E. Revesz: Introduction to Formal Languages. Mc-Graw-Hill Book Company
Learning outcomes:	(in Polish) Po ukończeniu kształcenia student - ma podstawową wiedzę w zakresie języków formalnych i ich własności, - zna formalne modele obliczeń (automaty skończenie stanowe, automaty ze stosem, maszyny Turinga) i ich własności, - zna podstawowe rodzaje gramatyk generatywnych, ich własności i związki z automatami - potrafi stosować wprowadzone modele obliczeń i rodzaje gramatyk do definiowania/opisywania języków formalnych - potrafi zaimplementować reprezentacje formalizmów automatów skończenie stanowych, wyrażeń regularnych i gramatyk bezkontekstowych w obiektowym języku programowania
Assessment methods and assessment criteria:	(in Polish) Zadania wykonywane podczas zajęć Zadania domowe Egzamin pisemny na końcu semestru
Practical placement:	(in Polish) Nie są przewidziane

Classes in period "Academic year 2020/2021, winter semester" (past)

Time span:	2020-10-01 - 2021-02-28	Selected timetable range: weekly course term Navigate to timetable
Type of class:	classes, 15 hours more information laboratory, 15 hours more information lecture, 15 hours more information
Coordinators:	Maciej Kandulski
Group instructors:	Filip Graliński, Maciej Kandulski
Students list:	(inaccessible to you)
Examination:	Course - Graded credit classes - Graded credit laboratory - Graded credit lecture - Graded credit

Classes in period "Academic year 2021/2022, winter semestr" (past)

Time span:	2021-10-01 - 2022-02-23	Selected timetable range: weekly course term Navigate to timetable
Type of class:	classes, 15 hours more information laboratory, 15 hours more information lecture, 15 hours more information
Coordinators:	Maciej Kandulski, Jakub Pokrywka
Group instructors:	Maciej Kandulski, Jakub Pokrywka
Students list:	(inaccessible to you)
Examination:	Course - Graded credit classes - Graded credit laboratory - Graded credit lecture - Graded credit

Classes in period "Academic year 2022/2023, winter semester" (past)

Time span:	2022-10-01 - 2023-02-26	Selected timetable range: weekly course term Navigate to timetable
Type of class:	classes, 15 hours more information laboratory, 15 hours more information lecture, 15 hours more information
Coordinators:	Maciej Kandulski
Group instructors:	Maciej Kandulski
Students list:	(inaccessible to you)
Examination:	Course - Graded credit classes - Graded credit laboratory - Graded credit lecture - Graded credit

Classes in period "Academic year 2023/2024, winter semester" (past)

Time span:	2023-10-01 - 2024-02-25	Selected timetable range: weekly course term Navigate to timetable
Type of class:	discussion seminar, 45 hours more information
Coordinators:	Maciej Kandulski
Group instructors:	Maciej Kandulski
Students list:	(inaccessible to you)
Examination:	Course - Graded credit discussion seminar - Graded credit

Course descriptions are protected by copyright.
Copyright by Adam Mickiewicz University, Poznań.