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

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

2026-04-03T20:01:49Z

← Παλαιότερη αναθεώρηση		Αναθεώρηση της 23:01, 3 Απριλίου 2026
Γραμμή 9:		Γραμμή 9:

	<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>


Γραμμή 40:		Γραμμή 44:
	\|-		\|-
	! Προαπαιτούμενα Μαθήματα		! Προαπαιτούμενα Μαθήματα
	\|		\|
	\|-		\|-
	! Γλώσσα Διδασκαλίας και Εξετάσεων		! Γλώσσα Διδασκαλίας και Εξετάσεων
Γραμμή 61:		Γραμμή 65:
	Συνδυάζει εκτεταμένη αναφορά στις θεωρητικές αρχές της ανάπτυξης και σχεδίασης λογισμικού με ευρεία αναφορά στο οικοσύστημα της γλώσσας. Επιπρόσθετα, ιδιαίτερη έμφαση δίνεται στην πρακτική εφαρμογή των αποκτώμενων γνώσεων, μέσω της ανάθεσης προγραμματιστικών εργασιών και της παρουσίασης εκτεταμένων παραδειγμάτων.		Συνδυάζει εκτεταμένη αναφορά στις θεωρητικές αρχές της ανάπτυξης και σχεδίασης λογισμικού με ευρεία αναφορά στο οικοσύστημα της γλώσσας. Επιπρόσθετα, ιδιαίτερη έμφαση δίνεται στην πρακτική εφαρμογή των αποκτώμενων γνώσεων, μέσω της ανάθεσης προγραμματιστικών εργασιών και της παρουσίασης εκτεταμένων παραδειγμάτων.

	Με την ολοκλήρωση του μαθήματος, ο/η φοιτητής/τρια θα είναι σε θέση να:		Με την ολοκλήρωση του μαθήματος, ο/η φοιτητής/τρια θα είναι σε θέση να:
	* Εφαρμόσει μεθόδους σχεδίασης λογισμικού με την γλώσσα προγραμματισμού ~~Python~~		* Εφαρμόσει μεθόδους σχεδίασης λογισμικού με την γλώσσα προγραμματισμού Python
	* Κατανοεί και να εφαρμόζει αλγοριθμική σκέψη με όρους προγραμματιστικών μεθόδων και δομών ~~δεδομένων~~		* Κατανοεί και να εφαρμόζει αλγοριθμική σκέψη με όρους προγραμματιστικών μεθόδων και δομών δεδομένων
	* Ενσωματώνει κατάλληλα πακέτα του οικοσυστήματος της γλώσσας σε επιστημονικές ~~διεργασίες~~		* Ενσωματώνει κατάλληλα πακέτα του οικοσυστήματος της γλώσσας σε επιστημονικές διεργασίες
	* Εξοικειωθεί με την υλοποίηση βασικών αλγορίθμων ανάλυσης ~~δεδομένων~~		* Εξοικειωθεί με την υλοποίηση βασικών αλγορίθμων ανάλυσης δεδομένων
	* Χρησιμοποιήσει εργαλεία και γλώσσες προγραμματισμού που είναι κατάλληλα για την επιστήμη των δεδομένων		* Χρησιμοποιήσει εργαλεία και γλώσσες προγραμματισμού που είναι κατάλληλα για την επιστήμη των δεδομένων
	\|-		\|-
	! Γενικές Ικανότητες		! Γενικές Ικανότητες
	\|		\|
	* Αναζήτηση, ανάλυση και σύνθεση δεδομένων και πληροφοριών, με τη χρήση και των απαραίτητων ~~τεχνολογιών~~		* Αναζήτηση, ανάλυση και σύνθεση δεδομένων και πληροφοριών, με τη χρήση και των απαραίτητων τεχνολογιών
	* Προσαρμογή σε νέες ~~καταστάσεις~~		* Προσαρμογή σε νέες καταστάσεις
	* Άσκηση κριτικής και ~~αυτοκριτικής~~		* Άσκηση κριτικής και αυτοκριτικής
	* Προαγωγή της ελεύθερης, δημιουργικής και επαγωγικής σκέψης.		* Προαγωγή της ελεύθερης, δημιουργικής και επαγωγικής σκέψης.
	\|}		\|}
