Λογική στην Πληροφορική - Εισαγωγή

Μέγεθος: px
Εμφάνιση ξεκινά από τη σελίδα:

Download "Λογική στην Πληροφορική - Εισαγωγή"

Transcript

1 Λογική στην Πληροφορική - Εισαγωγή Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Οργάνωση του Μαθήματος Αναδρομή στην Ιστορία της Λογικής ΕΠΛ 412 Λογική στην Πληροφορική 1-1

2 Διδασκαλία Διαλέξεις: Δευτέρα και Πέμπτη, 12:00-13:30 Φροντιστήριο: Τετάρτη, 12:00-13:00 Βοηθός του μαθήματος: To be announced! Τα φροντιστήρια θα ξεκινήσουν την επόμενη εβδομάδα. Ιστοσελίδα: ΕΠΛ 412 Λογική στην Πληροφορική 1-2

3 Περιγραφή Τα μάθημα θα παρουσιάσει τις κύριες έννοιες της Λογικής που βρίσκουν εφαρμογές στην Πληροφορική εστιάζοντας στον προτασιακό λογισμό και στον πρωτοβάθμιο κατηγορηματικό λογισμό με έμφαση στην εφαρμογή των σχετικών εννοιών στην Πληροφορική. Προαπαιτούμενο: ΕΠΛ 111 (Διακριτές Δομές στην Πληροφορική και Υπολογισμό) ΕΠΛ 412 Λογική στην Πληροφορική 1-3

4 Περιεχόμενα Προτασιακός Λογισμός σύνταξη και σημασιολογία κανονικές μορφές τυπικά συστήματα και οι έννοιες της ορθότητας, της συνέπειας, της πληρότητας και της συμπάγειας Εφαρμογές Πρωτοβάθμιος κατηγορηματικός λογισμός: σύνταξη και σημασιολογία κανονικές μορφές αποδεικτική θεωρία εφαρμογές. Γραμμικός και Διακλαδωμένος Χρονικός Λογισμός (LTL, CTL): σύνταξη και σημασιολογία, αλγόριθμοι μοντελοελέγχου. Τριάδες Hoare και συστήματα απόδειξης της ορθότητας προγραμμάτων. ΕΠΛ 412 Λογική στην Πληροφορική 1-4

5 Στόχοι Βασικός στόχος του μαθήματος είναι η προετοιμασία των φοιτητών για να χρησιμοποιήσουν τη Μαθηματική Λογική ως εργαλείο στην Πληροφορική. Ανάπτυξη λογικής και μαθηματικής ωριμότητας Εξοικείωση με τον συμπερασματικό συλλογισμό Αναγνώριση της Λογικής ως έναν από τους θεμέλιους λίθους της Πληροφορικής Εφαρμογές της Λογικής στην ανάλυση της ορθότητας προγραμμάτων και συστημάτων. ΕΠΛ 412 Λογική στην Πληροφορική 1-5

6 Βιβλιογραφία M. Huth and A. Ryan. Logic in Computer Science: Modeling and Reasoning about Concurrent Systems. Cambridge University Press, 2 nd edition, M. Ben-Ari.Mathematical Logic for Computer Science. Springer- Verlag, 2nd edition, ΕΠΛ 412 Λογική στην Πληροφορική 1-6

7 Αξιολόγηση 5 σειρές ασκήσεων Ενδιάμεση Εξέταση Τελική εξέταση 20% 30% 50% ΕΠΛ 412 Λογική στην Πληροφορική 1-7

8 Τι είναι η Λογική; Λογική είναι οι αρχές του έγκυρου συλλογισμού και συμπερασμού. Ρίζες στη Φιλοσοφία Μέρος του trivium (βάση των ακαδημαϊκών σπουδών κατά τον Μεσαίωνα): λογική, γραμματική, ρητορική Η Λογική είναι η τέχνη της σκέψης Η Γραμματική είναι η τέχνη της επινόησης συμβόλων και του συνδυασμού αυτών για τη διατύπωση της σκέψης Η Ρητορική είναι η τέχνη της διατύπωσης της σκέψης από άτομο σε άτομο μέσω κατάλληλης χρήσης της γλώσσας (Quadrivium: Αριθμητική, Γεωμετρία, Μουσική, Αστρονομία) Λογική: Γλώσσα + Σημασιολογία + Συμπερασμός ΕΠΛ 412 Λογική στην Πληροφορική 1-8

9 Ιστορία της Λογικής 5ος αιώνας π.χ. 19ος αιώνας μ.χ. Συλλογιστική Λογική Μέσα με τέλη του 19 αιώνα μ.χ. Συμβολική Λογική Τέλη του 19ου αιώνας μέσα του 20ου αιώνα Μαθηματική Λογική Μέσα του 20ου αιώνα σήμερα Λογική στην Πληροφορική ΕΠΛ 412 Λογική στην Πληροφορική 1-9

10 Ιστορία της Λογικής Συλλογιστική Λογική Αριστοτέλης Πατέρας της Λογικής Επιχειρήματα σε φυσική γλώσσα και εξαγωγή συμπερασμάτων από βασικές αλήθειες Συλλογισμός Όλοι οι άνθρωποι είναι θνητοί. Ο Σωκράτης είναι άνθρωπος. Συμπέρασμα: Ο Σωκράτης είναι θνητός Για κάθε x. M(x) D(x) Αν γνωρίζουμε ότι ισχύει M(S) Τότε ισχύει και D(S) ΕΠΛ 412 Λογική στην Πληροφορική 1-10

11 Ιστορία της Λογικής Η φυσική γλώσσα είναι ανακριβής. Κάποια αυτοκίνητα έχουν κόκκινο χρώμα. Το αυτοκίνητό μου είναι κάποιο αυτοκίνητο. Συμπέρασμα: Το αυτοκίνητό μου είναι κόκκινο. Παράδοξα Αυτή η πρόταση είναι ψευδής. Καθηγητής: Την επόμενη βδομάδα θα έχουμε απρόοπτο διαγώνισμα. Την ημέρα πουθαπάρετετοδιαγώνισμαθαεκπλαγείτε! Φοιτητές: Το διαγώνισμα δεν θα γίνει την Παρασκευή γιατί όταν έρθει το μάθημα της Παρασκευής θα γνωρίζουμε οπωσδήποτε ότι το διαγώνισμα θα γίνει αυτή τη μέρα και δεν θα εκπλαγούμε. Εφόσον όμως δεν θα γίνει την Παρασκευή δεν μπορεί να γίνει ούτε και την Πέμπτη (διότιότανέρθείηπέμπτηθαείμαστεσίγουροι ότι το διαγώνισμα θα γίνει εκείνη τηνημέραεφόσονανδενγίνειτότεθαπρέπειναγίνειτηνπαρασκευή). Για τον ίδιο λόγο δεν μπορεί να γίνει την Τετάρτη, τηντρίτηήτηνδευτέρα. Το διαγώνισμα γίνεται την Τρίτη και όλοι οι φοιτητές εκπλήσσονται!! Ανάγκη για χρήση συμβολικής γλώσσας ΕΠΛ 412 Λογική στην Πληροφορική 1-11

12 Ιστορία της Λογικής Συμβολική Λογική Απόδοση της Λογικής μέσω μαθηματική γλώσσας George Boole, 1847: Boolean Algebra The design of the following treatise is to investigate the fundamental laws of the operations of the mind by which reasoning is performed; to give expressions to them in the symbolic language of a calculus, and upon this foundation to establish the science of logic and construct its methods. Αναλογία προς: a(b+c) = ab + ac x (y z) = (x y) (x z) Charles Ludwig Dodgeson (Lewis Carol): Διαγράμματα Venn Ernst Schroeder: Γρήγοροι αλγόριθμοι για εξαγωγή συμπερασμάτων Προπάτορας της μεθοδολογίας αυτοματοποιημένης απόδειξης θεωρημάτων (theorem proving). ΕΠΛ 412 Λογική στην Πληροφορική 1-12

13 Ιστορία της Λογικής Μαθηματική Λογική (1) Ανάγκη ύπαρξης δυνατού υποβάθρου απόδειξης για την ανάπτυξη των Μαθηματικών. Frege 1879: Λογική ηγλώσσατωνμαθηματικών Ραγδαία πρόοδος, π.χ. η ανάπτυξητωναποδείξεωνε-δ στον Απειροστικό Λογισμό Cantor: Θεωρία Συνόλων, Ύπαρξη μη-πεπερασμένου αριθμού της ποσότητας ΕΠΛ 412 Λογική στην Πληροφορική 1-13

14 Ιστορία της Λογικής Μαθηματική Λογική (2) To πρόγραμμα του David Hilbert H επινόηση ενός τυπικού συστήματος που θα επιτρέπει την απόδειξη κάθε μαθηματικής αλήθειας μέσω μιας μηχανικής διαδικασίας Υπάρχει η έννοια της Μαθηματικής Πληρότητας (completeness); Μία πρόταση είναι είτε αληθής είτε ψευδής. Υπάρχει η έννοια της Μαθηματικής Συνέπειας (consistency); Μία πρόταση δεν μπορεί να δειχθεί ως αληθής και ψευδής ταυτόχρονα. Υπάρχει η έννοια της Μαθηματικής Αποφασισιμότητας (decidability); Κάθε μαθηματική πρόταση μπορεί να δειχθεί μέσω μιας διαδικασία ως αληθής ή ψευδής. ΕΠΛ 412 Λογική στην Πληροφορική 1-14

15 Ιστορία της Λογικής Μαθηματική Λογική (3) To πρόγραμμα του David Hilbert Bertrand Russel. Το παράδοξο του Russel T = {S S S} T T T T, αντίφαση! Godel s First Incompleteness Theorem: Ένα τυπικό σύστημα ικανό να διατυπώσει προτάσεις σχετικά με το τι είναι αποδείξιμο περιέχει πάντα αληθείς προτάσεις την ορθότητα των οποίων δεν μπορεί να αποδείξει, δηλαδή, δεν είναι πλήρες. Godel s Second Incompleteness Theorem: Ένα τυπικό σύστημα ικανό να διατυπώσει αριθμητικές προτάσεις δεν μπορεί να αποδείξει την συνέπειά του. Alonzo Church και Alan Turing: Η πρωτοβάθμια λογική είναι μη-αποφασίσιμη. Υπάρχουν προβλήματα τα οποία κανένας αλγόριθμος δεν μπορεί να επιλύσει. Επομένως δεν μπορεί να υπάρχει κάποιος αλγόριθμος ο οποίος να μπορεί να παράξει κάθε μαθηματική αλήθεια. ΕΠΛ 412 Λογική στην Πληροφορική 1-15

16 Ιστορίας της Λογικής Λογική στην Πληροφορική Λογική στην Πληροφορική: μαθηματικό υπόβαθρο καθώς και εργαλείο Προσφέρει μία πλειάδα από γλώσσες και μοντέλα (κυκλώματα, τύποι, διατύπωση ερωτημάτων σε βάσεις δεδομένων, χρονικές λογικές) It is reasonable to expect that the relationship between computation and mathematical logic will be as fruitful in the next century as that between physics and analysis in the last. J. MacCarthy, 1961 Logic plays a similar role in Computer Science to that played by calculus in the physical sciences and traditional engineering disciplines. M. Vardi, 2007 Computer Science is applied logic. D. Leivant, 1998 ΕΠΛ 412 Λογική στην Πληροφορική 1-16

