Postgraduate Section 4 1021 - Ιστορικό εκδόσεων

Ktzuvara: /* Διδακτικές και Μαθησιακές Μέθοδοι - Αξιολόγηση */

2026-04-02T19:38:05Z

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

← Παλαιότερη αναθεώρηση		Αναθεώρηση της 22:38, 2 Απριλίου 2026
Γραμμή 94:		Γραμμή 94:
	\|-		\|-
	\| Διαλέξεις		\| Διαλέξεις
	\| 39		\| style="text-align: center;" \|39
	\|-		\|-
	\| Αυτοτελής Μελέτη		\| Αυτοτελής Μελέτη
	\| 78		\| style="text-align: center;" \|78
	\|-		\|-
	\| Ασκήσεις, Εργασίες		\| Ασκήσεις, Εργασίες
	\| 70.5		\| style="text-align: center;" \|70.5
	\|-		\|-
	\| Σύνολο Μαθήματος		\| Σύνολο Μαθήματος
	\| 187.5		\| style="text-align: center;" \|187.5
	\|}		\|}
	\|-		\|-

Ktzuvara: /* Teaching and Learning Methods - Evaluation */

2026-04-02T19:37:38Z

Teaching and Learning Methods - Evaluation

← Παλαιότερη αναθεώρηση		Αναθεώρηση της 22:37, 2 Απριλίου 2026
Γραμμή 217:		Γραμμή 217:
	\|-		\|-
	\| Lectures		\| Lectures
	\| 39		\| style="text-align: center;" \|39
	\|-		\|-
	\| Self study		\| Self study
	\| 78		\| style="text-align: center;" \|78
	\|-		\|-
	\| Exercises		\| Exercises
	\| 70.5		\| style="text-align: center;" \|70.5
	\|-		\|-
	\| Course total		\| Course total
	\| 187.5		\| style="text-align: center;" \|187.5
	\|}		\|}
	\|-		\|-

Ktzuvara: /* Διδακτικές και Μαθησιακές Μέθοδοι - Αξιολόγηση */

2026-04-02T19:33:21Z

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

← Παλαιότερη αναθεώρηση		Αναθεώρηση της 22:33, 2 Απριλίου 2026
Γραμμή 89:		Γραμμή 89:
	! Οργάνωση Διδασκαλίας		! Οργάνωση Διδασκαλίας
	\|		\|
	{\| class="wikitable"		{\| class="wikitable" style="width: 100%;"
	! Δραστηριότητα		! Δραστηριότητα
	! Φόρτος Εργασίας Εξαμήνου		! Φόρτος Εργασίας Εξαμήνου

Ktzuvara: /* Teaching and Learning Methods - Evaluation */

2026-04-02T19:32:42Z

Teaching and Learning Methods - Evaluation

← Παλαιότερη αναθεώρηση		Αναθεώρηση της 22:32, 2 Απριλίου 2026
Γραμμή 212:		Γραμμή 212:
	! Teaching Methods		! Teaching Methods
	\|		\|
	{\| class="wikitable"		{\| class="wikitable" style="width: 100%;"
	! Activity		! Activity
	! Semester Workload		! Semester Workload

Ktzuvara στις 09:00, 24 Μαρτίου 2026

2026-03-24T09:00:13Z

← Παλαιότερη αναθεώρηση		Αναθεώρηση της 12:00, 24 Μαρτίου 2026
Γραμμή 3:		Γραμμή 3:
	<div class="tab-content text-center" id="pills-content">		<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;">		<div id="pills-gr" class="tab-pane fade show active" role="tabpanel" aria-labelledby="pills-gr-tab" style="text-align:left;">

			<div align = center>
			== '''Μαθηματική Θεωρία των Υπολογισμών''' ==
			</div>


Γραμμή 25:		Γραμμή 29:
	\|-		\|-
	! Τίτλος Μαθήματος		! Τίτλος Μαθήματος
	\| ~~ΜΑΘΗΜΑΤΙΚΗ ΘΕΩΡΙΑ ΤΩΝ ΥΠΟΛΟΓΙΣΜΩΝ~~		\| Μαθηματική Θεωρία των Υπολογισμών
	\|-		\|-
	! Αυτοτελείς Διδακτικές Δραστηριότητες		! Αυτοτελείς Διδακτικές Δραστηριότητες
Γραμμή 45:		Γραμμή 49:
	\| Δείτε το [https://ecourse.uoi.gr/ eCourse], την Πλατφόρμα Ασύγχρονης Εκπαίδευσης του Πανεπιστημίου Ιωαννίνων.		\| Δείτε το [https://ecourse.uoi.gr/ eCourse], την Πλατφόρμα Ασύγχρονης Εκπαίδευσης του Πανεπιστημίου Ιωαννίνων.
	\|}		\|}


	=== Μαθησιακά Αποτελέσματα ===		=== Μαθησιακά Αποτελέσματα ===
Γραμμή 64:		Γραμμή 67:
	* Επιλογή και σχεδίαση της κατάλληλης μηχανής κάθε φορά		* Επιλογή και σχεδίαση της κατάλληλης μηχανής κάθε φορά
	\|}		\|}


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

			{\| class="wikitable" style="width: 100%;"
			\|
	* Ιδιότητες των μαθηματικών μοντέλων των υπολογισμών		* Ιδιότητες των μαθηματικών μοντέλων των υπολογισμών
	* Κατάταξη προβλημάτων σε επιλύσιμα και μη		* Κατάταξη προβλημάτων σε επιλύσιμα και μη
	* Κατάταξη επιλύσιμων προβλημάτων σε εύκολα		* Κατάταξη επιλύσιμων προβλημάτων σε εύκολα
			\|}

	=== Διδακτικές και Μαθησιακές Μέθοδοι - Αξιολόγηση ===		=== Διδακτικές και Μαθησιακές Μέθοδοι - Αξιολόγηση ===
Γραμμή 109:		Γραμμή 113:
	\|}		\|}

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

	~~=== Συνιστώμενη Βιβλιογραφία ===~~		Δείτε την υπηρεσία [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;">

			<div align = center>
			== '''Theory of Computation''' ==
			</div>


Γραμμή 157:		Γραμμή 166:
	\| 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 ===
Γραμμή 182:		Γραμμή 190:
	* Effective selection and Design of the required machine and language.		* Effective selection and Design of the required machine and language.
	\|}		\|}


	=== Syllabus ===		=== Syllabus ===

			{\| class="wikitable" style="width: 100%;"
			\|
	* Properties of the Computation Theory Mathematical Models		* Properties of the Computation Theory Mathematical Models
	* Problems classification to solvable and unsolvable		* Problems classification to solvable and unsolvable
	* Solvable Problems Classification		* Solvable Problems Classification
			\|}

	=== Teaching and Learning Methods - Evaluation ===		=== Teaching and Learning Methods - Evaluation ===
