Undergraduate Elective 1056 - Ιστορικό εκδόσεων

G.R.Chrysostomidis στις 19:41, 3 Απριλίου 2026

2026-04-03T19:41:17Z

G.R.Chrysostomidis: /* Attached Bibliography */

2026-04-03T10:39:43Z

Attached Bibliography

← Παλαιότερη αναθεώρηση		Αναθεώρηση της 13:39, 3 Απριλίου 2026
Γραμμή 251:		Γραμμή 251:
	=== Attached Bibliography ===		=== Attached Bibliography ===

	See the official [https://service.eudoxus.gr/public/departments#20 Eudoxus site]. ~~Books and other resources, not provided by Eudoxus:~~		See the official [https://service.eudoxus.gr/public/departments#20 Eudoxus site].
	</div>		</div>

	<div style="text-align:left;">		<div style="text-align:left;">
	</div> </div>		</div> </div>

G.R.Chrysostomidis: /* Συνιστώμενη Βιβλιογραφία */

2026-04-03T10:39:36Z

Συνιστώμενη Βιβλιογραφία

← Παλαιότερη αναθεώρηση		Αναθεώρηση της 13:39, 3 Απριλίου 2026
Γραμμή 124:		Γραμμή 124:
	=== Συνιστώμενη Βιβλιογραφία ===		=== Συνιστώμενη Βιβλιογραφία ===

	Δείτε την υπηρεσία [https://service.eudoxus.gr/public/departments#20 Εύδοξος]. ~~Συγγράμματα και άλλες πηγές εκτός της υπηρεσίας Εύδοξος:~~		Δείτε την υπηρεσία [https://service.eudoxus.gr/public/departments#20 Εύδοξος].
	</div>		</div>

	<div id="pills-en" class="tab-pane fade" role="tabpanel" aria-labelledby="pills-en-tab" style="text-align:left;">		<div id="pills-en" class="tab-pane fade" role="tabpanel" aria-labelledby="pills-en-tab" style="text-align:left;">


	=== General ===		=== General ===

Ktzuvara στις 16:35, 29 Μαρτίου 2026

2026-03-29T16:35:07Z

← Παλαιότερη αναθεώρηση		Αναθεώρηση της 19:35, 29 Μαρτίου 2026
Γραμμή 45:		Γραμμή 45:
	\| Δείτε το [https://ecourse.uoi.gr/ eCourse], την Πλατφόρμα Ασύγχρονης Εκπαίδευσης του Πανεπιστημίου Ιωαννίνων.		\| Δείτε το [https://ecourse.uoi.gr/ eCourse], την Πλατφόρμα Ασύγχρονης Εκπαίδευσης του Πανεπιστημίου Ιωαννίνων.
	\|}		\|}


	=== Μαθησιακά Αποτελέσματα ===		=== Μαθησιακά Αποτελέσματα ===
Γραμμή 74:		Γραμμή 73:
	* Ομαδική εργασία		* Ομαδική εργασία
	\|}		\|}


	=== Περιεχόμενο Μαθήματος ===		=== Περιεχόμενο Μαθήματος ===
Γραμμή 124:		Γραμμή 122:
	\|}		\|}

			=== Συνιστώμενη Βιβλιογραφία ===

	Δείτε την υπηρεσία [https://service.eudoxus.gr/public/departments#20 Εύδοξος]. Συγγράμματα και άλλες πηγές εκτός της υπηρεσίας Εύδοξος:		Δείτε την υπηρεσία [https://service.eudoxus.gr/public/departments#20 Εύδοξος]. Συγγράμματα και άλλες πηγές εκτός της υπηρεσίας Εύδοξος:
Γραμμή 171:		Γραμμή 170:
	\| See [https://ecourse.uoi.gr/ eCourse], the Learning Management System maintained by the University of Ioannina.		\| See [https://ecourse.uoi.gr/ eCourse], the Learning Management System maintained by the University of Ioannina.
	\|}		\|}


	=== Learning Outcomes ===		=== Learning Outcomes ===
Γραμμή 198:		Γραμμή 196:
	* Implementation- Consolidation		* Implementation- Consolidation
	\|}		\|}


	=== Syllabus ===		=== Syllabus ===