17 Εφαρμογές της Λογικής στην Πληροφορική Αρχιτεκτονική Boolean Circuits Υπολογισμός με βάση τις λογικές πράξεις ENIAC Boole: Οι «κανόνες του μυαλού» έθεσαν τη βάση για του «κανόνες του υπολογισμού». Βάσεις Δεδομένων relational algebra, SQL, γλώσσα ισοδύναμη με πρωτοβάθμια λογική Τεχνητή Νοημοσύνη αυτοματοποιημένες αποδείξεις, ευφυή συστήματα Τεχνολογία Λογισμικού προδιαγραφή και επαλήθευση συστημάτων H Λογική μας παρέχει τη δυνατότητα να διατυπώσουμε και να αποδείξουμε την ορθότητα των προγραμμάτων μας. (Intel bug 1995) ΕΠΛ 412 Λογική στην Πληροφορική 1-17

18 Εφαρμογές της Λογικής στην Πληροφορική Γλώσσες Προγραμματισμού σημασιολογία, λογικός προγραμματισμός, συστήματα τύπων Θεωρία Αλγορίθμων Πολυπλοκότητα Κάποια προβλήματα είναι τόσο «δύσκολα» που κανένας υπολογιστής δεν μπορεί να τα λύσει λόγω της ύπαρξης ενός τεράστιας συνδυασμού δυνατοτήτων που χρειάζεται να διερευνηθεί για την επίλυσή τους. Η Λογική παρέχει τα εφόδια για να αναλύσουμε τι είναι επιλύσιμο. Θεωρία NP- Completeness Ασφάλεια Συστημάτων proof-carrying code To μάθημά μας θα μελετήσει την Προτασιακή και την Πρωτοβάθμια Λογική, Χρονικές και Τροπικές Λογικές καθώς και εφαρμογές τους σε περιοχές από τις πιο πάνω. ΕΠΛ 412 Λογική στην Πληροφορική 1-18

ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ. Λογική. Ενότητα 1: Εισαγωγή. Δημήτρης Πλεξουσάκης Τμήμα Επιστήμης Υπολογιστών

ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ. Λογική. Ενότητα 1: Εισαγωγή. Δημήτρης Πλεξουσάκης Τμήμα Επιστήμης Υπολογιστών ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Λογική Ενότητα 1: Εισαγωγή Δημήτρης Πλεξουσάκης Τμήμα Επιστήμης Υπολογιστών Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται στην άδεια χρήσης Creative Commons

Διαβάστε περισσότερα

Θεωρία Υπολογισμού και Πολυπλοκότητα ΕΙΣΑΓΩΓΉ ΣΤΟ ΜΑΘΗΜΑ

Θεωρία Υπολογισμού και Πολυπλοκότητα ΕΙΣΑΓΩΓΉ ΣΤΟ ΜΑΘΗΜΑ Θεωρία Υπολογισμού και Πολυπλοκότητα ΕΙΣΑΓΩΓΉ ΣΤΟ ΜΑΘΗΜΑ Άννα Φιλίππου annap@cs.ucy.ac.cy ΕΠΛ 211 Θεωρία Υπολογισμού και Πολυπλοκότητα 0-1 Στοιχεία του μαθήματος Διδάσκουσα: Άννα Φιλίππου Γραφείο: FST-01

Διαβάστε περισσότερα

ΕΠΛ664 ΑΝΑΛΥΣΗ ΚΑΙ ΕΠΑΛΗΘΕΥΣΗ ΣΥΣΤΗΜΑΤΩΝ

ΕΠΛ664 ΑΝΑΛΥΣΗ ΚΑΙ ΕΠΑΛΗΘΕΥΣΗ ΣΥΣΤΗΜΑΤΩΝ ΕΠΛ664 ΑΝΑΛΥΣΗ ΚΑΙ ΕΠΑΛΗΘΕΥΣΗ ΣΥΣΤΗΜΑΤΩΝ Περιγραφή του μαθήματος Στόχοι του μαθήματος Αξιολόγηση Βιβλιογραφία ΕΠΛ 664 Ανάλυση και Επαλήθευση Συστημάτων 1-1 Διδασκαλία Διαλέξεις: Δευτέρα και Πέμπτη, 15:00-16:30

Διαβάστε περισσότερα

Κατηγορηματικός Λογισμός (ΗR Κεφάλαιο 2.1-2.5)

Κατηγορηματικός Λογισμός (ΗR Κεφάλαιο 2.1-2.5) Κατηγορηματικός Λογισμός (ΗR Κεφάλαιο 2.1-2.5) Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Εισαγωγή στον Κατηγορηματικό Λογισμό Σύνταξη Κανόνες Συμπερασμού Σημασιολογία ΕΠΛ 412 Λογική στην

Διαβάστε περισσότερα

Εισαγωγή. Σκοπός του μαθήματος

Εισαγωγή. Σκοπός του μαθήματος (i) Σκοπός του μαθήματος Εισαγωγή στην πληροφορική (computer science) Εισαγωγή στον προγραμματισμό ηλεκτρονικών υπολογιστών (Η/Υ) Μεθοδολογία αλγοριθμικής επίλυσης προβλημάτων 1 (ii) Αλγόριθμος Πεπερασμένη

Διαβάστε περισσότερα

ΕΙΣΑΓΩΓΗ ΣΤΙΣ ΑΡΧΕΣ ΤΗΣ ΕΠΙΣΤΗΜΗΣ ΤΩΝ Η/Υ ΜΑΘΗΜΑ ΓΕΝΙΚΗΣ ΠΑΙΔΕΙΑΣ Β ΛΥΚΕΙΟΥ

ΕΙΣΑΓΩΓΗ ΣΤΙΣ ΑΡΧΕΣ ΤΗΣ ΕΠΙΣΤΗΜΗΣ ΤΩΝ Η/Υ ΜΑΘΗΜΑ ΓΕΝΙΚΗΣ ΠΑΙΔΕΙΑΣ Β ΛΥΚΕΙΟΥ ΕΙΣΑΓΩΓΗ ΣΤΙΣ ΑΡΧΕΣ ΤΗΣ ΕΠΙΣΤΗΜΗΣ ΤΩΝ Η/Υ ΜΑΘΗΜΑ ΓΕΝΙΚΗΣ ΠΑΙΔΕΙΑΣ Β ΛΥΚΕΙΟΥ ΕΙΣΑΓΩΓΗ ΣΤΙΣ ΑΡΧΕΣ ΤΗΣ ΕΠΙΣΤΗΜΗΣ ΤΩΝ Η/Υ Ιστότοπος Βιβλίου http://www.iep.edu.gr/ και «Νέα Βιβλία ΙΕΠ ΓΕΛ και ΕΠΑΛ» 2 ΠΕΡΙΕΧΟΜΕΝΑ

Διαβάστε περισσότερα

Εισαγωγή στις Βάσεις Δεδομζνων II

Εισαγωγή στις Βάσεις Δεδομζνων II ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΣΙΑ ΠΑΝΕΠΙΣΗΜΙΟ ΚΡΗΣΗ Εισαγωγή στις Βάσεις Δεδομζνων II Ενότητα: Λογική και Θεωρία Συνόλων Διδάσκων: Πηγουνάκης Κωστής ΤΜΗΜΑ ΟΙΚΟΝΟΜΙΚΩΝ ΕΠΙΣΤΗΜΩΝ ΣΧΟΛΗ ΚΟΙΝΩΝΙΚΩΝ ΕΠΙΣΤΗΜΩΝ Άδειες Χρήσης

Διαβάστε περισσότερα

Κεφάλαιο 2 Λογικός προγραμματισμός Υπολογισμός με λογική

Κεφάλαιο 2 Λογικός προγραμματισμός Υπολογισμός με λογική Κεφάλαιο 2 Λογικός προγραμματισμός Υπολογισμός με λογική Σύνοψη Το κεφάλαιο αυτό χωρίζεται σε δύο ενότητες. Στην πρώτη ενότητα επιχειρείται μια ιστορική αναδρομή στη λογική και τον λογικό προγραμματισμό,

Διαβάστε περισσότερα

κεφάλαιο Βασικές Έννοιες Επιστήμη των Υπολογιστών

κεφάλαιο Βασικές Έννοιες Επιστήμη των Υπολογιστών κεφάλαιο 1 Βασικές Έννοιες Επιστήμη 9 1Εισαγωγή στις Αρχές της Επιστήμης των Η/Υ Στόχοι Στόχος του κεφαλαίου είναι οι μαθητές: να γνωρίσουν βασικές έννοιες και τομείς της Επιστήμης. Λέξεις κλειδιά Επιστήμη

Διαβάστε περισσότερα

4. Ο,τιδήποτε δεν ορίζεται με βάση τα (1) (3) δεν είναι προτασιακός τύπος.

4. Ο,τιδήποτε δεν ορίζεται με βάση τα (1) (3) δεν είναι προτασιακός τύπος. Κεφάλαιο 10 Μαθηματική Λογική 10.1 Προτασιακή Λογική Η γλώσσα της μαθηματικής λογικής στηρίζεται βασικά στις εργασίες του Boole και του Frege. Ο Προτασιακός Λογισμός περιλαμβάνει στο αλφάβητό του, εκτός

Διαβάστε περισσότερα

Εισαγωγή στους Ηλεκτρονικούς Υπολογιστές

Εισαγωγή στους Ηλεκτρονικούς Υπολογιστές Εισαγωγή στους Ηλεκτρονικούς Υπολογιστές 1 ο Εξάμηνο Σπουδών Χειμερινό Εξάμηνο 2012/13 Τμήμα Εφαρμοσμένων Μαθηματικών, Πανεπιστήμιο Κρήτης Διδάσκων: Χαρμανδάρης Ευάγγελος, email: vagelis@tem.uoc.gr, Ιστοσελίδα

Διαβάστε περισσότερα

ιαφάνειες παρουσίασης #1

ιαφάνειες παρουσίασης #1 ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΗΛΕΚΤΡΟΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ http://www.corelab.ece.ntua.gr/courses/programming/ ιδάσκοντες: Στάθης Ζάχος (zachos@cs.ntua.gr) Νίκος Παπασπύρου (nickie@softlab.ntua.gr) ιαφάνειες παρουσίασης

Διαβάστε περισσότερα

Μαθηματική Λογική και Λογικός Προγραμματισμός

Μαθηματική Λογική και Λογικός Προγραμματισμός Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων- Σημειώσεις έτους 2007-2008 Καθηγητής Γεώργιος Βούρος Μαθηματική Λογική και Λογικός Προγραμματισμός Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών

Διαβάστε περισσότερα

Θεωρία Υπολογισμού Άρτιοι ΑΜ. Διδάσκων: Σταύρος Κολλιόπουλος. eclass.di.uoa.gr. Περιγραφή μαθήματος