Γραμμή 111:		Γραμμή 115:
	\|-		\|-
	\| Διαλέξεις (13Χ3)		\| Διαλέξεις (13Χ3)
	\| 39		\| style="text-align: center;" \|39
	\|-		\|-
	\| Αυτοτελής Μελέτη		\| Αυτοτελής Μελέτη
	\| 78		\| style="text-align: center;" \|78
	\|-		\|-
	\| Επίλυση Ασκήσεων - εργασίες		\| Επίλυση Ασκήσεων - εργασίες
	\| 33		\| style="text-align: center;" \|33
	\|-		\|-
	\| Σύνολο Μαθήματος		\| Σύνολο Μαθήματος
	\| 150		\| style="text-align: center;" \|150
	\|}		\|}
	\|-		\|-
Γραμμή 133:		Γραμμή 137:

	<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>
			== '''Programming for the Data Science''' ==
			</div>


Γραμμή 235:		Γραμμή 243:
	\|-		\|-
	\| Lectures		\| Lectures
	\| 39		\| style="text-align: center;" \|39
	\|-		\|-
	\| Self study		\| Self study
	\| 78		\| style="text-align: center;" \|78
	\|-		\|-
	\| Exercises		\| Exercises
	\| 33		\| style="text-align: center;" \|33
	\|-		\|-
	\| Course ~~total~~		\| Course total
	\| 150		\| style="text-align: center;" \|150
	\|}		\|}
	\|-		\|-
Γραμμή 262:		Γραμμή 270:
	* Tony Gaddis , Ξεκινώντας με την Python, Εκδόσεις DaVinci, 2020, (Κωδικός Βιβλίου στον Εύδοξο: 94691810)		* Tony Gaddis , Ξεκινώντας με την Python, Εκδόσεις DaVinci, 2020, (Κωδικός Βιβλίου στον Εύδοξο: 94691810)
	* Σαμαράς Νικόλαος, Τσιμπλίδης Κωνσταντίνος , Το βιβλίο της Python, Εκδόσεις Κριτική, 2019, (Κωδικός Βιβλίου στον Εύδοξο: 86055492)		* Σαμαράς Νικόλαος, Τσιμπλίδης Κωνσταντίνος , Το βιβλίο της Python, Εκδόσεις Κριτική, 2019, (Κωδικός Βιβλίου στον Εύδοξο: 86055492)
	* Igual L., Segui S., Virtia J. et al (2017), Introduction to data science: a Python approach to concepts, techniques and applications, Springer.		* Igual L., Segui S., Virtia J. et al (2017), Introduction to data science: a Python approach to concepts, techniques and applications, Springer.
	</div>		</div>

	</div>		</div>

Ktzuvara στις 17:07, 29 Μαρτίου 2026

2026-03-29T17:07:35Z

← Παλαιότερη αναθεώρηση		Αναθεώρηση της 20:07, 29 Μαρτίου 2026
Γραμμή 9:		Γραμμή 9:

	<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;">


	=== Γενικά ===		=== Γενικά ===
Γραμμή 50:		Γραμμή 51:
	\| Δείτε το [https://ecourse.uoi.gr/ eCourse], την Πλατφόρμα Ασύγχρονης Εκπαίδευσης του Πανεπιστημίου Ιωαννίνων.		\| Δείτε το [https://ecourse.uoi.gr/ eCourse], την Πλατφόρμα Ασύγχρονης Εκπαίδευσης του Πανεπιστημίου Ιωαννίνων.
	\|}		\|}


	=== Μαθησιακά Αποτελέσματα ===		=== Μαθησιακά Αποτελέσματα ===