Γραμμή 253:		Γραμμή 250:
	\|}		\|}

			=== Attached Bibliography ===

	See the official [https://service.eudoxus.gr/public/departments#20 Eudoxus site]. Books and other resources, not provided by Eudoxus:		See the official [https://service.eudoxus.gr/public/departments#20 Eudoxus site]. Books and other resources, not provided by Eudoxus:
Γραμμή 258:		Γραμμή 256:

	<div style="text-align:left;">		<div style="text-align:left;">


	</div> </div>		</div> </div>

Ktzuvara: /* Syllabus */

2026-03-27T22:36:23Z

Syllabus

← Παλαιότερη αναθεώρηση		Αναθεώρηση της 01:36, 28 Μαρτίου 2026
Γραμμή 202:		Γραμμή 202:
	=== Syllabus ===		=== Syllabus ===

			{\| class="wikitable" style="width: 100%;"
			\|
	* Introduction and related concepts.		* Introduction and related concepts.
	* Finite automata and regular expressions, regular languages, closure properties, pumping lemma, algorithms.		* Finite automata and regular expressions, regular languages, closure properties, pumping lemma, algorithms.
Γραμμή 212:		Γραμμή 214:
	* Undecidability, the halting problem, Post’s correspondence problem.		* Undecidability, the halting problem, Post’s correspondence problem.
	* Classes P and NP.		* Classes P and NP.
			\|}

	=== Teaching and Learning Methods - Evaluation ===		=== Teaching and Learning Methods - Evaluation ===

Ktzuvara: /* Περιεχόμενο Μαθήματος */

2026-03-27T22:36:10Z

Περιεχόμενο Μαθήματος

← Παλαιότερη αναθεώρηση		Αναθεώρηση της 01:36, 28 Μαρτίου 2026
Γραμμή 78:		Γραμμή 78:
	=== Περιεχόμενο Μαθήματος ===		=== Περιεχόμενο Μαθήματος ===

			{\| class="wikitable" style="width: 100%;"
			\|
	* Εισαγωγικά και Χρήσιμες Έννοιες		* Εισαγωγικά και Χρήσιμες Έννοιες
	* Κανονικές Γλώσσες, Κανονικές Εκφράσεις		* Κανονικές Γλώσσες, Κανονικές Εκφράσεις
Γραμμή 86:		Γραμμή 88:
	* Αναγωγές, μη διαγνώσιμες γλώσσες		* Αναγωγές, μη διαγνώσιμες γλώσσες
	* Οι κλάσεις πολυπλοκότητας P και NP		* Οι κλάσεις πολυπλοκότητας P και NP
			\|}

	=== Διδακτικές και Μαθησιακές Μέθοδοι - Αξιολόγηση ===		=== Διδακτικές και Μαθησιακές Μέθοδοι - Αξιολόγηση ===

G.R.Chrysostomidis: Νέα σελίδα με '{{DISPLAYTITLE:{{FULLPAGENAME}}}}

#pills-gr|Ελληνικά

2026-03-11T12:36:11Z

Νέα σελίδα με '{{DISPLAYTITLE:<span style="position: absolute; clip: rect(1px 1px 1px 1px); clip: rect(1px, 1px, 1px, 1px);">{{FULLPAGENAME}}</span>}} <ul class="nav nav-pills mb-2 justify-content-end" id="pills-tab-lang" role="tablist"> <li class="nav-item"><btn id="pills-gr-tab" data-toggle="pill" class="nav-link active" role="tab" aria-controls="pills-gr" aria-selected="true">#pills-gr|Ελληνικά</btn></li> <li class="nav-item"><btn id="pills-en-tab" data-toggle="pill"...'

Νέα σελίδα
{{DISPLAYTITLE:<span style="position: absolute; clip: rect(1px 1px 1px 1px); clip: rect(1px, 1px, 1px, 1px);">{{FULLPAGENAME}}</span>}}
<ul class="nav nav-pills mb-2 justify-content-end" id="pills-tab-lang" role="tablist"> <li class="nav-item"><btn id="pills-gr-tab" data-toggle="pill" class="nav-link active" role="tab" aria-controls="pills-gr" aria-selected="true">#pills-gr|Ελληνικά</btn></li> <li class="nav-item"><btn id="pills-en-tab" data-toggle="pill" class="nav-link" role="tab" aria-controls="pills-en" aria-selected="false">#pills-en|English</btn></li> </ul>
<div class="tab-content text-center" id="pills-content">
<div id="pills-gr" class="tab-pane fade show active" role="tabpanel" aria-labelledby="pills-gr-tab" style="text-align:left;">

=== Γενικά ===

{| class="wikitable"
|-
! Σχολή
| Σχολή Θετικών Επιστημών
|-
! Τμήμα
| Τμήμα Μαθηματικών
|-
! Επίπεδο Σπουδών
| Προπτυχιακό
|-
! Κωδικός Μαθήματος
| MAE745
|-
! Εξάμηνο
| 7
|-
! Τίτλος Μαθήματος
| Θεωρία Υπολογισμού
|-
! Αυτοτελείς Διδακτικές Δραστηριότητες
| Διαλέξεις (Εβδομαδιαίες Ώρες Διδασκαλίας: 3, Πιστωτικές Μονάδες: 6)
|-
! [https://regulations.math.uoi.gr/index.php?title=Undergraduate_Department_Course_Types Τύπος Μαθήματος]
| Ειδίκευσης
|-
! Προαπαιτούμενα Μαθήματα
|
|-
! Γλώσσα Διδασκαλίας και Εξετάσεων
| Ελληνική
|-
! Το Μάθημα Προσφέρεται σε Φοιτητές Erasmus
| Ναι (στην Αγγλική γλώσσα)
|-
! Ηλεκτρονική Σελίδα Μαθήματος (URL)
| Δείτε το [https://ecourse.uoi.gr/ eCourse], την Πλατφόρμα Ασύγχρονης Εκπαίδευσης του Πανεπιστημίου Ιωαννίνων.
|}

=== Μαθησιακά Αποτελέσματα ===

{| class="wikitable"
|-
! Μαθησιακά Αποτελέσματα
|
Σκοπός είναι η κατανόηση των βασικών εννοιών που σχετίζονται με τη Θεωρία Υπολογισμού. Αναλυτικότερα περιλαμβάνει τις ακόλουθες έννοιες:
* Πεπερασμένα αυτόματα, κανονικές εκφράσεις, κανονικές γλώσσες, ιδιότητες κλειστότητας, λήμμα άντλησης, αλγόριθμοι.
* Αιτιοκρατία, μη αιτιοκρατία.
* Αυτόματα στοίβας, γραμματικές χωρίς συμφραζόμενα, γλώσσες χωρίς συμφραζόμενα, ιδιότητες κλειστότητας, λήμμα άντλησης, αλγόριθμοι.
* Κανονική μορφή Chomsky.
* Μηχανές Turing, ισοδυναμία διαφορετικών μοντέλων.
* Αναγνωρίσιμες, διαγνώσιμες, απαριθμήσιμες γλώσσες.
* Το δόγμα των Church-Turing.
* Επιλύσιμα και μη επιλύσιμα προβλήματα, το πρόβλημα αποδοχής για μηχανές Turing (halting problem), το πρόβλημα αντιστοιχίας του Post.
* Οι κλάσεις πολυπλοκότητας P και NP.
Στο μάθημα περιλαμβάνονται ατομικές και ομαδικές ασκήσεις. Στόχος του μαθήματος είναι οι φοιτητές να είναι σε θέση:
* να κατανοήσουν βασικούς τύπους αυτομάτων
* να χειρίζονται κανονικές γλώσσες και μοντέλα υπολογισμού
* να κατανοήσουν επιλύσιμα και μη επιλύσιμα αλγοριθμικά προβλήματα
|-
! Γενικές Ικανότητες
|
* Αναζήτηση, ανάλυση και σύνθεση δεδομένων και πληροφοριών, με τη χρήση και των απαραίτητων τεχνολογιών
* Αυτόνομη εργασία
* Ομαδική εργασία
|}

=== Περιεχόμενο Μαθήματος ===

* Εισαγωγικά και Χρήσιμες Έννοιες
* Κανονικές Γλώσσες, Κανονικές Εκφράσεις
* Πεπερασμένα Αυτόματα, Γλώσσες που δεν είναι Κανονικές
* Γλώσσες Ανεξάρτητες Συμφραζομένων - Αυτόματα Στοίβας
* Μηχανές Turing, Αναγνωρίσιμες και διαγνώσιμες γλώσσες, Απαριθμήσιμες γλώσσες, το δόγμα Church-Turing
* Διαγνωσιμότητα, το Πρόβλημα του Τερματισμού
* Αναγωγές, μη διαγνώσιμες γλώσσες
* Οι κλάσεις πολυπλοκότητας P και NP

=== Διδακτικές και Μαθησιακές Μέθοδοι - Αξιολόγηση ===

{| class="wikitable"
|-
! Τρόπος Παράδοσης
| Πρόσωπο με πρόσωπο
|-
! Χρήση Τεχνολογιών Πληροφορίας και Επικοινωνιών
|
Υποστήριξη Μαθησιακής διαδικασίας μέσω της ηλεκτρονικής πλατφόρμας e-course.
|-
! Οργάνωση Διδασκαλίας
|
{| class="wikitable"
! Δραστηριότητα
! Φόρτος Εργασίας Εξαμήνου
|-
| Διαλέξεις (13Χ3)
| 39
|-
| Αυτοτελής Μελέτη
| 78
|-
| Επίλυση Ασκήσεων - εργασίες
| 33
|-
| Σύνολο Μαθήματος
| 150
|}
|-
! Αξιολόγηση Φοιτητών
| Τελική γραπτή εξέταση
|}

Δείτε την υπηρεσία [https://service.eudoxus.gr/public/departments#20 Εύδοξος]. Συγγράμματα και άλλες πηγές εκτός της υπηρεσίας Εύδοξος:
</div>

<div id="pills-en" class="tab-pane fade" role="tabpanel" aria-labelledby="pills-en-tab" style="text-align:left;">

=== General ===

{| class="wikitable"
|-
! School
| School of Science
|-
! Academic Unit
| Department of Mathematics
|-
! Level of Studies
| Undergraduate
|-
! Course Code
| MAE745
|-
! Semester
| 7
|-
! Course Title
| Theory of Computation
|-
! Independent Teaching Activities
| Lectures (Weekly Teaching Hours: 3, Credits: 6)
|-
! [https://regulations.math.uoi.gr/index.php?title=Undergraduate_Department_Course_Types Course Type]
| Special Background
|-
! Prerequisite Courses
| -
|-
! Language of Instruction and Examinations
| Greek
|-
! Is the Course Offered to Erasmus Students
| Yes (in English)
|-
! Course Website (URL)
| See [https://ecourse.uoi.gr/ eCourse], the Learning Management System maintained by the University of Ioannina.
|}

=== Learning Outcomes ===

{| class="wikitable"
|-
! Learning outcomes
|
The goal of this course is the deeper understanding of Automata Theory and Languages. During the course a detailed examination of the following topics is done:
* Introductory concepts of Automata, Computability and Complexity as well as basic definitions, basic theorems and inductive proofs
* Finite State Machines and Languages, Finite Automata (Deterministic FA, Nondeterministic FA, FA with Epsilon-Transitions) and their applications, Regular Expressions and Languages, derivation trees. Removing Nondeterminism. Equivalence NFA and NFA with ε-moves. Minimization of DFA, Pumping Lemma
* FA and Grammars. Grammars of Chomsky Hierarchy. Regular Sets (RS). Properties of Regular Languages. RS and FA. Finding a correspondence Regular Expression of a FA. Abilities and disabilities of FA.
* Context-Free Grammars and Languages, Pushdown Automata (Deterministic PDA, Acceptance by Final State, Acceptance by Empty Stack), Properties of Context-Free Languages. Correspondence PDA and Context-Free Languages.
* Introduction of Turing Machines. Standard TM, useful techniques for TM constructions. Modification of TM. TM as procedure.
* Unsolvability. The Church-Turing Thesis. The Universal TM. The Halting Problem for TM. Computational Complexity. NP-complete problems.
Upon completion of the course, the students will be able to:
* understand theoretical documentation of mathematical problems
* solve exercises
* track further applications
which are related to Finite Automata, Pushdown Automata, and Turing Machines as well as to Unsolvability, to Computational Complexity and to NP-complete problems.
|-
! General Competences
|
* Handle new problems
* Decision making
* Implementation- Consolidation
|}

=== Syllabus ===

* Introduction and related concepts.
* Finite automata and regular expressions, regular languages, closure properties, pumping lemma, algorithms.
* Determinism, non-determinism.
* Pushdown automata and context-free grammars, context-free languages, closure properties, pumping lemma, algorithms.
* Chomsky normal form.
* Turing machines, equivalence of different models.
* Recursive and recursively enumerable languages.
* Church-Turing thesis.
* Undecidability, the halting problem, Post’s correspondence problem.
* Classes P and NP.

=== Teaching and Learning Methods - Evaluation ===

{| class="wikitable"
|-
! Delivery
| Face to face
|-
! Use of Information and Communications Technology
|
* Projector and interactive board during lectures.
* Course website maintenance.
* Announcements and posting of teaching material (lecture slides and notes, programs).
* Assessment marks via the ecourse platform.
|-
! Teaching Methods
|
{| class="wikitable"
! Activity
! Semester Workload
|-
| Lectures
| 39
|-
| Self study
| 78
|-
| Exercises
| 33
|-
| Course total
| 150
|}
|-
! Student Performance Evaluation
| Final test
|}

See the official [https://service.eudoxus.gr/public/departments#20 Eudoxus site]. Books and other resources, not provided by Eudoxus:
</div>

<div style="text-align:left;">

</div> </div>