Theory of Computation (ΠΛ2): Διαφορά μεταξύ των αναθεωρήσεων
Από Wiki Τμήματος Μαθηματικών
Χωρίς σύνοψη επεξεργασίας |
Χωρίς σύνοψη επεξεργασίας |
||
Γραμμή 1: | Γραμμή 1: | ||
* [[ | * [[Μαθηματική Θεωρία των Υπολογισμών (ΠΛ2)|Ελληνική Έκδοση]] | ||
* [[Graduate Courses Outlines]] | * [[Graduate Courses Outlines]] | ||
* [https://math.uoi.gr/index.php/en/ Department of Mathematics] | * [https://math.uoi.gr/index.php/en/ Department of Mathematics] |
Αναθεώρηση της 17:42, 25 Νοεμβρίου 2022
General
School | School of Science |
---|---|
Academic Unit | Department of Mathematics |
Level of Studies | Graduate |
Course Code | ΠΛ2 |
Semester | 1 |
Course Title | Theory of Computation |
Independent Teaching Activities | Lectures (Weekly Teaching Hours: 3, Credits: 7.5) |
Course Type | Specialization |
Prerequisite Courses |
Undergraduate courses in Automata Theory and Formal Languages, Data Structures and Algorithms |
Language of Instruction and Examinations |
Greek |
Is the Course Offered to Erasmus Students | Yes (in English) |
Course Website (URL) | See eCourse, the Learning Management System maintained by the University of Ioannina. |
Learning Outcomes
Learning outcomes |
The goal of this course is the deeper understanding of Automata Theory and Language, Computability Theory and Complexity Theory as well as the introduction of students to critical thinking and research process. During the course a detailed examination of the following topics are done:
After completing the course the student can handle:
which related to Finite Automata, Pushdown Automata, and Turing Machines as well as to Decidability and Computability and to Computational Complexity. |
---|---|
General Competences |
|
Syllabus
- Properties of the Computation Theory Mathematical Models
- Problems classification to solvable and unsolvable
- Solvable Problems Classification
Teaching and Learning Methods - Evaluation
Delivery |
Face to face | ||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
Use of Information and Communications Technology | Yes | ||||||||||
Teaching Methods |
| ||||||||||
Student Performance Evaluation |
|
Attached Bibliography
- Sudkamp, Thomas A. Languages and machines : an introduction to the theory of computer science / Thomas A. Sudkamp. - 2nd ed. ISBN 0-201-82136-2
- Hopcroft, John E., Rajeev Motwani, Jeffrey . Ullman Introduction to automata theory, languages and computation -2nd ed. ISBN 0321210298
- Michael Sipser. Introduction to the Theory of Computation (3rd ed.). Cengage Learning. ISBN 978-1-133-18779-0.