Γραμμή 58:		Γραμμή 58:
	! Μαθησιακά Αποτελέσματα		! Μαθησιακά Αποτελέσματα
	\| Το μάθημα προσφέρεται στο 5ο εξάμηνο του προγράμματος σπουδών και έχει ως στόχο να εφοδιάσει τους/τις προπτυχιακούς/κές φοιτητές/τριες με όλες τις θεμελιώδεις γνώσεις της γλώσσας προγραμματισμού Python και του τρόπου με τον οποίο μπορεί να ενσωματωθεί σε μια πλειάδα επιστημονικών πεδίων με έμφαση στην επιστήμη δεδομένων.		\| Το μάθημα προσφέρεται στο 5ο εξάμηνο του προγράμματος σπουδών και έχει ως στόχο να εφοδιάσει τους/τις προπτυχιακούς/κές φοιτητές/τριες με όλες τις θεμελιώδεις γνώσεις της γλώσσας προγραμματισμού Python και του τρόπου με τον οποίο μπορεί να ενσωματωθεί σε μια πλειάδα επιστημονικών πεδίων με έμφαση στην επιστήμη δεδομένων.


	Συνδυάζει εκτεταμένη αναφορά στις θεωρητικές αρχές της ανάπτυξης και σχεδίασης λογισμικού με ευρεία αναφορά στο οικοσύστημα της γλώσσας. Επιπρόσθετα, ιδιαίτερη έμφαση δίνεται στην πρακτική εφαρμογή των αποκτώμενων γνώσεων, μέσω της ανάθεσης προγραμματιστικών εργασιών και της παρουσίασης εκτεταμένων παραδειγμάτων.		Συνδυάζει εκτεταμένη αναφορά στις θεωρητικές αρχές της ανάπτυξης και σχεδίασης λογισμικού με ευρεία αναφορά στο οικοσύστημα της γλώσσας. Επιπρόσθετα, ιδιαίτερη έμφαση δίνεται στην πρακτική εφαρμογή των αποκτώμενων γνώσεων, μέσω της ανάθεσης προγραμματιστικών εργασιών και της παρουσίασης εκτεταμένων παραδειγμάτων.


	Με την ολοκλήρωση του μαθήματος, ο/η φοιτητής/τρια θα είναι σε θέση να:		Με την ολοκλήρωση του μαθήματος, ο/η φοιτητής/τρια θα είναι σε θέση να:
Γραμμή 77:		Γραμμή 75:
	* Προαγωγή της ελεύθερης, δημιουργικής και επαγωγικής σκέψης.		* Προαγωγή της ελεύθερης, δημιουργικής και επαγωγικής σκέψης.
	\|}		\|}


	=== Περιεχόμενο Μαθήματος ===		=== Περιεχόμενο Μαθήματος ===