Γραμμή 227:		Γραμμή 236:
	\|}		\|}

			=== Attached Bibliography ===

	~~=== Attached Bibliography ===~~		See the official [https://service.eudoxus.gr/public/departments#20 Eudoxus site].
	See the official [https://service.eudoxus.gr/public/departments#20 Eudoxus site]. Books and other resources, not provided by Eudoxus:		<!-- Books and other resources, not provided by Eudoxus: -->
			</div>
			<!-- <div style="text-align:left;">
			</div> -->
	</div>		</div>

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


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

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

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

2026-03-09T20:51:42Z

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

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

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

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

* Ιδιότητες των μαθηματικών μοντέλων των υπολογισμών
* Κατάταξη προβλημάτων σε επιλύσιμα και μη
* Κατάταξη επιλύσιμων προβλημάτων σε εύκολα

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

{| class="wikitable"
|-
! Τρόπος Παράδοσης
| Πρόσωπο με πρόσωπο
|-
! Χρήση Τεχνολογιών Πληροφορίας και Επικοινωνιών
| Ναι
|-
! Οργάνωση Διδασκαλίας
|
{| class="wikitable"
! Δραστηριότητα
! Φόρτος Εργασίας Εξαμήνου
|-
| Διαλέξεις
| 39
|-
| Αυτοτελής Μελέτη
| 78
|-
| Ασκήσεις, Εργασίες
| 70.5
|-
| Σύνολο Μαθήματος
| 187.5
|}
|-
! Αξιολόγηση Φοιτητών
|
* Τελική εργασία (40%)
* Ασκήσεις - σχεδίαση αυτομάτων και γραμματικών - ερωτήσεις κρίσεως (30%)
* Παρουσιάσεις σχετικών θεμάτων (30%)
|}

=== Συνιστώμενη Βιβλιογραφία ===
Δείτε την υπηρεσία [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
| Graduate
|-
! Course Code
| ΠΛ2
|-
! Semester
| 1
|-
! Course Title
| Theory of Computation
|-
! Independent Teaching Activities
| Lectures (Weekly Teaching Hours: 3, Credits: 7.5)
|-
! [https://regulations.math.uoi.gr/index.php?title=Undergraduate_Department_Course_Types 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 [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 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:
* Finite Automata (Deterministic FA, Nondeterministic FA, FA with Epsilon-Transitions) and their applications, Regular Expressions and Languages, Properties of Regular Languages
* Context-Free Grammars and languages, Pushdown Automata (Deterministic PDA, Acceptance by Final State, Acceptance by Empty Stack) , Properties of Context-Free Languages
* Turing Machines (Standard TM, Multitrack TM, Two-Way Tape TM, Multitape TM, Nondeterministic TM)
* Decidability and Computability
* Computational Complexity
After completing the course the student can handle:
* theoretical documentation of problems
* solving exercises
* tracking applications
which related to Finite Automata, Pushdown Automata, and Turing Machines as well as to Decidability and Computability and to Computational Complexity.
|-
! General Competences
|
* Independent work
* Bibliographic search
* Effective selection and Design of the required machine and language.
|}

=== Syllabus ===

* Properties of the Computation Theory Mathematical Models
* Problems classification to solvable and unsolvable
* Solvable Problems Classification

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

{| class="wikitable"
|-
! Delivery
| Face to face
|-
! Use of Information and Communications Technology
| Yes
|-
! Teaching Methods
|
{| class="wikitable"
! Activity
! Semester Workload
|-
| Lectures
| 39
|-
| Self study
| 78
|-
| Exercises
| 70.5
|-
| Course total
| 187.5
|}
|-
! Student Performance Evaluation
|
* Final essays (40%).
* Exercises - questions requiring critical thinking (30%).
* Presentations of related issues (30%).
|}

=== Attached Bibliography ===
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>