# Theoretical Informatics I

 Title ΘΕΩΡΗΤΙΚΗ ΠΛΗΡΟΦΟΡΙΚΗ I / Theoretical Informatics I Code 0401 Faculty Sciences School Mathematics Cycle / Level 1st / Undergraduate Teaching Period Spring Coordinator Georgios Rachonis Common No Status Active Course ID 40000480

### Programme of Study: UPS of School of Mathematics (2014-today)

Registered students: 236
OrientationAttendance TypeSemesterYearECTS
CoreCompulsory Course215.5

 Academic Year 2021 – 2022 Class Period Spring Faculty Instructors Georgios Rachonis 78hrs Weekly Hours 3 Class ID 600187091
SectionInstructors
1. ΤΜΗΜΑ ΑGeorgios Rachonis
2. ΤΜΗΜΑ ΒGeorgios Rachonis
Course Type 2016-2020
• Background
• Scientific Area
Course Type 2011-2015
Specific Foundation / Core
Mode of Delivery
• Face to face
Language of Instruction
• Greek (Instruction, Examination)
Learning Outcomes
- Understanding of strict mathematical modeling for algorithms via automata. - Learning of finite automata, recognizable languages and rational languages. - Minimization of algorithms which are described by automata. - Discrimination among recognizable and non-recognizable languages.
General Competences
• Apply knowledge in practice
• Retrieve, analyse and synthesise data and information, with the use of necessary technologies
• Make decisions
• Work autonomously
• Work in an international context
• Work in an interdisciplinary team
• Generate new research ideas
• Be critical and self-critical
Course Content (Syllabus)
Preliminaries: Sets, relations, algorithms. Growth of functions. Alphabets and formal languages. Finite automata: complete, deterministic, nondeterministic and their equivalence. Recognizable languages. Pumping lemma. Rational languages. Algorithms for the minimization of finite automata. Decidability results.
Educational Material Types
• Notes
• Book
Course Organization
Lectures391.3
Exams30.1
Total1655.5
Student Assessment
Student Assessment methods
• Written Exam with Short Answer Questions (Summative)
• Written Exam with Problem Solving (Summative)
Bibliography
Course Bibliography (Eudoxus)
- Στοιχεία Θεωρίας Υπολογισμού των Η. Lewis και Χ. Παπαδημητρίου. - Εισαγωγή στη Θεωρία Υπολογισμού του M. Sipser.