Γραμμή 129:		Γραμμή 126:
	\| Γραπτή τελική εξέταση στα Ελληνικά (σε περίπτωση φοιτητών Erasmus στην Αγγλική γλώσσα) , ενδιάμεσες προγραμματιστικές εργασίες.		\| Γραπτή τελική εξέταση στα Ελληνικά (σε περίπτωση φοιτητών Erasmus στην Αγγλική γλώσσα) , ενδιάμεσες προγραμματιστικές εργασίες.
	\|}		\|}


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

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

	{\| class="wikitable"		{\| class="wikitable"
	\|-		\|-
Γραμμή 163:		Γραμμή 161:
	\|-		\|-
	! [https://regulations.math.uoi.gr/index.php?title=Undergraduate_Department_Course_Types Course Type]		! [https://regulations.math.uoi.gr/index.php?title=Undergraduate_Department_Course_Types Course Type]
	\|		\| Special Background
	Special Background
	\|-		\|-
	! Prerequisite Courses		! Prerequisite Courses
Γραμμή 170:		Γραμμή 167:
	\|-		\|-
	! Language of Instruction and Examinations		! Language of Instruction and Examinations
	\|		\| Greek
	Greek
	\|-		\|-
	! Is the Course Offered to Erasmus Students		! Is the Course Offered to Erasmus Students
	\|		\| Yes (in English)
	Yes (in English)
	\|-		\|-
	! Course Website (URL)		! Course Website (URL)
	\| 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 ===
Γραμμή 188:		Γραμμή 182:
	! Learning outcomes		! Learning outcomes
	\|The course is offered in the 5th semester of the curriculum and aims to equip undergraduate students with all the fundamental knowledge of the Python programming language and how it can be integrated into a wide range of scientific fields, with an emphasis on data science.		\|The course is offered in the 5th semester of the curriculum and aims to equip undergraduate students with all the fundamental knowledge of the Python programming language and how it can be integrated into a wide range of scientific fields, with an emphasis on data science.


	It combines extensive coverage of the theoretical principles of software development and design with a broad reference to the language ecosystem. Additionally, special emphasis is placed on the practical application of acquired knowledge through the assignment of programming tasks and the presentation of extensive examples.		It combines extensive coverage of the theoretical principles of software development and design with a broad reference to the language ecosystem. Additionally, special emphasis is placed on the practical application of acquired knowledge through the assignment of programming tasks and the presentation of extensive examples.


	Upon completion of the course, the student will be able to:		Upon completion of the course, the student will be able to:
Γραμμή 207:		Γραμμή 199:
	* Production of free, creative and inductive thinking		* Production of free, creative and inductive thinking
	\|}		\|}


	=== Syllabus ===		=== Syllabus ===
Γραμμή 232:		Γραμμή 223:
	\|-		\|-
	! Delivery		! Delivery
	\|		\| Face to face
	Face to face
	\|-		\|-
	! Use of Information and Communications Technology		! Use of Information and Communications Technology
Γραμμή 260:		Γραμμή 250:
	\| Written final exam, weekly programming exercises.		\| Written final exam, weekly programming exercises.
	\|}		\|}


	=== Attached Bibliography ===		=== Attached Bibliography ===

Ktzuvara: /* Syllabus */

2026-03-27T22:50:04Z

Syllabus

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

			{\| class="wikitable" style="width: 100%;"
			\|
	* Introduction to Python language		* Introduction to Python language
	* The Jupyter Lab and the use of Notebooks for writing Python scripts		* The Jupyter Lab and the use of Notebooks for writing Python scripts
Γραμμή 223:		Γραμμή 225:
	* GUI Frameworks and graphical representation design using the Matplotlib library		* GUI Frameworks and graphical representation design using the Matplotlib library
	* Pandas: Basic functionality, Series, DataFrames, Iteration, Sorting, Indexing and Data Selection, Handling Missing Values, Grouping, Merging/Joining, Input/Output, Visualization, and Sparse Data.		* Pandas: Basic functionality, Series, DataFrames, Iteration, Sorting, Indexing and Data Selection, Handling Missing Values, Grouping, Merging/Joining, Input/Output, Visualization, and Sparse Data.
			\|}

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

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

2026-03-27T22:49:51Z

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

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

			{\| class="wikitable" style="width: 100%;"
			\|
	* Εισαγωγή στη γλώσσα Python		* Εισαγωγή στη γλώσσα Python
	* Το διαδικτυακό περιβάλλον Jupyter Lab και η χρήση των Notebooks για την συγγραφή σεναρίων Python		* Το διαδικτυακό περιβάλλον Jupyter Lab και η χρήση των Notebooks για την συγγραφή σεναρίων Python
Γραμμή 93:		Γραμμή 95:
	* GUI Frameworks και σχεδίαση γραφικών παραστάσεων με χρήση της βιβλιοθήκης Matplotlib		* GUI Frameworks και σχεδίαση γραφικών παραστάσεων με χρήση της βιβλιοθήκης Matplotlib
	* Pandas: Βασική λειτουργικότητα, Σειρές, Πίνακες δεδομένων (DataFrame), Επανάληψη, Ταξινόμηση, Ευρετηρίαση και Επιλογή δεδομένων, Διαχείριση ελλιπών τιμών, Ομαδοποίηση, Συγχώνευση/Σύνδεση, Είσοδος/Έξοδος, Οπτικοποίηση και Αραιά δεδομένα.		* Pandas: Βασική λειτουργικότητα, Σειρές, Πίνακες δεδομένων (DataFrame), Επανάληψη, Ταξινόμηση, Ευρετηρίαση και Επιλογή δεδομένων, Διαχείριση ελλιπών τιμών, Ομαδοποίηση, Συγχώνευση/Σύνδεση, Είσοδος/Έξοδος, Οπτικοποίηση και Αραιά δεδομένα.
			\|}

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