Θεωρία Υπολογισμού Άρτιοι ΑΜ. Διδάσκων: Σταύρος Κολλιόπουλος. eclass.di.uoa.gr. Περιγραφή μαθήματος Περιγραφή μαθήματος Θεωρία Υπολογισμού Άρτιοι ΑΜ Σκοπός του μαθήματος είναι η εισαγωγή στη Θεωρία Υπολογισμού και στη Θεωρία Υπολογιστικής Πολυπλοκότητας (Θεωρία Αλγορίθμων). Διδάσκων: Σταύρος Κολλιόπουλος

Διαβάστε περισσότερα

Πανεπιστήμιο Δυτικής Μακεδονίας. Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών. Διακριτά Μαθηματικά. Ενότητα 4: Εισαγωγή / Σύνολα

Πανεπιστήμιο Δυτικής Μακεδονίας. Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών. Διακριτά Μαθηματικά. Ενότητα 4: Εισαγωγή / Σύνολα Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών Διακριτά Μαθηματικά Ενότητα 4: Εισαγωγή / Σύνολα Αν. Καθηγητής Κ. Στεργίου e-mail: kstergiou@uowm.gr Τμήμα Μηχανικών Πληροφορικής και Τηλεπικοινωνιών Άδειες

Διαβάστε περισσότερα

Εισαγωγικά. 1 η Εβδομάδα. Κάθε Τρίτη (17:00-20:00) και Τετάρτη (13:00 15:00) στην αίθουσα Ι5. 4 ώρες Θεωρία (ΤΡ : 1η-2η ώρα, ΤΕ : 1η-2η ώρα)