Outlines-mw-admin στις 14:05, 16 Σεπτεμβρίου 2025

2025-09-16T14:05:59Z

Εμφάνιση αλλαγών

Outlines-mw-admin: Νέα σελίδα με '{{DISPLAYTITLE:{{FULLPAGENAME}}}}

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

2025-09-16T13:55:07Z

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

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

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

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

Εξοικείωση με:
* τη γλώσσα προγραμματισμού Prolog
* τη Θεωρία Προγραμματισμού Λογικής
* τις Τεχνικές υλοποίησης συστημάτων Προγραμματισμού Λογικής
* τον Παράλληλο Προγραμματισμό Λογικής
* τον Προγραμματισμός Λογικής για αναπαράσταση γνώσης
* τις Εφαρμογές της PROLOG στα Μαθηματικά, στη Φυσική Γλώσσα στα Έμπειρα Συστήματα κ.λ.π.

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

{| class="wikitable"
|-
! Τρόπος Παράδοσης
| Πρόσωπο με πρόσωπο
|-
! Χρήση Τεχνολογιών Πληροφορίας και Επικοινωνιών
|Ναι. Χρήση του Εργαστηρίου Επεξεργασίας Φυσικής Γλώσσας και Μαθηματικών προβλημάτων
|-
! Οργάνωση Διδασκαλίας
|
{| 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
|
MAE544
|-
! Semester
|
5
|-
! Course Title
|
Logic Programming
|-
! 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 PROLOG. During the course a detailed examination of the following topics are done:
* Procedural and Declarative Programming
* Logic Programming a version of Declarative Programming
* The programming language PROLOG (PROLOG programs syntax, Lists, Operators, Arithmetic, Backtracking control, The negation in PROLOG, Recursive predicates, Data Structure manipulation, PROLOG implementation to searching problems, symbolic processing, natural language understanding and metaprogramming)
* Logic Programming Theory
* Logic Programming under restrictions
* Logic Programming systems implementation techniques
* Parallel Logic Programming
* Logic Programming for knowledge representation
After completing the course the student can handle:
* programming in PROLOG
* solving exercises in PROLOG
* tracking applications in PROLOG
|-
! General Competences
|
* Programming in PROLOG
* Implement PROLOG to Mathematics, Natural Language, Expert Systems, e.t.c.
* Implementation- Consolidation.
|}

=== Syllabus ===

* 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.

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

{| class="wikitable"
|-
! Delivery
|
Face to face
|-
! Use of Information and Communications Technology
| Yes, Use of Natural Language and Mathematical Problems Processing Laboratory
|-
! Teaching Methods
|
{| class="wikitable"
! Activity
! Semester Workload
|-
| Lectures
| 39
|-
| Self study
| 78
|-
| Exercises
| 33
|-
| Course total
| 150
|}
|-
! Student Performance Evaluation
|
Final test
|}

=== 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;">
* Π. Σταματόπουλος, "Λογικός και Συναρτησιακός Προγραμματισμός", Σύνδεσμος Ελληνικών Ακαδημαϊκών Βιβλιοθηκών, http://hdl.handle.net/11419/3587 (με διορθωμένα παροράματα εδώ)
* Η. Σακελλαρίου, Ν. Βασιλειάδης, Π. Κεφαλάς, Δ. Σταμάτης, "Τεχνικές Λογικού Προγραμματισμού", Σύνδεσμος Ελληνικών Ακαδημαϊκών Βιβλιοθηκών, http://hdl.handle.net/11419/777
* I. Bratko, "Prolog Programming for Artificial Intelligence", Third Edition, Addison-Wesley, 2000.
* L. Sterling, E. Shapiro, "The Art of Prolog", The MIT Press, 1994.
* J. W. Lloyd, "Foundations of Logic Programming", Springer Verlag, 1993
</div>

</div>