Εισαγωγικά. 1 η Εβδομάδα. Κάθε Τρίτη (17:00-20:00) και Τετάρτη (13:00 15:00) στην αίθουσα Ι5. 4 ώρες Θεωρία (ΤΡ : 1η-2η ώρα, ΤΕ : 1η-2η ώρα) ΜΥΥ204 Διακριτά Μαθηματικά Μθ άι Εισαγωγικά 1 η Εβδομάδα Άνοιξη 2015 Τμήμα Μηχανικών Η/Υ & Πληροφορικής Παν. Ιωαννίνων Μερικά Οργανωτικά Θέματα ιδάσκων: ιαλέξεις: Κάθε Τρίτη (17:00-20:00) και Τετάρτη (13:00

Διαβάστε περισσότερα

215 Μηχανικών Η/Υ και Πληροφορικής Πάτρας

215 Μηχανικών Η/Υ και Πληροφορικής Πάτρας 215 Μηχανικών Η/Υ και Πληροφορικής Πάτρας Το Τμήμα ασχολείται με τη διδασκαλία και την έρευνα στην επιστήμη και τεχνολογία των υπολογιστών και τη μελέτη των εφαρμογών τους. Το Τμήμα ιδρύθηκε το 1980 (ως

Διαβάστε περισσότερα

Τμήμα Πληροφορικής. Σχολή Τεχνολογικών Εφαρμογών. Αλεξάνδρειο Τεχνολογικό Εκπαιδευτικό Ίδρυμα Θεσσαλονίκης

Τμήμα Πληροφορικής. Σχολή Τεχνολογικών Εφαρμογών. Αλεξάνδρειο Τεχνολογικό Εκπαιδευτικό Ίδρυμα Θεσσαλονίκης Τμήμα Πληροφορικής Σχολή Τεχνολογικών Εφαρμογών Αλεξάνδρειο Τεχνολογικό Εκπαιδευτικό Ίδρυμα Θεσσαλονίκης To Τμήμα Πληροφορικής του Α.Τ.Ε.Ι-Θ Το Τμήμα Πληροφορικής, στα πλαίσια μιας νέας εποχής που σηματοδοτείται

Διαβάστε περισσότερα

Δημήτρης Πορτίδης / Στάθης Ψύλλος / Διονύσιος Αναπολιτάνος: Λογική. Η δομή του επιχειρήματος. Αθήνα: Νεφέλη 2007, 292 σ., 22.

Δημήτρης Πορτίδης / Στάθης Ψύλλος / Διονύσιος Αναπολιτάνος: Λογική. Η δομή του επιχειρήματος. Αθήνα: Νεφέλη 2007, 292 σ., 22. 1/6 2009-01 Πορτίδης/Ψύλλος/Αναπολιτάνος: Λογική Δημήτρης Πορτίδης / Στάθης Ψύλλος / Διονύσιος Αναπολιτάνος: Λογική. Η δομή του επιχειρήματος. Αθήνα: Νεφέλη 2007, 292 σ., 22. Κρίνει ο Αριστείδης Αραγεώργης

Διαβάστε περισσότερα

ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΑΤΡΩΝ ΠΟΛΥΤΕΧΝΙΚΗ ΣΧΟΛΗ ΤΜΗΜΑ ΜΗΧΑΝΙΚΩΝ ΗΛΕΚΤΡΟΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ ΚΑΙ ΠΛΗΡΟΦΟΡΙΚΗΣ. Ωρολόγιο Πρόγραμμα Εαρινού Εξαμήνου

ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΑΤΡΩΝ ΠΟΛΥΤΕΧΝΙΚΗ ΣΧΟΛΗ ΤΜΗΜΑ ΜΗΧΑΝΙΚΩΝ ΗΛΕΚΤΡΟΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ ΚΑΙ ΠΛΗΡΟΦΟΡΙΚΗΣ. Ωρολόγιο Πρόγραμμα Εαρινού Εξαμήνου Ωρολόγιο Πρόγραμμα Εαρινού Εξαμήνου 2015-2016 Έναρξη Μαθημάτων: Δευτέρα, 15 Φεβρουαρίου 2016 2 ο ΕΞΑΜΗΝΟ 9-10 Μαθηματικά ΙΙ Φροντιστήριο Μ. Μαρκάκης, Κ. Παπαδάκης Φροντιστήριο 10-11 Μαθηματικά ΙΙ Φροντιστήριο

Διαβάστε περισσότερα

Μαθηματική Λογική και Απόδειξη

Μαθηματική Λογική και Απόδειξη Μαθηματική Λογική και Απόδειξη Σύντομο ιστορικό σημείωμα: Η πρώτη απόδειξη στην ιστορία των μαθηματικών, αποδίδεται στο Θαλή το Μιλήσιο (~600 π.χ.). Ο Θαλής απέδειξε, ότι η διάμετρος διαιρεί τον κύκλο

Διαβάστε περισσότερα

Τεχνητή Νοημοσύνη. 7η διάλεξη ( ) Ίων Ανδρουτσόπουλος.

Τεχνητή Νοημοσύνη. 7η διάλεξη ( ) Ίων Ανδρουτσόπουλος. Τεχνητή Νοημοσύνη 7η διάλεξη (2016-17) Ίων Ανδρουτσόπουλος http://www.aueb.gr/users/ion/ 1 Οι διαφάνειες αυτής της διάλεξης βασίζονται στο βιβλίο Artificial Intelligence A Modern Approach των S. Russel

Διαβάστε περισσότερα

K15 Ψηφιακή Λογική Σχεδίαση 1: Εισαγωγή

K15 Ψηφιακή Λογική Σχεδίαση 1: Εισαγωγή K15 Ψηφιακή Λογική Σχεδίαση 1: Εισαγωγή Γιάννης Λιαπέρδος TEI Πελοποννήσου Σχολή Τεχνολογικών Εφαρμογών Τμήμα Μηχανικών Πληροφορικής ΤΕ Πληροφορίες για το μάθημα Περιεχόμενα 1 Πληροφορίες για το μάθημα

Διαβάστε περισσότερα

Το Διαδικτυακό Προσαρμοστικό Συνεργατικό Περιβάλλον Μάθησης SCALE

Το Διαδικτυακό Προσαρμοστικό Συνεργατικό Περιβάλλον Μάθησης SCALE Το Διαδικτυακό Προσαρμοστικό Συνεργατικό Περιβάλλον Μάθησης SCALE Supporting Collaboration and SCALE Adaptation in a Learning Environment Το περιβάλλον SCALE Διαδικτυακό Προσαρμοστικό Εκπαιδευτικό Περιβάλλον

Διαβάστε περισσότερα

ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ

ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ ΤΜΗΜΑ ΗΛΕΚΤΡΟΛΟΓΩΝ ΜΗΧΑΝΙΚΩΝ & ΜΗΧΑΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ ΕΡΓΑΣΤΗΡΙΟ ΣΥΣΤΗΜΑΤΩΝ ΑΠΟΦΑΣΕΩΝ ΚΑΙ ΔΙΟΙΚΗΣΗΣ ΣΥΣΤΗΜΑΤΑ ΑΠΟΦΑΣΕΩΝ Ενημερωτικό Φυλλάδιο Αθήνα, Οκτώβριος 2016 Εργαστήριο

Διαβάστε περισσότερα

ΕΠΛ 412 Λογική στην Πληροφορική 4-1

ΕΠΛ 412 Λογική στην Πληροφορική 4-1 Επίλυση Resolution Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: H Μέθοδος της Επίλυσης στον Προτασιακό Λογισμό στον Κατηγορηματικό Λογισμό ΕΠΛ 412 Λογική στην Πληροφορική 4-1 Το όνειρο του

Διαβάστε περισσότερα

Μία Πρόταση για τη Διδασκαλία της Πληροφορικής στο Λύκειο

Μία Πρόταση για τη Διδασκαλία της Πληροφορικής στο Λύκειο Μία Πρόταση για τη Διδασκαλία της Πληροφορικής στο Λύκειο Αριστείδης Λούβρης Εκπαιδευτικός Πληροφορικής, Πρόεδρος ΠΕΚαΠ louvris@sch.gr Περίληψη Στην παρούσα θέση προτείνεται ένα περίγραμμα ΑΠΣ για τη διδασκαλία

Διαβάστε περισσότερα

ιακριτές Μέθοδοι για την Επιστήμη των Υπολογιστών

ιακριτές Μέθοδοι για την Επιστήμη των Υπολογιστών ιακριτές Μέθοδοι για την Επιστήμη των Υπολογιστών ιδάσκοντες: Φ. Αφράτη,. Φωτάκης,. Σούλιου Επιμέλεια διαφανειών:. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο

Διαβάστε περισσότερα

Ελληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Ηπείρου. Θεωρία Υπολογισμού. Ενότητα 1 : Σύνολα & Σχέσεις (1/2) Αλέξανδρος Τζάλλας

Ελληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Ηπείρου. Θεωρία Υπολογισμού. Ενότητα 1 : Σύνολα & Σχέσεις (1/2) Αλέξανδρος Τζάλλας 1 Ελληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Ηπείρου Θεωρία Υπολογισμού Ενότητα 1 : Σύνολα & Σχέσεις (1/2) Αλέξανδρος Τζάλλας 2 Ανοιχτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Ηπείρου Τμήμα Μηχανικών Πληροφορικής

Διαβάστε περισσότερα

Ανάκτηση Πληροφορίας

Ανάκτηση Πληροφορίας Ιόνιο Πανεπιστήμιο Τμήμα Πληροφορικής Ανάκτηση Πληροφορίας Διδάσκων: Φοίβος Μυλωνάς fmylonas@ionio.gr Διάλεξη #02 Ιστορική αναδρομή Σχετικές επιστημονικές περιοχές 1 Άδεια χρήσης Το παρόν εκπαιδευτικό

Διαβάστε περισσότερα

ΚΑΤΗΓΟΡΗΜΑΤΙΚΟΣ ΛΟΓΙΣΜΟΣ Ι

ΚΑΤΗΓΟΡΗΜΑΤΙΚΟΣ ΛΟΓΙΣΜΟΣ Ι ΚΑΤΗΓΟΡΗΜΑΤΙΚΟΣ ΛΟΓΙΣΜΟΣ Ι Για τον προτασιακό λογισμό παρουσιάσαμε την αποδεικτική θεωρία (natural deduction/λογικό συμπέρασμα) τη σύνταξη (ορίζεται με γραμματική χωρίς συμφραζόμενα και εκφράζεται με συντακτικά

Διαβάστε περισσότερα

FORTRAN & Αντικειμενοστραφής Προγραμματισμός ΣΝΜΜ 2016

FORTRAN & Αντικειμενοστραφής Προγραμματισμός ΣΝΜΜ 2016 FORTRAN & Αντικειμενοστραφής Προγραμματισμός ΣΝΜΜ 2016 Δρ. Γεώργιος Παπαλάμπρου Επικ. Καθηγητής ΕΜΠ Εργαστήριο Ναυτικής Μηχανολογίας george.papalambrou@lme.ntua.gr ΕΜΠ/ΣΝΜΜ Εργαστήριο Ναυτικής Μηχανολογίας

Διαβάστε περισσότερα

Διδακτική της Πληροφορικής

Διδακτική της Πληροφορικής Διδακτική της Πληροφορικής ΟΜΑΔΑ ΕΡΓΑΣΙΑΣ Ανδρέας Σ. Ανδρέου (Αναπλ. Καθηγητής ΤΕΠΑΚ - Συντονιστής) Μάριος Μιλτιάδου, Μιχάλης Τορτούρης (ΕΜΕ Πληροφορικής) Νίκος Ζάγκουλος, Σωκράτης Μυλωνάς (Σύμβουλοι Πληροφορικής)

Διαβάστε περισσότερα

ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΕΛΟΠΟΝΝΗΣΟΥ ΣΧΟΛΗ ΟΙΚΟΝΟΜΙΑΣ ΔΙΟΙΚΗΣΗΣ και ΠΛΗΡΟΦΟΡΙΚΗΣ. ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ και ΤΗΛΕΠΙΚΟΙΝΩΝΙΩΝ ΟΔΗΓΟΣ ΜΕΤΑΒΑΤΙΚΩΝ ΔΙΑΤΑΞΕΩΝ 2014 2015

ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΕΛΟΠΟΝΝΗΣΟΥ ΣΧΟΛΗ ΟΙΚΟΝΟΜΙΑΣ ΔΙΟΙΚΗΣΗΣ και ΠΛΗΡΟΦΟΡΙΚΗΣ. ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ και ΤΗΛΕΠΙΚΟΙΝΩΝΙΩΝ ΟΔΗΓΟΣ ΜΕΤΑΒΑΤΙΚΩΝ ΔΙΑΤΑΞΕΩΝ 2014 2015 ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΕΛΟΠΟΝΝΗΣΟΥ ΣΧΟΛΗ ΟΙΚΟΝΟΜΙΑΣ ΔΙΟΙΚΗΣΗΣ και ΠΛΗΡΟΦΟΡΙΚΗΣ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ και ΤΗΛΕΠΙΚΟΙΝΩΝΙΩΝ ΟΔΗΓΟΣ ΜΕΤΑΒΑΤΙΚΩΝ ΔΙΑΤΑΞΕΩΝ 2014 2015 Επιτροπή προπτυχιακών σπουδών: Κ. Βασιλάκης Κ. Γιαννόπουλος

Διαβάστε περισσότερα

9.1 Προτασιακή Λογική

9.1 Προτασιακή Λογική ΚΕΦΑΛΑΙΟ 9 9 Λογική Η λογική παρέχει έναν τρόπο για την αποσαφήνιση και την τυποποίηση της διαδικασίας της ανθρώπινης σκέψης και προσφέρει µια σηµαντική και εύχρηστη µεθοδολογία για την αναπαράσταση και

Διαβάστε περισσότερα

723 Τεχνολογίας Πληροφορικής και Τηλεπικοινωνιών ΤΕΙ Λάρισας

723 Τεχνολογίας Πληροφορικής και Τηλεπικοινωνιών ΤΕΙ Λάρισας 723 Τεχνολογίας Πληροφορικής και Τηλεπικοινωνιών ΤΕΙ Λάρισας Το Τμήμα Τεχνολογίας Πληροφορικής και Τηλεπικοινωνιών του ΤΕΙ Λάρισας ιδρύθηκε με το Προεδρικό Διάταγμα 200/1999 (ΦΕΚ 179 06/09/99), με πρώτο

Διαβάστε περισσότερα

Αντιστοίχιση μαθημάτων Παλιού Νέου Προγράμματος Σπουδών για τους Φοιτητές του Τμήματος Τεχνολογίας Πληροφορικής & Τηλεπικοινωνιών, ΤΕΙ ΙΟΝΙΩΝ ΝΗΣΩΝ

Αντιστοίχιση μαθημάτων Παλιού Νέου Προγράμματος Σπουδών για τους Φοιτητές του Τμήματος Τεχνολογίας Πληροφορικής & Τηλεπικοινωνιών, ΤΕΙ ΙΟΝΙΩΝ ΝΗΣΩΝ ΤΕΧΝΟΛΟΓΙΚΟ ΕΚΠΑΙΔΕΥΤΙΚΟ ΙΔΡΥΜΑ ΗΠΕΙΡΟΥ ΣΧΟΛΗ ΤΕΧΝΟΛΟΓΙΚΩΝ ΕΦΑΡΜΟΓΩΝ ΤΜΗΜΑ ΜΗΧΑΝΙΚΩΝ ΠΛΗΡΟΦΟΡΙΚΗΣ Τ.Ε. TECHNOLOGICAL EDUCATIONAL INSTITUTE OF EPIRUS SCHOOL OF APPLIED TECHNOLOGY DEPARTMENT OF COMPUTER

Διαβάστε περισσότερα

Τεχνητή Νοημοσύνη (ΥΠ23) 6 ο εξάμηνο Τμήμα Πληροφορικής και Τηλεματικής Χαροκόπειο Πανεπιστήμιο Ουρανία Χατζή

Τεχνητή Νοημοσύνη (ΥΠ23) 6 ο εξάμηνο Τμήμα Πληροφορικής και Τηλεματικής Χαροκόπειο Πανεπιστήμιο Ουρανία Χατζή Τεχνητή Νοημοσύνη (ΥΠ23) 6 ο εξάμηνο Τμήμα Πληροφορικής και Τηλεματικής Χαροκόπειο Πανεπιστήμιο Ουρανία Χατζή raniah@hua.gr 1 Εισαγωγή «Τεχνητή Νοημοσύνη (Artificial Intelligence) είναι ο τομέας της Επιστήμης

Διαβάστε περισσότερα

Λύσεις Σειράς Ασκήσεων 1

Λύσεις Σειράς Ασκήσεων 1 Λύσεις Σειράς Ασκήσεων 1 Άσκηση 1 Έστω οι προτάσεις / προϋπόθεσεις: Π1. Σε όσους αρέσει η τέχνη αρέσουν και τα λουλούδια. Π2. Σε όσους αρέσει το τρέξιμο αρέσει και η μουσική. Π3. Σε όσους δεν αρέσει η

Διαβάστε περισσότερα

ΕΤΟΣ A (ΕΞΑΜΗΝΟ 1 ο )

ΕΤΟΣ A (ΕΞΑΜΗΝΟ 1 ο ) (ΜΑΘΗΜΑΤΑ ΧΕΙΜΕΡΙΝΟΥ ΕΞΑΜΗΝΟΥ) ΕΤΟΣ A (ΕΞΑΜΗΝΟ 1 ο ) 19-01-2015 Δευτέρα 08:00-11:00 ΑΦΕ-ΒΣ-Β4-Β3 Μαθηματικά Ι Χ. Ντούσκος 27-01-2015 Τρίτη 17:00-20:00 ΒΑ-Β4-Β3 Διακριτά Μαθηματικά ** Χ. Μπούρας 31-01-2015

Διαβάστε περισσότερα

ΑΝΑΛΥΣΗ ΤΩΝ ΑΠΑΙΤΗΣΕΩΝ ΤΩΝ ΠΡΟΑΠΑΙΤΟΥΜΕΝΩΝ ΜΑΘΗΜΑΤΩΝ ΤΟΥ ΝΕΟΥ ΠΡΟΠΤΥΧΙΑΚΟΥ ΠΡΟΓΡΑΜΜΑΤΟΣ ΣΠΟΥΔΩΝ. Καθ. Αντώνης Πασχάλης

ΑΝΑΛΥΣΗ ΤΩΝ ΑΠΑΙΤΗΣΕΩΝ ΤΩΝ ΠΡΟΑΠΑΙΤΟΥΜΕΝΩΝ ΜΑΘΗΜΑΤΩΝ ΤΟΥ ΝΕΟΥ ΠΡΟΠΤΥΧΙΑΚΟΥ ΠΡΟΓΡΑΜΜΑΤΟΣ ΣΠΟΥΔΩΝ. Καθ. Αντώνης Πασχάλης Εθνικόν και Καποδιστριακόν Πανεπιστήμιον Αθηνών ΑΝΑΛΥΣΗ ΤΩΝ ΑΠΑΙΤΗΣΕΩΝ ΤΩΝ ΠΡΟΑΠΑΙΤΟΥΜΕΝΩΝ ΜΑΘΗΜΑΤΩΝ ΤΟΥ ΝΕΟΥ ΠΡΟΠΤΥΧΙΑΚΟΥ ΠΡΟΓΡΑΜΜΑΤΟΣ ΣΠΟΥΔΩΝ Καθ. Αντώνης Πασχάλης Πρόεδρος Τμήματος Πληροφορικής και

Διαβάστε περισσότερα

Τεχνητή Νοημοσύνη. 8η διάλεξη ( ) Ίων Ανδρουτσόπουλος.

Τεχνητή Νοημοσύνη. 8η διάλεξη ( ) Ίων Ανδρουτσόπουλος. Τεχνητή Νοημοσύνη 8η διάλεξη (2016-17) Ίων Ανδρουτσόπουλος http://www.aueb.gr/users/ion/ 1 Οι διαφάνειες αυτής της διάλεξης βασίζονται στο βιβλίο Artificial Intelligence A Modern Approach των S. Russel

Διαβάστε περισσότερα

Υποθετικές προτάσεις και λογική αλήθεια

Υποθετικές προτάσεις και λογική αλήθεια Υποθετικές προτάσεις και λογική αλήθεια Δρ. Παναγιώτης Λ. Θεοδωρόπουλος Σχολικός Σύμβουλος κλάδου ΠΕ03 www.p-theodoropoulos.gr Περίληψη Στην εργασία αυτή επιχειρείται μια ερμηνεία της λογικής αλήθειας

Διαβάστε περισσότερα

Λογική. Προτασιακή Λογική. Λογική Πρώτης Τάξης

Λογική. Προτασιακή Λογική. Λογική Πρώτης Τάξης Λογική Προτασιακή Λογική Λογική Πρώτης Τάξης Λογική (Logic) Αναλογίες διαδικασίας επίλυσης προβλημάτων υπολογισμού και προβλημάτων νοημοσύνης: Πρόβλημα υπολογισμού 1. Επινόηση του αλγορίθμου 2. Επιλογή

Διαβάστε περισσότερα

Πληροφορική (BSc & MSc)

Πληροφορική (BSc & MSc) ς Πληροφορική (BSc & MSc) www.nup.ac.cy ΠΡΟΠΤΥΧΙΑΚΟ ΠΡΟΓΡΑΜΜΑ Πτυχίο στην Εφαρμοσμένη Πληροφορική BSc in Applied Informatics Περιγραφή Προγράμματος Στόχος του Προπτυχιακού Προγράμματος στην Εφαρμοσμένη

Διαβάστε περισσότερα

ΑΠΟ ΤΗ ΛΟΓΙΚΗ ΣΤΗΝ ΑΛΓΕΒΡΑ BOOLE ΚΑΙ ΑΠΟ ΤΗΝ ΑΛΓΕΒΡΑ BOOLE ΣΤΑ ΛΟΓΙΚΑ ΚΥΚΛΩΜΑΤΑ

ΑΠΟ ΤΗ ΛΟΓΙΚΗ ΣΤΗΝ ΑΛΓΕΒΡΑ BOOLE ΚΑΙ ΑΠΟ ΤΗΝ ΑΛΓΕΒΡΑ BOOLE ΣΤΑ ΛΟΓΙΚΑ ΚΥΚΛΩΜΑΤΑ ΑΠΟ ΤΗ ΛΟΓΙΚΗ ΣΤΗΝ ΑΛΓΕΒΡΑ BOOLE ΚΑΙ ΑΠΟ ΤΗΝ ΑΛΓΕΒΡΑ BOOLE ΣΤΑ ΛΟΓΙΚΑ ΚΥΚΛΩΜΑΤΑ Θεματική Ενότητα: Πολλαπλές Ερμηνευτικές Προσεγγίσεις Βασίλειος Τσακανίκας Γεώργιος Τσαπακίδης vasilistsakanikas@yahoo.gr

Διαβάστε περισσότερα

Διακριτά Μαθηματικά Ι

Διακριτά Μαθηματικά Ι ΠΑΝΕΠΙΣΤΗΜΙΟ ΙΩΑΝΝΙΝΩΝ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ Διακριτά Μαθηματικά Ι Μαθηματική λογική και αποδεικτικές τεχνικές Διδάσκων: Επίκουρος Καθηγητής Σπύρος Κοντογιάννης Άδειες Χρήσης Το παρόν εκπαιδευτικό

Διαβάστε περισσότερα

Ψηφιακά ολοκληρωμένα κυκλώματα

Ψηφιακά ολοκληρωμένα κυκλώματα Ψηφιακά ολοκληρωμένα κυκλώματα Εισαγωγή Γιώργος Δημητρακόπουλος Δημοκρίτειο Πανεπιστήμιο Θράκης Φθινόπωρο 2013 Ψηφιακά ολοκληρωμένα κυκλώματα 1 O κόσμος των ηλεκτρονικών... Ψηφιακά ολοκληρωμένα κυκλώματα

Διαβάστε περισσότερα

ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΙΓΑΙΟΥ ΣΧΟΛΗ ΘΕΤΙΚΩΝ ΕΠΙΣΤΗΜΩΝ ΤΜΗΜΑ ΜΑΘΗΜΑΤΙΚΩΝ ΕΙΣΑΓΩΓΙΚΗ ΚΑΤΕΥΘΥΝΣΗ: ΣΤΑΤΙΣΤΙΚΗΣ & ΑΝΑΛΟΓΙΣΤΙΚΩΝ ΧΡΗΜΑΤΟΟΙΚΟΝΟΜΙΚΩΝ ΜΑΘΗΜΑΤΙΚΩΝ

ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΙΓΑΙΟΥ ΣΧΟΛΗ ΘΕΤΙΚΩΝ ΕΠΙΣΤΗΜΩΝ ΤΜΗΜΑ ΜΑΘΗΜΑΤΙΚΩΝ ΕΙΣΑΓΩΓΙΚΗ ΚΑΤΕΥΘΥΝΣΗ: ΣΤΑΤΙΣΤΙΚΗΣ & ΑΝΑΛΟΓΙΣΤΙΚΩΝ ΧΡΗΜΑΤΟΟΙΚΟΝΟΜΙΚΩΝ ΜΑΘΗΜΑΤΙΚΩΝ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΙΓΑΙΟΥ ΣΧΟΛΗ ΘΕΤΙΚΩΝ ΕΠΙΣΤΗΜΩΝ ΤΜΗΜΑ ΜΑΘΗΜΑΤΙΚΩΝ ΕΙΣΑΓΩΓΙΚΗ ΚΑΤΕΥΘΥΝΣΗ: ΣΤΑΤΙΣΤΙΚΗΣ & ΑΝΑΛΟΓΙΣΤΙΚΩΝ ΧΡΗΜΑΤΟΟΙΚΟΝΟΜΙΚΩΝ ΜΑΘΗΜΑΤΙΚΩΝ Καρλόβασι, 27/10/2016 ΑΝΑΚΟΙΝΩΣΗ Ημερομηνίες Δηλώσεων Μαθημάτων

Διαβάστε περισσότερα

Εισαγωγή στη Γνωστική Ψυχολογία. επ. Κωνσταντίνος Π. Χρήστου

Εισαγωγή στη Γνωστική Ψυχολογία. επ. Κωνσταντίνος Π. Χρήστου Εισαγωγή στη Γνωστική Ψυχολογία Inside the black box για µια επιστήµη του Νου Επιστροφή στο Νου Γνωστική Ψυχολογία / Γνωσιακή Επιστήµη Inside the black box για µια επιστήµη του Νου Επιστροφή στο Νου Γνωστική

Διαβάστε περισσότερα

ΕΤΟΣ A (ΕΞΑΜΗΝΟ 2 ο )

ΕΤΟΣ A (ΕΞΑΜΗΝΟ 2 ο ) ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΑΤΡΩΝ ΠΟΛΥΤΕΧΝΙΚΗ ΣΧΟΛΗ ΤΜΗΜΑ ΜΗΧΑΝΙΚΩΝ ΗΛΕΚΤΡΟΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ ΚΑΙ ΠΛΗΡΟΦΟΡΙΚΗΣ ΠΡΟΓΡΑΜΜΑ ΤΜΗΜΑΤΙΚΩΝ ΕΞΕΤΑΣΕΩΝ ΕΤΟΣ A (ΕΞΑΜΗΝΟ 2 ο ) 13/02/2017 Δευτέρα 08:00-09:30 BA-B4 Οντοκεντρικός Προγραμματισμός

Διαβάστε περισσότερα

Ειδικής Υποδομής Υποχρεωτικό

Ειδικής Υποδομής Υποχρεωτικό ΣΧΟΛΗ ΔΙΟΙΚΗΣΗΣ ΚΑΙ ΟΙΚΟΝΟΜΙΑΣ ΤΜΗΜΑ ΔΙΟΙΚΗΣΗ ΕΠΙΧΕΙΡΗΣΕΩΝ ΕΠΙΠΕΔΟ ΣΠΟΥΔΩΝ Προπτυχιακό ΚΩΔΙΚΟΣ ΜΑΘΗΜΑΤΟΣ GD780 ΤΙΤΛΟΣ ΜΑΘΗΜΑΤΟΣ Τεχνητή Νοημοσύνη ΑΥΤΟΤΕΛΕΙΣ ΔΙΔΑΚΤΙΚΕΣ ΔΡΑΣΤΗΡΙΟΤΗΤΕΣ σε περίπτωση που οι

Διαβάστε περισσότερα

ΕΠΙΧΕΙΡΗΣΙΑΚΗ EΡΕΥΝΑ & ΔΙΟΙΚΗΤΙΚΗ ΕΠΙΣΤΗΜΗ OPERATIONS RESEARCH & MANAGEMENT SCIENCE

ΕΠΙΧΕΙΡΗΣΙΑΚΗ EΡΕΥΝΑ & ΔΙΟΙΚΗΤΙΚΗ ΕΠΙΣΤΗΜΗ OPERATIONS RESEARCH & MANAGEMENT SCIENCE ΕΠΙΧΕΙΡΗΣΙΑΚΗ EΡΕΥΝΑ & ΔΙΟΙΚΗΤΙΚΗ OPERATIONS RESEARCH & MANAGEMENT SCIENCE ΚΑΤΕΥΘΥΝΣΗ ΣΠΟΥΔΩΝ Τμήμα Διοικητικής Επιστήμης & Τεχνολογίας Οικονομικό Πανεπιστήμιο Αθηνών 1. Κ. Πραματάρη, Δ.Ε.Τ. / Ο.Π.Α. The

Διαβάστε περισσότερα

ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ

ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΠΛ 412: Λογική στην Πληροφορική Δείγμα Ενδιάμεσης Εξέτασης Λύσεις Άσκηση 1 [30 μονάδες] Να αποδείξετε τα πιο κάτω λογικά επακόλουθα χρησιμοποιώντας τα συστήματα

Διαβάστε περισσότερα

ΔΟΜΗ ΠΑΛΑΙΟΥ ΠΡΟΓΡΑΜΜΑΤΟΣ ΣΠΟΥΔΩΝ ( )

ΔΟΜΗ ΠΑΛΑΙΟΥ ΠΡΟΓΡΑΜΜΑΤΟΣ ΣΠΟΥΔΩΝ ( ) ΔΟΜΗ ΠΑΛΑΙΟ ΠΡΟΓΡΑΜΜΑΤΟΣ ΣΠΟΔΩΝ (00-007) Τ.Ε.Ι. ΛΑΜΙΑΣ / ΣΤΕΦ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ & ΤΕΧΝΟΛΟΓΙΑΣ ΠΟΛ/ΣΤΩΝ ΑΚΑΔΗΜΑΪΚΟ ΕΤΟΣ 0-03 ΠΡΟΣΟΧΗ! Αφορά σπουδαστές που εισήχθηκαν μέχρι και το 007-08 Εαρινό. ΕΞΑΜΗΝΟ

Διαβάστε περισσότερα

Πανεπιστήμιο Δυτικής Μακεδονίας. Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών. Διακριτά Μαθηματικά. Ενότητα 6: Προτασιακός Λογισμός

Πανεπιστήμιο Δυτικής Μακεδονίας. Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών. Διακριτά Μαθηματικά. Ενότητα 6: Προτασιακός Λογισμός Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών Διακριτά Μαθηματικά Ενότητα 6: Προτασιακός Λογισμός Αν. Καθηγητής Κ. Στεργίου e-mail: kstergiou@uowm.gr Τμήμα Μηχανικών Πληροφορικής και Τηλεπικοινωνιών Άδειες

Διαβάστε περισσότερα

Α.2 Μαθησιακά Αποτελέσματα Έχοντας ολοκληρώσει επιτυχώς το μάθημα οι εκπαιδευόμενοι θα είναι σε θέση να:

Α.2 Μαθησιακά Αποτελέσματα Έχοντας ολοκληρώσει επιτυχώς το μάθημα οι εκπαιδευόμενοι θα είναι σε θέση να: ΒΑΣΙΚΕΣ ΠΛΗΡΟΦΟΡΙΕΣ Τίτλος Μαθήματος Μεθοδολογίες και Συστήματα Βιομηχανικής Αυτοματοποίησης Κωδικός Μαθήματος Μ3 Θεωρία / Εργαστήριο Θεωρία + Εργαστήριο Πιστωτικές μονάδες 4 Ώρες Διδασκαλίας 2Θ+1Ε Τρόπος/Μέθοδοι

Διαβάστε περισσότερα

Οι τυπικές μέθοδοι παρέχουν ένα πλαίσιο μέσα στο οποίο μπορούμε να προδιαγράψουμε και να εγκυροποιήσουμε ένα σύστημα με συστηματικό τρόπο.

Οι τυπικές μέθοδοι παρέχουν ένα πλαίσιο μέσα στο οποίο μπορούμε να προδιαγράψουμε και να εγκυροποιήσουμε ένα σύστημα με συστηματικό τρόπο. ΕΙΣΑΓΩΓΗ ΣΤΙΣ ΤΥΠΙΚΕΣ ΜΕΘΟΔΟΥΣ ΑΝΑΛΥΣΗΣ ΣΥΣΤΗΜΑΤΩΝ Οι τυπικές μέθοδοι παρέχουν ένα πλαίσιο μέσα στο οποίο μπορούμε να προδιαγράψουμε και να εγκυροποιήσουμε ένα σύστημα με συστηματικό τρόπο. Όταν γράφουμε

Διαβάστε περισσότερα

ΤΕΧΝΗΤΗ ΝΟΗΜΟΣΥΝΗ. Ενότητα 9: Προτασιακή λογική. Ρεφανίδης Ιωάννης Τμήμα Εφαρμοσμένης Πληροφορικής

ΤΕΧΝΗΤΗ ΝΟΗΜΟΣΥΝΗ. Ενότητα 9: Προτασιακή λογική. Ρεφανίδης Ιωάννης Τμήμα Εφαρμοσμένης Πληροφορικής Ενότητα 9: Προτασιακή λογική Ρεφανίδης Ιωάννης Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύπου

Διαβάστε περισσότερα

Υπολογιστικά & Διακριτά Μαθηματικά

Υπολογιστικά & Διακριτά Μαθηματικά Υπολογιστικά & Διακριτά Μαθηματικά Ενότητα 2:Στοιχεία Μαθηματικής Λογικής Στεφανίδης Γεώργιος Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό,

Διαβάστε περισσότερα

ΤΕΧΝΗΤΗ ΝΟΗΜΟΣΥΝΗ Γλώσσες & Τεχνικές 4 ο Εξάμηνο. - Ενότητα 1 - Δημοσθένης Σταμάτης http://www.it.teithe.gr/~demos

ΤΕΧΝΗΤΗ ΝΟΗΜΟΣΥΝΗ Γλώσσες & Τεχνικές 4 ο Εξάμηνο. - Ενότητα 1 - Δημοσθένης Σταμάτης http://www.it.teithe.gr/~demos Γλώσσες & Τεχνικές 4 ο Εξάμηνο - Ενότητα 1 - Εισαγωγή στην Τεχνητή Νοημοσύνη Δημοσθένης Σταμάτης http://www.it.teithe.gr/~demos Τμήμα Πληροφορικής A.T.E.I. ΘΕΣΣΑΛΟΝΙΚΗΣ Rethinking University Teaching!!!

Διαβάστε περισσότερα

ΕΙΣΑΓΩΓΗ στους Η/Υ. Δρ. Β Σγαρδώνη. Τμήμα Τεχνολογίας Αεροσκαφών ΤΕΙ ΣΤΕΡΕΑΣ ΕΛΛΑΔΑΣ. Χειμερινό Εξάμηνο 2013-14

ΕΙΣΑΓΩΓΗ στους Η/Υ. Δρ. Β Σγαρδώνη. Τμήμα Τεχνολογίας Αεροσκαφών ΤΕΙ ΣΤΕΡΕΑΣ ΕΛΛΑΔΑΣ. Χειμερινό Εξάμηνο 2013-14 ΕΙΣΑΓΩΓΗ στους Η/Υ Τμήμα Τεχνολογίας Αεροσκαφών ΤΕΙ ΣΤΕΡΕΑΣ ΕΛΛΑΔΑΣ Δρ. Β Σγαρδώνη Χειμερινό Εξάμηνο 2013-14 Εισαγωγικές Έννοιες Τι είναι ένας ηλεκτρονικός υπολογιστής ; Ιστορία των Η/Υ Αρχιτεκτονική των

Διαβάστε περισσότερα

Προγραμματισμός Ηλεκτρονικών Υπολογιστών 1

Προγραμματισμός Ηλεκτρονικών Υπολογιστών 1 Προγραμματισμός Ηλεκτρονικών Υπολογιστών 1 Ενότητα 3: Άλγεβρα Βοole και Λογικές Πράξεις Δρ. Φραγκούλης Γεώργιος Τμήμα Ηλεκτρολογίας Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης

Διαβάστε περισσότερα

Στοιχεία Προτασιακής Λογικής

Στοιχεία Προτασιακής Λογικής Στοιχεία Προτασιακής Λογικής ιδάσκοντες: Φ. Αφράτη,. Φωτάκης,. Σούλιου Επιμέλεια διαφανειών:. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Μαθηματικές Προτάσεις

Διαβάστε περισσότερα

ΜΑΘΗΜΑΤΑ ΤΜΗΜΑΤΟΣ ΠΛΗΡΟΦΟΡΙΚΗΣ ΜΑΘΗΜΑ ΠΑΡΑ ΟΣΕΙΣ ΑΣΚΗΣΕΙΣ ΚΑΘΗΓΗΤΕΣ/ΤΡΙΕΣ

ΜΑΘΗΜΑΤΑ ΤΜΗΜΑΤΟΣ ΠΛΗΡΟΦΟΡΙΚΗΣ ΜΑΘΗΜΑ ΠΑΡΑ ΟΣΕΙΣ ΑΣΚΗΣΕΙΣ ΚΑΘΗΓΗΤΕΣ/ΤΡΙΕΣ Τεχνικές Προγραµµατισµού Εισαγωγή στον Προγραµµατισµό Γλώσσες Προγραµµατισµού, Θεωρία Γλωσσών Προγραµµατισµού 1999-2002 Θεωρία Γλωσσών 1996-2000, 2000-2002 Αρχές Γλωσσών Προγραµµατισµού 2002-2005 Τυπικές

Διαβάστε περισσότερα

ΜΙΑ ΜΕΛΕΤΗ ΠΕΡΙΠΤΩΣΗΣ: ΣΤΑΤΙΣΤΙΚΗ ΕΠΕΞΕΡΓΑΣΙΑ ΤΩΝ ΒΑΘΜΟΛΟΓΙΩΝ ΤΩΝ ΜΑΘΗΤΩΝ ΕΝΟΣ ΛΥΚΕΙΟΥ ΑΠΟ ΤΟ 2000 ΩΣ ΤΟ 2013.

ΜΙΑ ΜΕΛΕΤΗ ΠΕΡΙΠΤΩΣΗΣ: ΣΤΑΤΙΣΤΙΚΗ ΕΠΕΞΕΡΓΑΣΙΑ ΤΩΝ ΒΑΘΜΟΛΟΓΙΩΝ ΤΩΝ ΜΑΘΗΤΩΝ ΕΝΟΣ ΛΥΚΕΙΟΥ ΑΠΟ ΤΟ 2000 ΩΣ ΤΟ 2013. ΜΙΑ ΜΕΛΕΤΗ ΠΕΡΙΠΤΩΣΗΣ: ΣΤΑΤΙΣΤΙΚΗ ΕΠΕΞΕΡΓΑΣΙΑ ΤΩΝ ΒΑΘΜΟΛΟΓΙΩΝ ΤΩΝ ΜΑΘΗΤΩΝ ΕΝΟΣ ΛΥΚΕΙΟΥ ΑΠΟ ΤΟ 2000 ΩΣ ΤΟ 2013. Πρακτικές και καινοτομίες στην εκπαίδευση και την έρευνα. Άγγελος Μπέλλος Καθηγητής Μαθηματικών

Διαβάστε περισσότερα

Β Εξάµηνο Τίτλος Μαθήµατος Θ Φ Α.Π Ε Φ.E. Π.Μ Προαπαιτούµενα

Β Εξάµηνο Τίτλος Μαθήµατος Θ Φ Α.Π Ε Φ.E. Π.Μ Προαπαιτούµενα ΤΕΙ ΠΕΛΟΠΟΝΝΗΣΟΥ ΣΧΟΛΗ ΤΕΧΝΟΛΟΓΙΚΩΝ ΕΦΑΡΜΟΓΩΝ ΤΜΗΜΑ ΜΗΧΑΝΙΚΩΝ ΠΛΗΡΟΦΟΡΙΚΗΣ Τ.Ε. ΣΥΝΟΠΤΙΚΟ ΠΡΟΓΡΑΜΜΑ ΣΠΟΥ ΩΝ ΑΝΑ ΕΞΑΜΗΝΟ Α Εξάµηνο Τίτλος Μαθήµατος Θ Φ Α.Π Ε Φ.Ε Π.Μ Προαπαιτούµενα Κ10 ΜΑΘΗΜΑΤΙΚΗ ΑΝΑΛΥΣΗ

Διαβάστε περισσότερα

Ωρολόγιο Πρόγραμμα Μαθημάτων Εαρινού Εξαμήνου

Ωρολόγιο Πρόγραμμα Μαθημάτων Εαρινού Εξαμήνου Ωρολόγιο Πρόγραμμα Μαθημάτων Εαρινού Εξαμήνου 2016-2017 Έναρξη: Δευτέρα, 20 Φεβρουαρίου 2017 2 ο ΕΞΑΜΗΝΟ 9-10 Μαθηματικά ΙΙ Φροντιστήριο Φροντιστήριο 10-11 Μαθηματικά ΙΙ Φροντιστήριο 11-12 Μαθηματικά ΙΙ

Διαβάστε περισσότερα

Αναλυτικό Πρόγραμμα Μαθηματικών

Αναλυτικό Πρόγραμμα Μαθηματικών Αναλυτικό Πρόγραμμα Μαθηματικών Σχεδιασμός... αντιμετωπίζει ενιαία το πλαίσιο σπουδών (Προδημοτική, Δημοτικό, Γυμνάσιο και Λύκειο), είναι συνέχεια υπό διαμόρφωση και αλλαγή, για να αντιμετωπίζει την εξέλιξη,

Διαβάστε περισσότερα

ΠΡΟΓΡΑΜΜΑ ΣΠΟΥΔΩΝ ΤΜΗΜΑΤΟΣ ΠΛΗΡΟΦΟΡΙΚΗΣ ΑΚΑΔΗΜΑΪΚΟΥ ΕΤΟΥΣ

ΠΡΟΓΡΑΜΜΑ ΣΠΟΥΔΩΝ ΤΜΗΜΑΤΟΣ ΠΛΗΡΟΦΟΡΙΚΗΣ ΑΚΑΔΗΜΑΪΚΟΥ ΕΤΟΥΣ ΠΡΟΓΡΑΜΜΑ ΣΠΟΥΔΩΝ ΤΜΗΜΑΤΟΣ ΠΛΗΡΟΦΟΡΙΚΗΣ ΑΚΑΔΗΜΑΪΚΟΥ ΕΤΟΥΣ 2012-2013 Α Εξάμηνο 1. Εισαγωγή στην Επιστήμη των Υπολογιστών 4 6 - Εισαγωγή στον Προγραμματισμό 4 6 2E 3. Μαθηματικός Λογισμός 4 5-4. Γραμμική

Διαβάστε περισσότερα

Τομέας Επιστήμης Υπολογιστών και Αριθμητικής Ανάλυσης

Τομέας Επιστήμης Υπολογιστών και Αριθμητικής Ανάλυσης Τομέας Επιστήμης Υπολογιστών και Αριθμητικής Ανάλυσης Προσωπικό Καθ. Πουλάκης Δημήτριος (Δ/ντης Τομέα) Γνωστικό αντικείμενο : Θεωρία Αριθμών ή Αλγεβρική Γεωμετρία Αν. Καθ. Γουσίδου Κουτίτα Μαρία Γνωστικό

Διαβάστε περισσότερα

K15 Ψηφιακή Λογική Σχεδίαση 7-8: Ανάλυση και σύνθεση συνδυαστικών λογικών κυκλωμάτων

K15 Ψηφιακή Λογική Σχεδίαση 7-8: Ανάλυση και σύνθεση συνδυαστικών λογικών κυκλωμάτων K15 Ψηφιακή Λογική Σχεδίαση 7-8: Ανάλυση και σύνθεση συνδυαστικών λογικών κυκλωμάτων Γιάννης Λιαπέρδος TEI Πελοποννήσου Σχολή Τεχνολογικών Εφαρμογών Τμήμα Μηχανικών Πληροφορικής ΤΕ Η έννοια του συνδυαστικού

Διαβάστε περισσότερα

Προσφερόμενα Διπλώματα (Προσφερόμενοι Τίτλοι)

Προσφερόμενα Διπλώματα (Προσφερόμενοι Τίτλοι) Εισαγωγή Το Τμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών του Πανεπιστημίου Κύπρου προσφέρει ολοκληρωμένα προπτυχιακά και μεταπτυχιακά προγράμματα σπουδών στους κλάδους του Ηλεκτρολόγου Μηχανικού

Διαβάστε περισσότερα

142 Παιδαγωγικό Δημοτικής Εκπαίδευσης Θράκης (Αλεξανδρούπολη)

142 Παιδαγωγικό Δημοτικής Εκπαίδευσης Θράκης (Αλεξανδρούπολη) 142 Παιδαγωγικό Δημοτικής Εκπαίδευσης Θράκης (Αλεξανδρούπολη) Σκοπός Τα Παιδαγωγικά Τμήματα Δημοτικής Εκπαίδευσης, σκοπό έχουν την ανάδειξη επιστημόνων που θα καλύψουν τις εκπαιδευτικές ανάγκες της Πρωτοβάθμιας

Διαβάστε περισσότερα

Η µαγεία της Πληροφορικής. Χρίστος Χαριλάου Παπαδηµητρίου UC Berkeley : christos

Η µαγεία της Πληροφορικής. Χρίστος Χαριλάου Παπαδηµητρίου UC Berkeley : christos Η µαγεία της Πληροφορικής Χρίστος Χαριλάου Παπαδηµητρίου UC Berkeley : christos πλάνο οι τρεις προϊστορίες/καταβολές: υπολογισµός, τεχνητή νοηµοσύνη, λογική η ιστορία οι βασικές αρχές το ιαδίκτυο......κι

Διαβάστε περισσότερα

ΗΥ118: Διακριτά Μαθηματικά Εαρινό εξάμηνο 2016 Λύσεις ασκήσεων προόδου

ΗΥ118: Διακριτά Μαθηματικά Εαρινό εξάμηνο 2016 Λύσεις ασκήσεων προόδου ΗΥ118: Διακριτά Μαθηματικά Εαρινό εξάμηνο 016 Λύσεις ασκήσεων προόδου Θέμα 1: [16 μονάδες] [8] Έστω ότι μας δίνουν τα παρακάτω δεδομένα: Εάν αυτό το πρόγραμμα ΗΥ είναι αποδοτικό, τότε εκτελείται γρήγορα.

Διαβάστε περισσότερα

Συστήματα VLSI. Εισαγωγή. Γιώργος Δημητρακόπουλος. Δημοκρίτειο Πανεπιστήμιο Θράκης. Άνοιξη 2014

Συστήματα VLSI. Εισαγωγή. Γιώργος Δημητρακόπουλος. Δημοκρίτειο Πανεπιστήμιο Θράκης. Άνοιξη 2014 Συστήματα VLSI Εισαγωγή Γιώργος Δημητρακόπουλος Δημοκρίτειο Πανεπιστήμιο Θράκης Άνοιξη 2014 Συστήματα VLSI 1 Τα ολοκληρωμένα κυκλώματα από «μέσα» Συστήματα VLSI 2 Τα εργαλεία της σχεδίασης Algorithms-Applications

Διαβάστε περισσότερα

ΓΙΑ ΤΟΥΣ ΦΟΙΤΗΤΕΣ ΕΤΟΥΣ ΕΙΣΑΓΩΓΗΣ 2013 ΚΑΙ ΠΑΛΙΟΤΕΡΑ ΟΙ ΟΠΟΙΟΙ ΧΡΩΣΤΟΥΝ ΜΑΘΗΜΑΤΑ Α ΕΤΟΥΣ:

ΓΙΑ ΤΟΥΣ ΦΟΙΤΗΤΕΣ ΕΤΟΥΣ ΕΙΣΑΓΩΓΗΣ 2013 ΚΑΙ ΠΑΛΙΟΤΕΡΑ ΟΙ ΟΠΟΙΟΙ ΧΡΩΣΤΟΥΝ ΜΑΘΗΜΑΤΑ Α ΕΤΟΥΣ: ΕΤΟΣ A (ΕΞΑΜΗΝΟ 1 ο ) 29/08/2016 Δευτέρα 17-20 ΑΦΕ-ΒΑ-Β4 Τεχνολογία και Προγραμματισμός Υπολογιστών Χ. Μακρής, Ι. Χατζηλυγερούδης, Γ. Αλεξίου, Σ. Βούλγαρης, Α. Ηλίας 03/09/2016 Σάββατο 14-17 ΑΦΕ-ΒΑ-B4

Διαβάστε περισσότερα

HY118- ιακριτά Μαθηµατικά

HY118- ιακριτά Μαθηµατικά HY118- ιακριτά Μαθηµατικά (Τσικνο)Πέµπτη, 12/02/2015 Το υλικό των Αντώνης διαφανειών Α. Αργυρός έχει βασιστεί σε διαφάνειες του e-mail: Kees argyros@csd.uoc.gr van Deemter, από το University of Aberdeen

Διαβάστε περισσότερα

ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ. Λογική. Φροντιστήριο 4: Μορφολογική Παραγωγή. Δημήτρης Πλεξουσάκης Τμήμα Επιστήμης Υπολογιστών

ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ. Λογική. Φροντιστήριο 4: Μορφολογική Παραγωγή. Δημήτρης Πλεξουσάκης Τμήμα Επιστήμης Υπολογιστών ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Λογική Φροντιστήριο 4: Μορφολογική Παραγωγή Δημήτρης Πλεξουσάκης Τμήμα Επιστήμης Υπολογιστών Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται στην άδεια χρήσης

Διαβάστε περισσότερα

Μαθήματα Διατμηματικού Π.Μ.Σ. "Μαθηματικά των Υπολογιστών και των Αποφάσε

Μαθήματα Διατμηματικού Π.Μ.Σ. Μαθηματικά των Υπολογιστών και των Αποφάσε Διατμηματικού Π.Μ.Σ. "Μαθηματικά των Υπολογιστών και των Αποφάσε - «Μαθηματικές Θεμελιώσεις της Επιστήμης των Υπολογιστών» - «Στατιστική, Επιχειρησιακή Έρευνα» - «Θεωρία Αριθμητικών Υπολογισμών» Μεταπτυχιακά

Διαβάστε περισσότερα

Τα παρακάτω εργαστήρια θα εξεταστούν σε συνεννόηση με τους διδάσκοντες:

Τα παρακάτω εργαστήρια θα εξεταστούν σε συνεννόηση με τους διδάσκοντες: ΕΑΡΙΝΩΝ ΜΑΘΗΜΑΤΩΝ ΕΤΟΣ A (ΕΞΑΜΗΝΟ 2 ο ) 10/06/14 Τρίτη 17-20 AΦΕ Φυσική ΙΙ Μ. Βελγάκης 12/06/14 Πέμπτη 17-20 ΑΦΕ Βασικά Ηλεκτρονικά Χ. Χρηστίδης 14/06/14 Σάββατο 14-17 ΑΦΕ Μαθηματικά ΙΙ Χ. Ντούσκος 16/06/14

Διαβάστε περισσότερα

Προγραμματισμός Μεθόδων Επίλυσης Προβλημάτων. 1. Εισαγωγή. Ιωάννης Κατάκης. ΕΠΛ 032: Προγραμματισμός Μεθόδων Επίλυσης Προβλημάτων

Προγραμματισμός Μεθόδων Επίλυσης Προβλημάτων. 1. Εισαγωγή. Ιωάννης Κατάκης. ΕΠΛ 032: Προγραμματισμός Μεθόδων Επίλυσης Προβλημάτων Προγραμματισμός Μεθόδων Επίλυσης Προβλημάτων 1. Εισαγωγή Ιωάννης Κατάκης Συστάσεις Σήμερα o Συμβόλαιο Μαθήματος o Περιγραφή Μαθήματος o Ιστορική Αναδρομή o Υλικό Υπολογιστή (Computer Hardware) o Λογισμικό

Διαβάστε περισσότερα

http://kesyp.didefth.gr/ 1

http://kesyp.didefth.gr/ 1 248_Τµήµα Εφαρµοσµένων Μαθηµατικών Πανεπιστήµιο Κρήτης, Ηράκλειο Προπτυχιακό Πρόγραµµα Σκοπός του Τµήµατος Εφαρµοσµένων Μαθηµατικών είναι η εκαπαίδευση επιστηµόνων ικανών όχι µόνο να υπηρετήσουν και να

Διαβάστε περισσότερα

Προγραμματισμός Ηλεκτρονικών Υπολογιστών 1

Προγραμματισμός Ηλεκτρονικών Υπολογιστών 1 Προγραμματισμός Ηλεκτρονικών Υπολογιστών 1 Ενότητα 3: Άλγεβρα Βοole και Λογικές Πράξεις Δρ. Φραγκούλης Γεώργιος Τμήμα Ηλεκτρολογίας Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης

Διαβάστε περισσότερα

Κεφάλαιο 3 Η Σημασιολογία των Γλωσσών Προγραμματισμού

Κεφάλαιο 3 Η Σημασιολογία των Γλωσσών Προγραμματισμού Κεφάλαιο 3 Η Σημασιολογία των Γλωσσών Προγραμματισμού Προπτυχιακό μάθημα Αρχές Γλωσσών Προγραμματισμού Π. Ροντογιάννης 1 Εισαγωγή Γνώση γλώσσας από τη σκοπιά Του συντακτικού (syntax) Περιγραφή με γραμματικές

Διαβάστε περισσότερα

711 Πληροφορικής ΤΕΙ Αθήνας

711 Πληροφορικής ΤΕΙ Αθήνας 711 Πληροφορικής ΤΕΙ Αθήνας Το Τμήμα Πληροφορικής του ΤΕΙ Αθήνας ιδρύθηκε και δέχτηκε τους πρώτους του σπουδαστές τον Οκτώβριο του 1983, ταυτόχρονα δηλαδή με την έναρξη ισχύος του νόμου 1404/83 για τα

Διαβάστε περισσότερα

Στόχοι 1. Σχεδιασμός υψηλού επιπέδου προγραμμάτων σπουδών 2. Η προαγωγή των Μαθηματικών επιστημών μέσω της επιστημονικής έρευνας 3.

Στόχοι 1. Σχεδιασμός υψηλού επιπέδου προγραμμάτων σπουδών 2. Η προαγωγή των Μαθηματικών επιστημών μέσω της επιστημονικής έρευνας 3. Στόχοι 1. Σχεδιασμός υψηλού επιπέδου προγραμμάτων σπουδών 2. Η προαγωγή των Μαθηματικών επιστημών μέσω της επιστημονικής έρευνας 3. Η δημιουργία ικανών και άριστα εκπαιδευμένων επιστημόνων Γιατί Μαθηματικά

Διαβάστε περισσότερα

ΟΜΑΔΑ Ε ΓΕΩΡΓΙΟΥ ΦΩΤΕΙΝΗ ΗΛΙΟΥΔΗ ΑΦΡΟΔΙΤΗ ΜΕΤΑΛΛΙΔΟΥ ΧΡΥΣΗ ΝΙΖΑΜΗΣ ΑΛΕΞΑΝΔΡΟΣ ΤΖΗΚΑΛΑΓΙΑΣ ΑΝΔΡΕΑΣ ΤΡΙΓΚΑΣ ΑΓΓΕΛΟΣ

ΟΜΑΔΑ Ε ΓΕΩΡΓΙΟΥ ΦΩΤΕΙΝΗ ΗΛΙΟΥΔΗ ΑΦΡΟΔΙΤΗ ΜΕΤΑΛΛΙΔΟΥ ΧΡΥΣΗ ΝΙΖΑΜΗΣ ΑΛΕΞΑΝΔΡΟΣ ΤΖΗΚΑΛΑΓΙΑΣ ΑΝΔΡΕΑΣ ΤΡΙΓΚΑΣ ΑΓΓΕΛΟΣ ΟΜΑΔΑ Ε ΓΕΩΡΓΙΟΥ ΦΩΤΕΙΝΗ ΗΛΙΟΥΔΗ ΑΦΡΟΔΙΤΗ ΜΕΤΑΛΛΙΔΟΥ ΧΡΥΣΗ ΝΙΖΑΜΗΣ ΑΛΕΞΑΝΔΡΟΣ ΤΖΗΚΑΛΑΓΙΑΣ ΑΝΔΡΕΑΣ ΤΡΙΓΚΑΣ ΑΓΓΕΛΟΣ Η ΔΙΔΑΣΚΑΛΙΑ ΤΟΥ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ ΣΤΟ ΛΥΚΕΙΟ Εισαγωγή Η μεγάλη ανάπτυξη και ο ρόλος που

Διαβάστε περισσότερα

Προτασιακός Λογισμός (HR Κεφάλαιο 1)

Προτασιακός Λογισμός (HR Κεφάλαιο 1) Προτασιακός Λογισμός (HR Κεφάλαιο 1) Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Σύνταξη Λογικός Συμπερασμός Σημασιολογία Ορθότητα και Πληρότητα Κανονικές Μορφές Προτάσεις Horn ΕΠΛ 412 Λογική

Διαβάστε περισσότερα

ΒΑΣΙΚΕΣ ΣΠΟΥΔΕΣ ΣΤΟ ΤΜΗΜΑ ΦΥΣΙΚΗΣ

ΒΑΣΙΚΕΣ ΣΠΟΥΔΕΣ ΣΤΟ ΤΜΗΜΑ ΦΥΣΙΚΗΣ ΒΑΣΙΚΕΣ ΣΠΟΥΔΕΣ ΣΤΟ ΤΜΗΜΑ ΦΥΣΙΚΗΣ Εισαγωγή Το νέο πρόγραμμα σπουδών που ισχύει πλέον πλήρως, ξεκίνησε να εφαρμόζεται σταδιακά ανά έτος από το ακαδημαϊκό έτος 2011-12 και είναι αποτέλεσμα αναμόρφωσης και

Διαβάστε περισσότερα

Κωδικός μαθήματος: (ώρες):

Κωδικός μαθήματος: (ώρες): Γενικές πληροφορίες μαθήματος: Τίτλος μαθήματος: Γεωγραφικά Συστήματα Πληροφοριών Πιστωτικές Κωδικός μαθήματος: CE0-UE1 Φόρτος εργασίας μονάδες: (ώρες): 90 Επίπεδο μαθήματος: Προπτυχιακό Μεταπτυχιακό Τύπος

Διαβάστε περισσότερα

Ανάλυση της Ορθότητας Προγραμμάτων (HR Κεφάλαιο 4)

Ανάλυση της Ορθότητας Προγραμμάτων (HR Κεφάλαιο 4) Ανάλυση της Ορθότητας Προγραμμάτων (HR Κεφάλαιο 4) Στην ενότητα αυτή θα μελετηθούν τα εξής θέματα: Η διαδικαστική γλώσσα προγραμματισμού WHILE Τριάδες Hoare Μερική και Ολική Ορθότητα Προγραμμάτων Κανόνες

Διαβάστε περισσότερα

ΤΡΟΠΟΙ ΠΕΙΘΟΥΣ. Επίκληση στη λογική Επίκληση στο συναίσθημα Επίκληση στο ήθος

ΤΡΟΠΟΙ ΠΕΙΘΟΥΣ. Επίκληση στη λογική Επίκληση στο συναίσθημα Επίκληση στο ήθος ΤΡΟΠΟΙ ΠΕΙΘΟΥΣ Επίκληση στη λογική Επίκληση στο συναίσθημα Επίκληση στο ήθος ΕΠΙΧΕΙΡΗΜΑΤΑ ΚΑΙ ΤΕΚΜΗΡΙΑ (ΜΕΣΑ ΠΕΙΘΟΥΣ ΕΠΙΚΛΗΣΗ ΣΤΗ ΛΟΓΙΚΗ) Όταν θέλουμε να πείσουμε με λογικές αποδείξεις, τότε χρησιμοποιούμε:

Διαβάστε περισσότερα

Τεχνητή Νοημοσύνη. 9η διάλεξη ( ) Ίων Ανδρουτσόπουλος.

Τεχνητή Νοημοσύνη. 9η διάλεξη ( ) Ίων Ανδρουτσόπουλος. Τεχνητή Νοημοσύνη 9η διάλεξη (2016-17) Ίων Ανδρουτσόπουλος http://www.aueb.gr/users/ion/ 1 Οι διαφάνειες αυτής της διάλεξης βασίζονται εν μέρει στο βιβλίο Artificial Intelligence A Modern Approach των

Διαβάστε περισσότερα

K15 Ψηφιακή Λογική Σχεδίαση 3: Προτασιακή Λογική / Θεωρία Συνόλων

K15 Ψηφιακή Λογική Σχεδίαση 3: Προτασιακή Λογική / Θεωρία Συνόλων K15 Ψηφιακή Λογική Σχεδίαση 3: Προτασιακή Λογική / Θεωρία Συνόλων Γιάννης Λιαπέρδος TEI Πελοποννήσου Σχολή Τεχνολογικών Εφαρμογών Τμήμα Μηχανικών Πληροφορικής ΤΕ Στοιχεία προτασιακής λογικής Περιεχόμενα

Διαβάστε περισσότερα

HY118- ιακριτά Μαθηµατικά

HY118- ιακριτά Μαθηµατικά HY118- ιακριτά Μαθηµατικά Τρίτη, 21/02/2017 Το υλικό των διαφανειών έχει βασιστεί σε Αντώνης διαφάνειες Α. Αργυρός του Kees van e-mail: argyros@csd.uoc.gr Deemter, από το University of Aberdeen 2/21/2017

Διαβάστε περισσότερα

Υπολογιστική Λογική και Λογικός Προγραμματισμός

Υπολογιστική Λογική και Λογικός Προγραμματισμός ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ Υπολογιστική Λογική και Λογικός Προγραμματισμός Ενότητα 2: Λογική: Εισαγωγή, Προτασιακή Λογική. Νίκος Βασιλειάδης, Αναπλ. Καθηγητής Άδειες

Διαβάστε περισσότερα

ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 1: Μαθηματικό Υπόβαθρο

ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 1: Μαθηματικό Υπόβαθρο ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας Διάλεξη 1: Μαθηματικό Υπόβαθρο Τι θα κάνουμε σήμερα Εισαγωγικά (0.1) Σύνολα (0.2.1, 0.2.2) Συναρτήσεις & Σχέσεις (;;) (0.2.3) 1 Περιοχές που θα μελετήσουμε

Διαβάστε περισσότερα

Fortran και Αντικειμενοστραφής προγραμματισμός. 1η ενότητα

Fortran και Αντικειμενοστραφής προγραμματισμός. 1η ενότητα Fortran και Αντικειμενοστραφής προγραμματισμός www.corelab.ntua.gr/courses/fortran_naval/naval Διδάσκοντες: Άρης Παγουρτζής (pagour@cs.ntua.gr) (Επίκουρος Καθηγητής ΣΗΜΜΥ ) Δώρα Σούλιου (dsouliou@mail.ntua.gr)

Διαβάστε περισσότερα