Τίτλος Μαθήματος. Ενότητα 3: Θεωρία λογικού προγραμματισμού. Παναγιώτης Σταματόπουλος Σχολή Θετικών Επιστημών Τμήμα Πληροφορικής και Τηλεπικοινωνιών
|
|
- Κλήμης Δυοβουνιώτης
- 6 χρόνια πριν
- Προβολές:
Transcript
1 Τίτλος Μαθήματος Ενότητα 3: Παναγιώτης Σταματόπουλος Σχολή Θετικών Επιστημών Τμήμα Πληροφορικής και Τηλεπικοινωνιών
2 Περιγραφή ενότητας Σύνταξη και σημασιολογία λογικών προγραμμάτων. Μοντελοθεωρητική σημασιολογία, σημασιολογία σταθερού σημείου και λειτουργική σημασιολογία. 2
3 Θεωρία λογικού προγραμματισμού
4 Θεωρητικό υπόβαθρο Το θεωρητικό υπόβαθρο του λογικού προγραμματισμού είναι η λογική πρώτης τάξης (first order logic). Στη λογική πρώτης τάξης ορίζουμε τα εξής σύνολα: P: σύνολο κατηγορημάτων (predicates) F: σύνολο συναρτησιακών συμβόλων (function symbols) V: σύνολο μεταβλητών (variables) 4
5 Θεωρητικό υπόβαθρο, συνέχεια Σε κάθε κατηγόρημα ή συναρτησιακό σύμβολο k αντιστοιχεί ένας ακέραιος αριθμός n>=0 που λέγεται βαθμός ή τάξη (arity) του k. Το k συμβολίζεται και σαν k/n. Τα συναρτησιακά σύμβολα τάξης 0 αναφέρονται και σαν σταθερές (constants). 5
6 Ορισμός όρου (term) Ένας όρος ορίζεται ως εξής: 1. Αν x V, το x είναι όρος 2. Αν c/0 F, το c είναι όρος 3. Αν f/n F και t1, t2,, tn είναι όροι, το f(t1, t2,, tn) είναι όρος. 6
7 Ορισμός ατομικού τύπου (atomic formula) ή ατόμου (atom) Ένα άτομο ορίζεται ως εξής: 1. Αν p/0 P, το p είναι άτομο 2. Αν p/n P και t1, t2,, tn είναι όροι 7
8 Συνδετικά (connectives) (1/3) Στη λογική πρώτης τάξης, τα συνδετικά (connectives) είναι εργαλεία δόμησης πιο σύνθετων τύπων. : άρνηση (negation) : σύζευξη (conjunction) : διάζευξη (disjunction) : συνεπαγωγή (implication) : ισοδυναμία (equivalence) : καθολικός ποσοδείκτης (universal quantifier) : υπαρξιακός ποσοδείκτης (existential quantifier) 8
9 Ορισμός καλοσχηματισμένου τύπου (well-formed formula) Ορισμός καλοσχηματισμένου τύπου (wellformed formula) ή τύπου 1. Αν το A είναι άτομο, τότε το A είναι τύπος. 2. Αν τα F και G είναι τύποι, τότε και τα ( F), (F G), (F G), (F G), (F G) είναι τύποι. 3. Αν το F είναι τύπος και x V, τότε τα ( x F) και ( x F) είναι τύποι. Μερικές φορές, είναι βολικό το F G να γράφεται G F. 9
10 Παραδείγματα τύπων Αν x, y V, p/2, q/1, r/1 P, a/0, f/1, g/1 F τα ( x ( y (p(x, y) q(x)))) ( ( x (p(x, a) q(f(x))))) ( x (p(x, g (x)) (q(x) ( r(x))))), είναι τύποι 10
11 Συνδετικά (connectives) (2/3) Μία υπονοούμενη ιεραρχία /,, / / /, / μεταξύ των συνδετικών απλοποιεί συντακτικά τους τύπους: x y (p(x, y) q(x)) x (p(x, a) q(f(x))) x (p(x, g(x)) q(x) r(x)) 11
12 Συνδετικά (connectives) (3/3) Δεδομένων συνόλων P, F και V, το σύνολο όλων των συντακτικά αποδεκτών τύπων αποτελεί μία γλώσσα πρώτης τάξης (first order language). Η εμβέλεια (scope) του στον τύπο x F ή του στον τύπο x F είναι ο τύπος F. 12
13 Δεσμευμένη εμφάνιση (bound occurrence) Μια δεσμευμένη εμφάνιση (bound occurrence) μεταβλητής σε έναν τύπο είναι μια εμφάνιση αμέσως μετά από έναν ποσοδείκτη ή μέσα στην εμβέλεια ενός ποσοδείκτη που ποσοτικοποιεί αυτήν τη μεταβλητή. Οποιαδήποτε άλλη εμφάνιση μεταβλητής λέγεται ελεύθερη εμφάνιση (free occurrence). Παράδειγμα: Η τρίτη εμφάνιση της μεταβλητής x στον τύπο x p(x, y) q(x)είναι ελεύθερη, ενώ στον τύπο x (p(x, y) q(x)) είναι δεσμευμένη. 13
14 Κλειστός τύπος (closed formula) Ένας τύπος λέγεται κλειστός τύπος (closed formula) όταν δεν περιέχει ελεύθερες εμφανίσεις μεταβλητών. Παράδειγμα: Ο τύπος y x (p(x, y) q(x)) είναι κλειστός, αλλά ο τύπος x (p(x, y) q(x)) δεν είναι (γιατί;). 14
15 Λεκτικό (literal) και προτάσεις (clauses) Ένα λεκτικό (literal) είναι ένα άτομο ή η άρνηση ενός ατόμου. Μία πολύ σημαντική κατηγορία τύπων είναι οι προτάσεις (clauses) που είναι τύποι της μορφής: x1 x2. xs (L1 L2 Lm)όπου τα Li είναι λεκτικά και τα xj είναι όλες οι μεταβλητές που εμφανίζονται στο L1 L2 Lm. 15
16 Περί προτάσεων (1/2) Παραδείγματα: x y z (p(x, z) q(x, y) r(y, z)) x y ( p(x, y) r(f(x, y), a)) x y (p(x, y) q(x, y) r(a, x)) x p(x, x) q(x, x)) Εναλλακτική γραφή: Η πρόταση x1 xs (A1 Ak B1. Bn). όπου τα Ai και Bj είναι άτομα, γράφεται και σαν: A1,.., Ak B1,, Bn Το αριστερό μέλος του ονομάζεται κεφαλή (head) της πρότασης, ενώ το δεξιό μέλος ονομάζεται σώμα (body). 16
17 Περί προτάσεων (2/2) Οι προτάσεις με k = 1 (A B1,, Bn) λέγονται οριστικές (definite) προτάσεις. Οι οριστικές προτάσεις με n = 0 (A ) λέγονται μοναδιαίες (unit) προτάσεις. Ένα σύνολο οριστικών προτάσεων είναι ένα οριστικό πρόγραμμα. Οι προτάσεις με k = 0 ( B1,, Bn) λέγονται οριστικοί στόχοι (definite goals). Για k = 0 και n = 0, έχουμε την κενή (empty) πρόταση ( ή ), που αναφέρεται και σαν αντίφαση (contradiction). Μια πρόταση Horn είναι είτε μία οριστική πρόταση, είτε ένας οριστικός στόχος (μας θυμίζει την Prolog;). 17
18 Σύνταξη και σημασιολογία (syntax and semantics) Ό,τι έχει αναφερθεί μέχρι στιγμής στα θεωρητικά θέματα σχετίζεται μόνο με τη σύνταξη στη λογική πρώτης τάξης. Αυτό που ενδιαφέρει όμως στο λογικό προγραμματισμό είναι και η σημασιολογία, δηλαδή η μελέτη της σημασίας των λογικών προγραμμάτων. Συνήθως, τρεις μέθοδοι εφαρμόζονται: Μοντελοθεωρητική σημασιολογία (Model-theoretic semantics) Σημασιολογία σταθερού σημείου (Fixpoint semantics) Λειτουργική σημασιολογία (Operational semantics) Με βάση αυτές τις μεθόδους, θα μελετηθεί η σημασία των οριστικών προγραμμάτων. Οι τρεις μέθοδοι καταλήγουν σε ισοδύναμα συμπεράσματα. 18
19 Μερικοί ορισμοί Ένας όρος ή τύπος που δεν περιέχει μεταβλητές λέγεταιπλήρως αποτιμημένος (ground). Αν L είναι μία γλώσσα πρώτης τάξης, το σύνολο των πλήρως αποτιμημένων όρων που κατασκευάζονται χρησιμοποιώντας τα συναρτησιακά σύμβολα της L (συμπεριλαμβανομένων και των σταθερών) ονομάζεται σύμπαν Herbrand (Herbranduniverse) UL. Αν δεν υπάρχει σταθερά στη γλώσσα, εισάγεται μία αυθαίρετη, για να υπάρχει μη κενό UL. Για δεδομένη γλώσσα L, το σύνολο των πλήρως αποτιμημένων ατομικών τύπων (ατόμων) αποτελεί τη βάση Herbrand (Herbrand base) BL. Δηλαδή, το BL περιέχει όλα τα δυνατά άτομα με κατηγορήματα της L και ορίσματα από το UL. 19
20 Μοντελοθεωρητική σημασιολογία (1/8) Λαμβάνοντας υπόψη τις έννοιες του σύμπαντος Herbrand UL και της βάσης Herbrand BL για μία γλώσσα πρώτης τάξης L, ένα υποσύνολο I του BL ονομάζεται ερμηνεία Herbrand (Herbrand interpretation), ή, στο εξής, απλά ερμηνεία. Ουσιαστικά, μία ερμηνεία αντιστοιχεί σε κάθε κατηγόρημα p/n της L μία σχέση επάνω στο ULⁿ. Παράδειγμα: Αν UL = {a, b, c} και BL = {p(a), p(b), p(c), q(a), q(b), q(c), r(a), r(b), r(c)} μία ερμηνεία I είναι η I = {p(a), p(c), q(c), r(b)} 20
21 Μοντελοθεωρητική σημασιολογία (2/8) Άτυπα, μια ερμηνεία περιγράφει μία υποψήφια κατάσταση του περιβάλλοντος κόσμου, με την έννοια ότι περιέχει εκείνα τα πλήρως αποτιμημένα άτομα που αντιστοιχούν στο τι ισχύει στην κατάσταση αυτή. Δεδομένης μίας ερμηνείας, ένας κλειστός τύπος μπορεί να είναι αληθής ή ψευδής στην ερμηνεία αυτή. Αν ένας τύπος είναι αληθής σε μία ερμηνεία Herbrand, ή ερμηνεία αυτή είναι μοντέλο Herbrand (Herbrand model),ή, στο εξής, απλά μοντέλο του τύπου αυτού. Μία ερμηνεία είναι μοντέλο ενός συνόλου από κλειστούς τύπους, αν είναι μοντέλο για κάθε τύπο του συνόλου. 21
22 Μοντελοθεωρητική σημασιολογία (3/8) Ένας κλειστός τύπος είναι αληθής σε μία ερμηνεία I αν: είναι ένα πλήρως αποτιμημένο άτομο A και A I είναι της μορφής F και ο τύπος F δεν είναι αληθής στην I είναι της μορφής F G και οι τύποι F και G είναι αληθείς στην I είναι της μορφής F G και κάποιος από τους τύπους F ή G είναι αληθής στην I είναι της μορφής F G (ή G F) και είτε ο τύπος F δεν είναι αληθής στην I, είτε και ο F και ο G είναι αληθείς στην I. 22
23 Μοντελοθεωρητική σημασιολογία (4/8) είναι της μορφής F G και είτε και οι δύο (F και G) είναι αληθείς στην I, είτε και οι δύο δεν είναι αληθείς στην I είναι της μορφής x F και για όλα τα d UL αν αντικατασταθεί η μεταβλητή x στον τύπο F με το d, οι τύποι που προκύπτουν να είναι αληθείς στην I είναι της μορφής x F και υπάρχει κάποιο d UL τέτοιο ώστε αν αντικατασταθεί η μεταβλητή x στον τύπο F με το d, ο τύπος που προκύπτει να είναι αληθής στην I 23
24 Μοντελοθεωρητική σημασιολογία (5/8) Ένας κλειστός τύπος είναι ψευδής σε μία ερμηνεία I αν δεν είναι αληθής στην I. Η τιμή αλήθειας των ανοικτών τύπων μπορεί να ορισθεί μόνο σε σχέση με μία αντικατάσταση των ελευθέρων εμφανίσεων μεταβλητών τους από στοιχεία του UL(οπότε πλέον γίνονται κλειστοί τύποι). 24
25 Μοντελοθεωρητική σημασιολογία (6/8) Από την εφαρμογή του ορισμού απόδοσης τιμής αλήθειας σε προτάσεις προκύπτει ότι μία ερμηνεία I είναι μοντέλο για μία πρόταση, αν για κάθε δυνατή αντικατάσταση των μεταβλητών της πρότασης με στοιχεία από το UL, η πρόταση που προκύπτει είναι αληθής στην I, δηλαδή είτε κάποιο από τα πλήρως αποτιμημένα άτομα της κεφαλής είναι αληθές στην I, είτε κάποιο από τα πλήρως αποτιμημένα άτομα του σώματος είναι ψευδές στην I. 25
26 Μοντελοθεωρητική σημασιολογία (7/8) Αν S είναι ένα σύνολο από κλειστούς τύπους και F είναι ένας κλειστός τύπος, τότε ο F είναι λογικό επακόλουθο(logical consequence) του S (συμβολικά S F), αν κάθε μοντέλο του S είναι και μοντέλο του F. Τότε, αποδεικνύεται ότι το S { F} δεν έχει μοντέλο. Αν P είναι ένα οριστικό πρόγραμμα, αποδεικνύεται ότι ητ ομή δύο μοντέλων του είναι επίσης μοντέλο. Η τομή M ρόλων των μοντέλων του P είναι το ελάχιστο μοντέλο Herbrand (least Herbrand model) του P. 26
27 Μοντελοθεωρητική σημασιολογία (8/8) Αν P είναι ένα οριστικό πρόγραμμα, αποδεικνύεται ότι η τομή δύο μοντέλων του είναι επίσης μοντέλο. Η τομή Mp όλων των μοντέλων του P είναι το ελάχιστο μοντέλο Herbrand (least Herbrand model) του P. Αν P είναι ένα οριστικό πρόγραμμα σε μία γλώσσα πρώτης τάξης L, αποδεικνύεται ότι Mp = { A BL P A } Δηλαδή, το ελάχιστο μοντέλο ενός οριστικού προγράμματος αποτελείται από όλα τα λογικά επακόλουθα του προγράμματος. Αυτό είναι το αποτέλεσμα της μοντελοθεωρητικής σημασιολογίας. 27
28 Παράδειγμα Έστω το οριστικό πρόγραμμα P: p(x) q(x) q(x) r(x) p(a) q(b) r(c) Τότε έχουμε: UL = {a, b, c} BL = {p(a), p(b), p(c), q(a), q(b), q(c), r(a), r(b), r(c)} Το ελάχιστο μοντέλο Herbrand Mp του P είναι: Mp = {p(a), p(b), p(c), q(b), q(c), r(c)} Πόσο εύκολα μπορούμε να υπολογίσουμε το Mp; 28
29 Σημασιολογία σταθερού σημείου (1/4) Η σημασιολογική προσέγγιση μέσω σταθερού σημείου παρέχει μία κατασκευαστική μέθοδο υπολογισμού του ελάχιστου μοντέλου Herbrand ενός οριστικού προγράμματος. Αν T είναι μία απεικόνιση σε ένα σύνολο L, δηλαδή T : L L, ένα στοιχείο a L ονομάζεται σταθερό σημείο (fixpoint) της T αν ισχύει T(a) = a. 29
30 Σημασιολογία σταθερού σημείου (2/4) Αν στο L έχει ορισθεί μία σχέση μερικής διάταξης (partial order) και με τις επιπλέον προϋποθέσεις(χωρίς να αναλύσουμε τους απαιτούμενους ορισμούς)το L να είναι πλήρες πλέγμα (complete lattice) και η T συνεχής (continuous), αποδεικνύεται ότι η T έχει ένα ελάχιστο σταθερό σημείο (least fixpoint), συμβολικά lfp(t), το οποίο ισούται με lfp (T) = lub ( {, T ( ), T (T ( )), T( T( T( ))), } ) όπου είναι το ελάχιστο στοιχείο (bottom element) του L και το lub(x) είναι το ελάχιστο άνω φράγμα (least upperbound) ενός μερικώς διατεταγμένου συνόλου X. Δεδομένου ενός οριστικού προγράμματος P επάνω σε μία γλώσσα πρώτης τάξης L και θεωρώντας τη σχέση μερικής διάταξης στο σύνολο 2 B L όλων των δυνατών ερμηνειών για το P, αποδεικνύεται ότι το 2 B L είναι πλήρες πλέγμα (με = ). 30
31 Σημασιολογία σταθερού σημείου (3/4) Ορίζοντας την απεικόνιση Tp από ερμηνείες σε ερμηνείες, δηλαδή Tp : 2 B L 2 B L, με Tp (I) = { A BL A A1,, An } είναι πλήρως αποτιμημένο στιγμιότυπο μιας πρότασης του P και {A1,, An} I } αποδεικνύεται ότι η Tp είναι συνεχής, άρα έχει ελάχιστο σταθερό σημείο, το lfp(tp) = lub ( {, Tp ( ), Tp (Tp ( )),..} ) Τέλος, αποδεικνύεται ότι το ελάχιστο μοντέλο HerbrandMp του P ισούται με το ελάχιστο σταθερό σημείο της Tp,δηλαδή Mp = lfp(tp). Αυτό είναι το αποτέλεσμα τηςσημασιολογίας σταθερού σημείου. 31
32 Σημασιολογία σταθερού σημείου (4/4) Στο παράδειγμα οριστικού προγράμματος της προηγούμενης μεθόδου σημασιολογίας έχουμε: - - Tp( ) = {p(a), q(b), r(c)} - Tp(Tp( )) = Tp({p(a), q(b), r(c)}) = = {p(a), p(b), q(b), q(c), r(c)} - Tp(Tp(Tp( ))) = Tp({p(a), p(b), q(b), q(c), r(c)}) = = {p(a), p(b), p(c), q(b), q(c), r(c)} - Tp(Tp(Tp(Tp( )))) = Tp({p(a), p(b), p(c), q(b), q(c), r(c)}) = -.. = {p(a), p(b), p(c), q(b), q(c), r(c)} Άρα: Mp = {p(a), p(b), p(c), q(b), q(c), r (c)} 32
33 Λειτουργική σημασιολογία (1/2) Η λειτουργική σημασιολογία σχετίζεται με την παραγωγή νέας γνώσης από υπάρχουσα, μέσα από μία διαδικασία εξαγωγής συμπερασμάτων που συνίσταται σε πεπερασμένο αριθμό εφαρμογών ενός κανόνα συμπερασμού (inference rule). Για δεδομένη διαδικασία εξαγωγής συμπερασμάτων, αν από ένα σύνολο κλειστών τύπων S συμπεραίνεται (is inferred) ένας κλειστός τύπος F, γράφουμε S F. Για τα οριστικά προγράμματα, η διαδικασία εξαγωγής συμπερασμάτων που εφαρμόζεται είναι η SLDανάλυση(SLD-resolution). 33
34 Λειτουργική σημασιολογία (2/2) Για την εισαγωγή του κανόνα συμπερασμού της SLDανάλυσης, απαιτείται να ορισθούν οι έννοιες της αντικατάστασης, της ενοποίησης, του γενικότερου ενοποιητή, κ.λ.π. Αντικατάσταση (substitution)μια αντικατάσταση θ είναι ένα πεπερασμένο σύνολο της μορφής {v1/t1,., vn/tn} όπου τα vi είναι μεταβλητές και τα ti είναι όροι (κάθε ti είναι διαφορετικό από το αντίστοιχο vi και όλα τα vi είναι διαφορετικά μεταξύ τους). Ουσιαστικά, μία αντικατάσταση ορίζει ότι τα vi είναι δεσμευμένα με (έχουν πάρει σαν τιμές) τα αντίστοιχα ti. Η κενή (empty) αντικατάσταση ορίζεται από το κενό σύνολο. 34
35 Στιγμιότυπο (instance) Αν E είναι ένας όρος, λεκτικό, σύζευξη λεκτικών ή διάζευξη λεκτικών, το Eθ λέγεται στιγμιότυπο του E μέσω της αντικατάστασης θ = {v1/t1,., vn/tn} αν στο E αντικατασταθούν ταυτόχρονα οι εμφανίσεις των μεταβλητών vi με τα αντίστοιχα ti. 35
36 Παραλλαγή (variant) Αν E και F είναι όροι, λεκτικά, συζεύξεις λεκτικών ή διαζεύξεις λεκτικών, το E λέγεται παραλλαγή του F (ή το F παραλλαγή του E) αν υπάρχουν αντικαταστάσεις θ και σ τέτοιες ώστε E = Fθ και F = Eσ. 36
37 Σύνθεση (composition) αντικαταστάσεων Αν θ = {u1/s1,., um/sm} και σ = {v1/t1,, vn/tn} είναι δύο αντικαταστάσεις, η σύνθεση τους θσ είναι η αντικατάσταση {u1/s1σ,., um/smσ, v1/t1,., vn/tn} διαγράφοντας από αυτήν κάθε ui/siσ για το οποίο ui = siσ και κάθε vj/tj για το οποίο vj {u1,, um} 37
38 Ενοποίηση (unification) Αν S = {E1,., En} ένα σύνολο όρων ή ατόμων, μία αντικατάσταση θ λέγεται ενοποιητής (unifier) για το S αν το Sθ = {E1θ,., Enθ} είναι μονοσύνολο. Ένας ενοποιητής θ για το S είναι ο γενικότερος ενοποιητής (most generalunifier) mgu για το S, αν για κάθε ενοποιητή σ του S, υπάρχει αντικατάσταση γ τέτοια ώστε σ = θγ. Η διαδικασία υπολογισμού του mgu ενός S λέγεται ενοποίηση. 38
39 Κανόνας συμπερασμού της SLDανάλυσης Αν το G είναι ένας οριστικός στόχος A1,., Am,., Ak και C μια οριστική πρόταση A B1,., Bq, τότε το G = (A1,, Am-1, B1., Bq, Am+1,., Ak)θ παράγεται(is derived) από τα G και C, όπου θ είναι ο mgu των ατόμων Am και A. 39
40 SLD απόρριψη (SLD refutation) Δεδομένου ενός οριστικού προγράμματος P επάνω σε μία γλώσσα πρώτης τάξης L και ενός οριστικού στόχου G, μία SLD-απόρριψη (SLD-refutation) του P {G} είναι μία διαδοχική εφαρμογή του προηγούμενου κανόνα συμπερασμού πεπερασμένο αριθμό βημάτων, όπου σε κάθε βήμα χρησιμοποιείται ο στόχος που παρήχθη στο προηγούμενο βήμα(στο πρώτο βήμα ο G) και μία παραλλαγή κάποιας πρότασης του P (τέτοια ώστε οι μεταβλητές της να είναι διαφορετικές από αυτές που έχουν χρησιμοποιηθεί μέχρι εκείνη τη στιγμή) και επιπλέον ο τελευταίος στόχος που παράγεται είναι η κενή πρόταση. Το σύνολο όλων των A BL για τα οποία το P { A} έχει κάποια SLD-απόρριψη ονομάζεται σύνολο επιτυχίας (success set) του P, συμβολικά SS(P). 40
41 Σύνολο επιτυχίας Αποδεικνύεται ότι το σύνολο επιτυχίας ενός οριστικού προγράμματος ισούται με το ελάχιστο μοντέλο Herbrandτου προγράμματος. Δηλαδή Mp = SS(P). Στο παράδειγμα του προγράμματος P που δόθηκε, ποιες είναι οι SLD-απορρίψεις του P { A} για κάθε A Mp; 41
42 Λογικός προγραμματισμός με περιορισμούς (constraint logic programming) (1/4) Ο λογικός προγραμματισμός με περιορισμούς είναι μία επέκταση του λογικού προγραμματισμού η οποία παρέχει τη δυνατότητα δηλωτικής, και ταυτόχρονα αποδοτικής, αντιμετώπισης προβλημάτων που μπορούν να διατυπωθούν σαν προβλήματα ικανοποίησης περιορισμών (constraint satisfaction problems). Ένα πρόβλημα είναι πρόβλημα ικανοποίησης περιορισμών όταν μπορεί να μοντελοποιηθεί από ένα σύνολο μεταβλητών και ένα σύνολο περιορισμών (constraints) μεταξύ των μεταβλητών αυτών. 42
43 Λογικός προγραμματισμός με περιορισμούς (constraint logic programming) (2/4) Οι μεταβλητές μπορούν να παίρνουν τιμές από προκαθορισμένα σύνολα δυνατών τιμών. Το ζητούμενο είναι να βρεθούν εκείνοι οι συνδυασμοί τιμών των μεταβλητών (λύσεις του προβλήματος)που ικανοποιούν όλους τους περιορισμούς. Πολλές φορές, σε κάθε υποψήφια λύση αντιστοιχεί ένα κόστος (συνάρτηση των μεταβλητών), οπότε αυτό που ενδιαφέρει είναι να βρεθεί εκείνη η λύση που έχει το μικρότερο δυνατό κόστος. Τότε το πρόβλημα είναι και πρόβλημα βελτιστοποίησης (optimization problem). Ο φυσιολογικός τρόπος επίλυσης ενός προβλήματος ικανοποίησης περιορισμών είναι ίσως η μέθοδος γέννα-και-δοκίμασε ( generate-and-test ). Δηλαδή, γέννα συστηματικά τους δυνατούς συνδυασμούς τιμών των μεταβλητών και, για κάθε έναν από αυτούς, έλεγξε αν ισχύουν οι περιορισμοί. Όμως, η μέθοδος αυτή μπορεί να δώσει αποτελέσματα μόνο όταν το πρόβλημα είναι σχετικά μικρού μεγέθους (λίγες μεταβλητές και λίγες δυνατές τιμές γι αυτές). 43
44 Λογικός προγραμματισμός με περιορισμούς (constraint logic programming) (3/4) Στο λογικό προγραμματισμό με περιορισμούς, η χρησιμοποιούμενη μέθοδος είναι η περιόρισε-και-γέννα ( constrain-and-generate ).Δηλαδή, διατύπωσε τους περιορισμούς, έτσι ώστε να χρησιμοποιηθούν αυτοί ενεργά για να αποκόψουν πιθανές τιμές από τις μεταβλητές, και, στη συνέχεια, ξεκίνησε μία συστηματική διαδικασία γέννησης τιμών για τις μεταβλητές, αλλά σε κάθε βήμα να ενεργοποιείς πάλι τους περιορισμού για να φροντίσουν για άλλες δυνατές αποκοπές τιμών. Υπάρχουν διάφορες δυνατότητες υποστήριξης προγραμματισμού με περιορισμούς από γλώσσες λογικού προγραμματισμού, ανάλογα με το είδος των δυνατών τιμών για τις μεταβλητές και το είδος των περιορισμών που καλύπτονται. Η γλώσσα ECLiPSe υποστηρίζει, μεταξύ άλλων, αριθμητικούς, λογικούς, συμβολικούς κ.α. περιορισμούς σε μεταβλητές πεπερασμένων πεδίων (finite domain variables). 44
45 Λογικός προγραμματισμός με περιορισμούς (constraint logic programming) (4/4) Η μεθοδολογία επίλυσης ενός προβλήματος ικανοποίησης περιορισμών στην ECL i PS e συνίσταται σε: Ορισμό των μεταβλητών που χρειάζονται για το πρόβλημα, καθώς και των πεδίων τους. Διατύπωση των περιορισμών που μοντελοποιούν το πρόβλημα. Μη-ντετερμινιστική γέννηση τιμών για τις μεταβλητές για την εύρεση μίας, όλων ή της βέλτιστης λύσης. 45
46 Το πρόβλημα των Ν βασιλισσών (ECL i PS e ) (1/3) nqueens(n, Solution) :- length(solution, N), Solution :: 1..N, constrain(solution), generate(solution). constrain([]). constrain([column Columns]) :- noattack(column, Columns, 1), constrain(columns). noattack(_, [], _). 46
47 Το πρόβλημα των Ν βασιλισσών (ECL i PS e ) (2/3) noattack(column1, [Column2 Columns], Offset) :- Column1 ## Column2, Column1 ## Column2+Offset, Column1 ## Column2 Offset, NewOffset is Offset+1, noattack(column1, Columns, NewOffset). generate([]). generate([column Columns]) :- indomain(column), generate(columns). 47
48 Το πρόβλημα των Ν βασιλισσών (ECL i PS e ) (3/3) Η ιδέα του προγραμματισμού με περιορισμούς, αν και γεννήθηκε στο περιβάλλον του λογικού προγραμματισμού, έχει ενσωματωθεί πλέον και σε άλλες προγραμματιστικές φιλοσοφίες, όπως τον αντικειμενοστραφή προγραμματισμό (ILOG Solver: C++ βιβλιοθήκη για προγραμματισμό με περιορισμούς). Οι περιοχές εφαρμογής του προγραμματισμού με περιορισμούς είναι πάρα πολλές, κυρίως σε προβλήματα συνδυαστικής αναζήτησης (combinational search) τα οποία έχουν αντιμετωπισθεί στο παρελθόν με μεθόδους επιχειρησιακής έρευνας (operations research), όπως: Κατασκευή ωρολογίων προγραμμάτων Προγραμματισμός προσωπικού Σχεδίαση παραγωγής Διανομή αγαθών. 48
49 Τέλος Ενότητας
50 Χρηματοδότηση Το παρόν εκπαιδευτικό υλικό έχει αναπτυχθεί στo πλαίσιo του εκπαιδευτικού έργου του διδάσκοντα. Το έργο «Ανοικτά Ακαδημαϊκά Μαθήματα στο Πανεπιστήμιο Αθηνών» έχει χρηματοδοτήσει μόνο την αναδιαμόρφωση του εκπαιδευτικού υλικού. Το έργο υλοποιείται στο πλαίσιο του Επιχειρησιακού Προγράμματος «Εκπαίδευση και Δια Βίου Μάθηση» και συγχρηματοδοτείται από την Ευρωπαϊκή Ένωση (Ευρωπαϊκό Κοινωνικό Ταμείο) και από εθνικούς πόρους. 50
51 Σημειώματα
52 Σημείωμα Ιστορικού Εκδόσεων Έργου Το παρόν έργο αποτελεί την έκδοση
53 Σημείωμα Αναφοράς Copyright Εθνικόν και Καποδιστριακόν Πανεπιστήμιον Αθηνών, Παναγιώτης Σταματόπουλος, Ιζαμπώ Καράλη. «Λογικός Προγραμματισμός, Θεωρία λογικού προγραμματισμού». Έκδοση: 1.0. Αθήνα Διαθέσιμο από τη δικτυακή διεύθυνση: 53
54 Σημείωμα Αδειοδότησης Το παρόν υλικό διατίθεται με τους όρους της άδειας χρήσης Creative Commons Αναφορά, Μη Εμπορική Χρήση Παρόμοια Διανομή 4.0 [1] ή μεταγενέστερη, Διεθνής Έκδοση. Εξαιρούνται τα αυτοτελή έργα τρίτων π.χ. φωτογραφίες, διαγράμματα κ.λ.π., τα οποία εμπεριέχονται σε αυτό και τα οποία αναφέρονται μαζί με τους όρους χρήσης τους στο «Σημείωμα Χρήσης Έργων Τρίτων». [1] Ως Μη Εμπορική ορίζεται η χρήση: που δεν περιλαμβάνει άμεσο ή έμμεσο οικονομικό όφελος από την χρήση του έργου, για το διανομέα του έργου και αδειοδόχο που δεν περιλαμβάνει οικονομική συναλλαγή ως προϋπόθεση για τη χρήση ή πρόσβαση στο έργο που δεν προσπορίζει στο διανομέα του έργου και αδειοδόχο έμμεσο οικονομικό όφελος (π.χ. διαφημίσεις) από την προβολή του έργου σε διαδικτυακό τόπο Ο δικαιούχος μπορεί να παρέχει στον αδειοδόχο ξεχωριστή άδεια να χρησιμοποιεί το έργο για εμπορική χρήση, εφόσον αυτό του ζητηθεί. 54
55 Διατήρηση Σημειωμάτων Οποιαδήποτε αναπαραγωγή ή διασκευή του υλικού θα πρέπει να συμπεριλαμβάνει: το Σημείωμα Αναφοράς το Σημείωμα Αδειοδότησης τη δήλωση Διατήρησης Σημειωμάτων το Σημείωμα Χρήσης Έργων Τρίτων (εφόσον υπάρχει) μαζί με τους συνοδευόμενους υπερσυνδέσμους. 55
56 Σημείωμα Χρήσης Έργων Τρίτων Το Έργο αυτό κάνει χρήση των ακόλουθων έργων: Εικόνες/Σχήματα/Διαγράμματα/Φωτογραφίες 56
Τίτλος Μαθήματος. Ενότητα 1: Γενικά περί λογικού προγραμματισμού
Τίτλος Μαθήματος Ενότητα 1: Παναγιώτης Σταματόπουλος Σχολή Θετικών Επιστημών Τμήμα Πληροφορικής και Τηλεπικοινωνιών Περιγραφή ενότητας Εισαγωγική ενότητα για τον λογικό προγραμματισμό. 2 Γενικά περί λογικού
Διαβάστε περισσότεραΤεχνητή Νοημοσύνη Ι. Ενότητα 7:Προτασιακή Λογική. Πέππας Παύλος Πολυτεχνική Σχολή Τμήμα Ηλεκτρολόγων Μηχανικών και Τεχνολογίας Υπολογιστών
Τεχνητή Νοημοσύνη Ι Ενότητα 7:Προτασιακή Λογική Πέππας Παύλος Πολυτεχνική Σχολή Τμήμα Ηλεκτρολόγων Μηχανικών και Τεχνολογίας Υπολογιστών Προτασιακή Λογική Σκοποί ενότητας 2 Περιεχόμενα ενότητας Προτασιακή
Διαβάστε περισσότεραΛογικός Προγραμματισμός Ασκήσεις
Λογικός Προγραμματισμός Ασκήσεις Παναγιώτης Σταματόπουλος Τμήμα Πληροφορικής και Τηλεπικοινωνιών Περιεχόμενα 1. Β Ομάδα Ασκήσεων "Λογικού Προγραμματισμού" Ακαδημαϊκού Έτους 2012-13... 3 1.1 Άσκηση 4...
Διαβάστε περισσότεραΛογικός Προγραμματισμός Ασκήσεις
Λογικός Προγραμματισμός Ασκήσεις Παναγιώτης Σταματόπουλος Τμήμα Πληροφορικής και Τηλεπικοινωνιών Περιεχόμενα 1. Β Ομάδα Ασκήσεων "Λογικού Προγραμματισμού" Ακαδημαϊκού Έτους 2007-08... 3 1.1 Άσκηση 5...
Διαβάστε περισσότεραΛογικός Προγραμματισμός Ασκήσεις
Λογικός Προγραμματισμός Ασκήσεις Παναγιώτης Σταματόπουλος Τμήμα Πληροφορικής και Τηλεπικοινωνιών Περιεχόμενα 1. Α Ομάδα Ασκήσεων "Λογικού Προγραμματισμού" Ακαδημαϊκού Έτους 2011-12... 3 1.1 Άσκηση 1...
Διαβάστε περισσότεραΚβαντική Επεξεργασία Πληροφορίας
Κβαντική Επεξεργασία Πληροφορίας Ενότητα 4: Κλασσική και Κβαντική Πιθανότητα Σγάρμπας Κυριάκος Πολυτεχνική Σχολή Τμήμα Ηλεκτρολόγων Μηχανικών και Τεχνολογίας Υπολογιστών Σκοποί ενότητας Σκοπός της ενότητας
Διαβάστε περισσότεραΛογικός Προγραμματισμός Ασκήσεις
Λογικός Προγραμματισμός Ασκήσεις Παναγιώτης Σταματόπουλος Τμήμα Πληροφορικής και Τηλεπικοινωνιών Περιεχόμενα 1. Α Ομάδα Ασκήσεων "Λογικού Προγραμματισμού" Ακαδημαϊκού Έτους 2010-11... 3 1.1 Άσκηση 1...
Διαβάστε περισσότεραΛογικός Προγραμματισμός Ασκήσεις
Λογικός Προγραμματισμός Ασκήσεις Παναγιώτης Σταματόπουλος Τμήμα Πληροφορικής και Τηλεπικοινωνιών Περιεχόμενα 1. Ασκήσεις "Λογικού Προγραμματισμού" Ακαδημαϊκού Έτους 2003-04... 3 1.1 Άσκηση 1 (0.2 μονάδες)...
Διαβάστε περισσότεραΔιοικητική Λογιστική
Ανοικτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Ιονίων Νήσων Διοικητική Λογιστική Ενότητα 10: Προσφορά και κόστος Το περιεχόμενο του μαθήματος διατίθεται με άδεια Creative Commons εκτός και αν αναφέρεται διαφορετικά
Διαβάστε περισσότεραΛογικός Προγραμματισμός Ασκήσεις
Λογικός Προγραμματισμός Ασκήσεις Παναγιώτης Σταματόπουλος Τμήμα Πληροφορικής και Τηλεπικοινωνιών Περιεχόμενα 1. Ασκήσεις "Λογικού Προγραμματισμού" Ακαδημαϊκού Έτους 2000-01... 3 1.1 Άσκηση 1 (0.3 μονάδες)...
Διαβάστε περισσότεραΘερμοδυναμική. Ανοικτά Ακαδημαϊκά Μαθήματα. Πίνακες Νερού σε κατάσταση Κορεσμού. Γεώργιος Κ. Χατζηκωνσταντής Επίκουρος Καθηγητής
Ανοικτά Ακαδημαϊκά Μαθήματα Τεχνολογικό Εκπαιδευτικό Ίδρυμα Αθήνας Πίνακες Νερού σε κατάσταση Κορεσμού Γεώργιος Κ. Χατζηκωνσταντής Επίκουρος Καθηγητής Διπλ. Ναυπηγός Μηχανολόγος Μηχανικός M.Sc. Διασφάλιση
Διαβάστε περισσότεραΛογικός Προγραμματισμός Ασκήσεις
Λογικός Προγραμματισμός Ασκήσεις Παναγιώτης Σταματόπουλος Τμήμα Πληροφορικής και Τηλεπικοινωνιών Περιεχόμενα 1. Β Ομάδα Ασκήσεων "Λογικού Προγραμματισμού" Ακαδημαϊκού Έτους 2011-12... 3 1.1 Άσκηση 4...
Διαβάστε περισσότεραΒέλτιστος Έλεγχος Συστημάτων
Βέλτιστος Έλεγχος Συστημάτων Ενότητα 7: Βέλτιστος έλεγχος συστημάτων διακριτού χρόνου Καθηγητής Αντώνιος Αλεξανδρίδης Πολυτεχνική Σχολή Τμήμα Ηλεκτρολόγων Μηχανικών και Τεχνολογίας Υπολογιστών Σημείωμα
Διαβάστε περισσότεραΕισαγωγή στους Η/Υ. Ενότητα 2β: Αντίστροφο Πρόβλημα. Δημήτρης Σαραβάνος, Καθηγητής Πολυτεχνική Σχολή Τμήμα Μηχανολόγων & Αεροναυπηγών Μηχανικών
Εισαγωγή στους Η/Υ Ενότητα 2β: Δημήτρης Σαραβάνος, Καθηγητής Πολυτεχνική Σχολή Τμήμα Μηχανολόγων & Αεροναυπηγών Μηχανικών Σκοποί ενότητας Εύρεση συνάρτησης Boole όταν είναι γνωστός μόνο ο πίνακας αληθείας.
Διαβάστε περισσότεραΑνοικτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Αθήνας. Βιοστατιστική (Ε) Ενότητα 3: Έλεγχοι στατιστικών υποθέσεων
Ανοικτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Αθήνας Βιοστατιστική (Ε) Ενότητα 3: Έλεγχοι στατιστικών υποθέσεων Δρ.Ευσταθία Παπαγεωργίου, Αναπληρώτρια Καθηγήτρια Τμήμα Ιατρικών Εργαστηρίων Το περιεχόμενο του μαθήματος
Διαβάστε περισσότεραΑνοικτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Αθήνας. Βιοστατιστική (Ε) Ενότητα 1: Καταχώρηση δεδομένων
Ανοικτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Αθήνας Βιοστατιστική (Ε) Ενότητα 1: Καταχώρηση δεδομένων Δρ.Ευσταθία Παπαγεωργίου, Αναπληρώτρια Καθηγήτρια Τμήμα Ιατρικών Εργαστηρίων Το περιεχόμενο του μαθήματος διατίθεται
Διαβάστε περισσότεραΕισαγωγή στους Αλγορίθμους
Εισαγωγή στους Αλγορίθμους Ενότητα 5 η Άσκηση Συγχώνευση & απαρίθμηση Διδάσκων Χρήστος Ζαρολιάγκης Καθηγητής Τμήμα Μηχανικών Η/Υ & Πληροφορικής Πανεπιστήμιο Πατρών Email: zaro@ceid.upatras.gr Άδειες Χρήσης
Διαβάστε περισσότεραΛογιστική Κόστους Ενότητα 12: Λογισμός Κόστους (2)
Λογιστική Κόστους Ενότητα 12: Λογισμός Κόστους (2) Μαυρίδης Δημήτριος Τμήμα Λογιστικής και Χρηματοοικονομικής Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για
Διαβάστε περισσότεραΑνοικτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Αθήνας. Βιοστατιστική (Ε) Ενότητα 2: Περιγραφική στατιστική
Ανοικτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Αθήνας Βιοστατιστική (Ε) Ενότητα 2: Περιγραφική στατιστική Δρ.Ευσταθία Παπαγεωργίου, Αναπληρώτρια Καθηγήτρια Τμήμα Ιατρικών Εργαστηρίων Το περιεχόμενο του μαθήματος
Διαβάστε περισσότεραΛογικός Προγραμματισμός Ασκήσεις
Λογικός Προγραμματισμός Ασκήσεις Παναγιώτης Σταματόπουλος Τμήμα Πληροφορικής και Τηλεπικοινωνιών Περιεχόμενα 1. Β Ομάδα Ασκήσεων "Λογικού Προγραμματισμού" Ακαδημαϊκού Έτους 2008-09... 3 1.1 Άσκηση 5...
Διαβάστε περισσότεραΕνότητα. Εισαγωγή στις βάσεις δεδομένων
Ενότητα 1 Εισαγωγή στις βάσεις δεδομένων 2 1.1 Βάσεις Δεδομένων Ένα βασικό στοιχείο των υπολογιστών είναι ότι έχουν τη δυνατότητα να επεξεργάζονται εύκολα και γρήγορα μεγάλο πλήθος δεδομένων και πληροφοριών.
Διαβάστε περισσότεραΛογικός Προγραμματισμός Ασκήσεις
Λογικός Προγραμματισμός Ασκήσεις Παναγιώτης Σταματόπουλος Τμήμα Πληροφορικής και Τηλεπικοινωνιών Περιεχόμενα 1. Α Ομάδα Ασκήσεων "Λογικού Προγραμματισμού" Ακαδημαϊκού Έτους 2013-14... 3 1.1 Άσκηση 1...
Διαβάστε περισσότεραΛογικός Προγραμματισμός Ασκήσεις
Λογικός Προγραμματισμός Ασκήσεις Παναγιώτης Σταματόπουλος Τμήμα Πληροφορικής και Τηλεπικοινωνιών Περιεχόμενα 1. Α Ομάδα Ασκήσεων "Λογικού Προγραμματισμού" Ακαδημαϊκού Έτους 2008-09... 3 1.1 Άσκηση 1...
Διαβάστε περισσότεραΈλεγχος και Διασφάλιση Ποιότητας Ενότητα 4: Μελέτη ISO Κουππάρης Μιχαήλ Τμήμα Χημείας Εργαστήριο Αναλυτικής Χημείας
Έλεγχος και Διασφάλιση Ποιότητας Ενότητα 4: Μελέτη Κουππάρης Μιχαήλ Τμήμα Χημείας Εργαστήριο Αναλυτικής Χημείας ISO 17025 5.9. ΔΙΑΣΦΑΛΙΣΗ ΤΗΣ ΠΟΙΟΤΗΤΑΣ ΤΩΝ ΑΠΟΤΕΛΕΣΜΑΤΩΝ ΔΟΚΙΜΩΝ (1) 5.9.1 Το Εργαστήριο
Διαβάστε περισσότεραΛογικός Προγραμματισμός Ασκήσεις
Λογικός Προγραμματισμός Ασκήσεις Παναγιώτης Σταματόπουλος Τμήμα Πληροφορικής και Τηλεπικοινωνιών Περιεχόμενα 1. Α Ομάδα Ασκήσεων "Λογικού Προγραμματισμού" Ακαδημαϊκού Έτους 2007-08... 3 1.1 Άσκηση... 3
Διαβάστε περισσότεραΠοιοτική μεθοδολογία έρευνας στη Διδακτική των Μαθηματικών Ενότητα 7: Συγγραφή μιας εργασίας
Ποιοτική μεθοδολογία έρευνας στη Διδακτική των Μαθηματικών Ενότητα 7: Πόταρη Δέσποινα, Σακονίδης Χαράλαμπος Σχολή Θετικών επιστημών Τμήμα Μαθηματικών Έλεγχος του περιεχομένου της έρευνας (1) Είναι σημαντικά
Διαβάστε περισσότεραΒέλτιστος Έλεγχος Συστημάτων
Βέλτιστος Έλεγχος Συστημάτων Ενότητα 10: Δυναμικός προγραμματισμός Καθηγητής Αντώνιος Αλεξανδρίδης Πολυτεχνική Σχολή Τμήμα Ηλεκτρολόγων Μηχανικών και Τεχνολογίας Υπολογιστών Σημείωμα Αδειοδότησης Το παρόν
Διαβάστε περισσότεραΕισαγωγή στους Αλγορίθμους
Εισαγωγή στους Αλγορίθμους Ενότητα 5 η Άσκηση - Συγχώνευση Διδάσκων Χρήστος Ζαρολιάγκης Καθηγητής Τμήμα Μηχανικών Η/Υ & Πληροφορικής Πανεπιστήμιο Πατρών Email: zaro@ceid.upatras.gr Άδειες Χρήσης Το παρόν
Διαβάστε περισσότεραΒάσεις Περιβαλλοντικών Δεδομένων
Ανοικτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Ιονίων Νήσων Βάσεις Περιβαλλοντικών Δεδομένων Ενότητα 3: Μοντέλα βάσεων δεδομένων Το περιεχόμενο του μαθήματος διατίθεται με άδεια Creative Commons εκτός και αν αναφέρεται
Διαβάστε περισσότεραΦιλοσοφία της Ιστορίας και του Πολιτισμού
Φιλοσοφία της Ιστορίας και του Πολιτισμού Ενότητα 1: Εισαγωγή στις έννοιες Ιστορίας και Πολιτισμού Λάζου Άννα Εθνικὸ και Καποδιστριακὸ Πανεπιστήμιο Aθηνών Τμήμα Φιλοσοφίας Παιδαγωγικής και Ψυχολογίας Φιλοσοφία
Διαβάστε περισσότεραΥπολογιστική άλγεβρα Ενότητα 10: Βάσεις Groebner ενός ιδεώδους ΙΙΙ
Υπολογιστική άλγεβρα Ενότητα 10: Βάσεις Groebner ενός ιδεώδους ΙΙΙ Ράπτης Ευάγγελος Σχολή Θετικών επιστημών Τμήμα Μαθηματικών Κεφάλαιο 10 Βάσεις Groebner ενός ιδεώδους 10.1 Τρίτο μέρος Επαναλαμβάνουμε
Διαβάστε περισσότεραΣΥΣΤΗΜΑΤΑ ΗΛΕΚΤΡΙΚΗΣ ΕΝΕΡΓΕΙΑΣ ΙIΙ
ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΙΚΑ ΜΑΘΗΜΑΤΑ ΣΥΣΤΗΜΑΤΑ ΗΛΕΚΤΡΙΚΗΣ ΕΝΕΡΓΕΙΑΣ ΙIΙ ΜΕΤΑΒΑΤΙΚΑ ΦΑΙΝΟΜΕΝΑ ΣΤΑ ΣΗΕ Λαμπρίδης Δημήτρης Κατσανού Βάνα Τμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών
Διαβάστε περισσότεραΣΥΣΤΗΜΑΤΑ ΗΛΕΚΤΡΙΚΗΣ ΕΝΕΡΓΕΙΑΣ ΙIΙ
ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΙΚΑ ΜΑΘΗΜΑΤΑ ΣΥΣΤΗΜΑΤΑ ΗΛΕΚΤΡΙΚΗΣ ΕΝΕΡΓΕΙΑΣ ΙIΙ ΜΕΤΑΒΑΤΙΚΑ ΦΑΙΝΟΜΕΝΑ ΣΤΑ ΣΗΕ Λαμπρίδης Δημήτρης Κατσανού Βάνα Τμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών
Διαβάστε περισσότεραΣΥΣΤΗΜΑΤΑ ΗΛΕΚΤΡΙΚΗΣ ΕΝΕΡΓΕΙΑΣ ΙIΙ
ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΙΚΑ ΜΑΘΗΜΑΤΑ ΣΥΣΤΗΜΑΤΑ ΗΛΕΚΤΡΙΚΗΣ ΕΝΕΡΓΕΙΑΣ ΙIΙ ΜΕΤΑΒΑΤΙΚΑ ΦΑΙΝΟΜΕΝΑ ΣΤΑ ΣΗΕ Λαμπρίδης Δημήτρης Κατσανού Βάνα Τμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών
Διαβάστε περισσότεραΚεφάλαιο 8 Σημασιολογία λογικών προγραμμάτων
Κεφάλαιο 8 Σημασιολογία λογικών προγραμμάτων Σύνοψη Στο κεφάλαιο αυτό παρουσιάζεται η μοντελοθεωρητική σημασιολογία του λογικού προγραμματισμού, δηλαδή αυτή που βασίζεται σε ερμηνείες και μοντέλα, με τελικό
Διαβάστε περισσότεραΔιδακτική των εικαστικών τεχνών Ενότητα 2
Διδακτική των εικαστικών τεχνών Ενότητα 2 Ουρανία Κούβου Εθνικὸ καi Καποδιστριακὸ Πανεπιστήμιο Αθηνών Τμήμα Εκπαίδευσης και Αγωγής στην Προσχολική Ηλικία Ενότητα 2. Το παιδικό σχέδιο ως γνωστική διεργασία:
Διαβάστε περισσότεραΔιδακτική των εικαστικών τεχνών Ενότητα 2
Διδακτική των εικαστικών τεχνών Ενότητα 2 Ουρανία Κούβου Εθνικὸ καi Καποδιστριακὸ Πανεπιστήμιο Αθηνών Τμήμα Εκπαίδευσης και Αγωγής στην Προσχολική Ηλικία Ενότητα 2. Το παιδικό σχέδιο ως γνωστική διεργασία:
Διαβάστε περισσότεραΚβαντική Επεξεργασία Πληροφορίας
Κβαντική Επεξεργασία Πληροφορίας Ενότητα 12: Ιδιοτιμές και Ιδιοδιανύσματα Σγάρμπας Κυριάκος Πολυτεχνική Σχολή Τμήμα Ηλεκτρολόγων Μηχανικών και Τεχνολογίας Υπολογιστών Σκοποί ενότητας Ιδιοτιμές και Ιδιοδιανύσματα
Διαβάστε περισσότεραΔιδακτική των εικαστικών τεχνών Ενότητα 2
Διδακτική των εικαστικών τεχνών Ενότητα 2 Ουρανία Κούβου Εθνικὸ καi Καποδιστριακὸ Πανεπιστήμιο Αθηνών Τμήμα Εκπαίδευσης και Αγωγής στην Προσχολική Ηλικία Ενότητα 2. Το παιδικό σχέδιο ως γνωστική διεργασία:
Διαβάστε περισσότεραΔιδακτική των εικαστικών τεχνών Ενότητα 2
Διδακτική των εικαστικών τεχνών Ενότητα 2 Ουρανία Κούβου Εθνικὸ καi Καποδιστριακὸ Πανεπιστήμιο Αθηνών Τμήμα Εκπαίδευσης και Αγωγής στην Προσχολική Ηλικία Ενότητα 2. Το παιδικό σχέδιο ως γνωστική διεργασία:
Διαβάστε περισσότεραΤεχνητή Νοημοσύνη Ι. Διαφάνειες Εργαστηρίου. Σγάρμπας Κυριάκος Πολυτεχνική Σχολή Τμήμα Ηλεκτρολόγων Μηχανικών και Τεχνολογίας Υπολογιστών
Τεχνητή Νοημοσύνη Ι Διαφάνειες Εργαστηρίου Σγάρμπας Κυριάκος Πολυτεχνική Σχολή Τμήμα Ηλεκτρολόγων Μηχανικών και Τεχνολογίας Υπολογιστών Σκοποί ενότητας Εργαστήριο Μαθήματος Τεχνητής Νοημοσύνης Ι (Prolog)
Διαβάστε περισσότεραΕισαγωγή στους Υπολογιστές
Εισαγωγή στους Υπολογιστές Εργαστήριο 2 Καθηγητές: Αβούρης Νικόλαος, Παλιουράς Βασίλης, Κουκιάς Μιχαήλ, Σγάρμπας Κυριάκος Τμήμα Ηλεκτρολόγων Μηχανικών και Τεχνολογίας Υπολογιστών Άσκηση 2 ου εργαστηρίου
Διαβάστε περισσότεραΑρχεία και Βάσεις Δεδομένων
ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Αρχεία και Βάσεις Δεδομένων Διάλεξη 7η: Σχεσιακός Λογισμός Δημήτρης Πλεξουσάκης Τμήμα Επιστήμης Υπολογιστών Σχεσιακός Λογισμός Γλώσσα βασισμένη στον Κατηγορηματικό
Διαβάστε περισσότεραΤίτλος Μαθήματος: Μαθηματική Ανάλυση Ενότητα Γ. Ολοκληρωτικός Λογισμός
Τίτλος Μαθήματος: Μαθηματική Ανάλυση Ενότητα Γ. Ολοκληρωτικός Λογισμός Κεφάλαιο Γ.4: Ολοκλήρωση με Αντικατάσταση Όνομα Καθηγητή: Γεώργιος Ν. Μπροδήμας Τμήμα Φυσικής Άδειες Χρήσης Το παρόν εκπαιδευτικό
Διαβάστε περισσότεραΛογικός Προγραμματισμός Ασκήσεις
Λογικός Προγραμματισμός Ασκήσεις Παναγιώτης Σταματόπουλος Τμήμα Πληροφορικής και Τηλεπικοινωνιών Περιεχόμενα 1. Α Ομάδα Ασκήσεων "Λογικού Προγραμματισμού" Ακαδημαϊκού Έτους 2012-13... 3 1.1 Άσκηση 1...
Διαβάστε περισσότεραΟρισμός κανονικής τ.μ.
Πιθανότητες και Στατιστική Ενότητα 4: Τυχαίες τυχαίες μεταβλητές Σχολή Θετικών Επιστημών Τμήμα Πληροφορικής και Τηλεπικοινωνιών Αθήνα 2015 Ορισμός κανονικής τ.μ. Ορισμός κανονικής τ.μ. Μια συνεχής τ.μ.
Διαβάστε περισσότεραΔιδακτική των εικαστικών τεχνών Ενότητα 1
Διδακτική των εικαστικών τεχνών Ενότητα 1 Ουρανία Κούβου Εθνικὸ καi Καποδιστριακὸ Πανεπιστήμιο Αθηνών Τμήμα Εκπαίδευσης και Αγωγής στην Προσχολική Ηλικία Ενότητα 1. Ιστορική αναδρομή της διδακτικής της
Διαβάστε περισσότεραΔιδακτική των εικαστικών τεχνών Ενότητα 3
Διδακτική των εικαστικών τεχνών Ενότητα 3 Ουρανία Κούβου Εθνικὸ καi Καποδιστριακὸ Πανεπιστήμιο Αθηνών Τμήμα Εκπαίδευσης και Αγωγής στην Προσχολική Ηλικία Ενότητα 3. Ο ρόλος του εκπαιδευτικού: σχεδιασμός
Διαβάστε περισσότεραΔιδακτική των εικαστικών τεχνών Ενότητα 2
Διδακτική των εικαστικών τεχνών Ενότητα 2 Ουρανία Κούβου Εθνικὸ καi Καποδιστριακὸ Πανεπιστήμιο Αθηνών Τμήμα Εκπαίδευσης και Αγωγής στην Προσχολική Ηλικία Ενότητα 2. Το παιδικό σχέδιο ως γνωστική διεργασία:
Διαβάστε περισσότεραΛογικός Προγραμματισμός Ασκήσεις
Λογικός Προγραμματισμός Ασκήσεις Παναγιώτης Σταματόπουλος Τμήμα Πληροφορικής και Τηλεπικοινωνιών Περιεχόμενα 1. Β Ομάδα Ασκήσεων "Λογικού Προγραμματισμού" Ακαδημαϊκού Έτους 2009-10... 3 1.1 Άσκηση 5...
Διαβάστε περισσότεραΤίτλος Μαθήματος. Ενότητα 4: Επεκτάσεις, υλοποίηση, παραλληλία
Τίτλος Μαθήματος Ενότητα 4: Παναγιώτης Σταματόπουλος Σχολή Θετικών Επιστημών Τμήμα Πληροφορικής και Τηλεπικοινωνιών Περιγραφή ενότητας Αναλυτική παρουσίαση μίας επέκτασης του λογικού προγραμματισμού, αυτής
Διαβάστε περισσότεραΕισαγωγή στην Διοίκηση Επιχειρήσεων
Εισαγωγή στην Διοίκηση Επιχειρήσεων Ενότητα 7: ΑΣΚΗΣΕΙΣ ΜΕΓΕΘΟΥΣ ΕΠΙΧΕΙΡΗΣΗΣ Μαυρίδης Δημήτριος Τμήμα Λογιστικής και Χρηματοοικονομικής Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης
Διαβάστε περισσότεραΛειτουργία και εφαρμογές της πολιτιστικής διαχείρισης
Λειτουργία και εφαρμογές της πολιτιστικής διαχείρισης Ενότητα 5: Δρ. Θεοκλής-Πέτρος Ζούνης Σχολή : ΟΠΕ Τμήμα : Ε.Μ.Μ.Ε. Περιεχόμενα ενότητας Τι ορίζουμε ως Μάρκετινγκ ενός Πολιτιστικού Οργανισμού; Τα 4
Διαβάστε περισσότεραΓραμμική Άλγεβρα και Μαθηματικός Λογισμός για Οικονομικά και Επιχειρησιακά Προβλήματα
Γραμμική Άλγεβρα και Μαθηματικός Λογισμός για Οικονομικά και Επιχειρησιακά Προβλήματα Ενότητα: Ασκήσεις 11 Ανδριανός Ε. Τσεκρέκος Τμήμα Λογιστικής & Χρηματοοικονομικής Σελίδα 2 1. Σκοποί ενότητας... 5
Διαβάστε περισσότεραΚβαντική Επεξεργασία Πληροφορίας
Κβαντική Επεξεργασία Πληροφορίας Ενότητα 11: Είδη και μετασχηματισμοί πινάκων Σγάρμπας Κυριάκος Πολυτεχνική Σχολή Τμήμα Ηλεκτρολόγων Μηχανικών και Τεχνολογίας Υπολογιστών Σκοποί ενότητας Είδη και μετασχηματισμοί
Διαβάστε περισσότεραΦυσική ΙΙΙ. Ενότητα 4: Ηλεκτρικά Κυκλώματα. Γεώργιος Βούλγαρης Σχολή Θετικών Επιστημών Τμήμα Φυσικής
Φυσική ΙΙΙ Ενότητα 4: Ηλεκτρικά Κυκλώματα Γεώργιος Βούλγαρης Σχολή Θετικών Επιστημών Τμήμα Φυσικής Ασκήσεις ΦΙΙΙ Ασκήσεις κυκλωμάτων συνεχούς ρεύματος. Κανόνες Kirchhoff. Γ. Βούλγαρης 2 Ο Νόμος των Ρευμάτων
Διαβάστε περισσότεραΓενική Φυσική Ενότητα: Δυναμική Άκαμπτου Σώματος
Γενική Φυσική Ενότητα: Δυναμική Άκαμπτου Σώματος Όνομα Καθηγητή: Γεώργιος Βούλγαρης Τμήμα: Μαθηματικό Σελίδα 2 1. Ερωτήσεις Δυναμικής Άκαμπτου Σώματος... 4 1.1 Ερώτηση 1... 4 1.2 Ερώτηση 2... 4 1.3 Ερώτηση
Διαβάστε περισσότεραΑερισμός. Ενότητα 1: Αερισμός και αιμάτωση. Κωνσταντίνος Σπυρόπουλος, Καθηγητής Σχολή Επιστημών Υγείας Τμήμα Ιατρικής
Αερισμός Ενότητα 1: Αερισμός και αιμάτωση Κωνσταντίνος Σπυρόπουλος, Καθηγητής Σχολή Επιστημών Υγείας Τμήμα Ιατρικής Ολικός και κυψελιδικός αερισμός Η κύρια λειτουργία του αναπνευστικού συστήματος είναι
Διαβάστε περισσότεραΠΛΗΡΟΦΟΡΙΚΗ Ι Ενότητα 4: Συναρτήσεις
ΠΛΗΡΟΦΟΡΙΚΗ Ι Ενότητα 4: Συναρτήσεις Μιχάλης Δρακόπουλος Σχολή Θετικών επιστημών Τμήμα Μαθηματικών ΠΛΗΡΟΦΟΡΙΚΗ Ι Σημειώσεις MATLAB Ενότητα 4 ΠΛΗΡΟΦΟΡΙΚΗ Ι (MATLAB) Ενότητα 4 Σημειώσεις βασισμένες στο
Διαβάστε περισσότεραΥπολογιστική άλγεβρα Ενότητα 1: Πολυωνυμικές σχέσεις και ταυτότητες, μέρος Ι
Υπολογιστική άλγεβρα Ενότητα 1: Πολυωνυμικές σχέσεις και ταυτότητες, μέρος Ι Ράπτης Ευάγγελος Σχολή Θετικών επιστημών Τμήμα Μαθηματικών Μέρος I Εναρξη μαθήματος 5 7 Υπολογιστική Άλγεβρα (439) ) Ευάγγελος
Διαβάστε περισσότεραΜηχανολογικό Σχέδιο Ι
ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΧΤΑ ΑΚΑΔΗΜΑΙΚΑ ΜΑΘΗΜΑΤΑ Ενότητα # 8: Άτρακτοι και σφήνες Μ. Γρηγοριάδου Μηχανολόγων Μηχανικών Α.Π.Θ. Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες
Διαβάστε περισσότεραΕισαγωγή στους Αλγορίθμους Φροντιστήριο 1
Εισαγωγή στους Αλγορίθμους Φροντιστήριο 1 Διδάσκων Χρήστος Ζαρολιάγκης Καθηγητής Τμήμα Μηχανικών Η/Υ & Πληροφορικής Πανεπιστήμιο Πατρών Email: zaro@ceid.upatras.gr Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό
Διαβάστε περισσότεραΒέλτιστος Έλεγχος Συστημάτων
Βέλτιστος Έλεγχος Συστημάτων Ενότητα 4: Το γενικευμένο πρόβλημα βέλτιστου ελέγχου για συστήματα συνεχούς Καθηγητής Αντώνιος Αλεξανδρίδης Πολυτεχνική Σχολή Τμήμα Ηλεκτρολόγων Μηχανικών και Τεχνολογίας Υπολογιστών
Διαβάστε περισσότεραΕνδεικτικές λύσεις ασκήσεων διαχείρισης έργου υπό συνθήκες αβεβαιότητας
Ενδεικτικές λύσεις ασκήσεων διαχείρισης έργου υπό συνθήκες αβεβαιότητας 1 Περιεχόμενα 1 η Άσκηση... 4 2 η Άσκηση... 7 3 η Άσκηση... 10 Χρηματοδότηση... 12 Σημείωμα Αναφοράς... 13 Σημείωμα Αδειοδότησης...
Διαβάστε περισσότεραΕφαρμογές των Τεχνολογιών της Πληροφορίας και των Επικοινωνιών στη διδασκαλία και τη μάθηση
Εφαρμογές των Τεχνολογιών της Πληροφορίας και των Επικοινωνιών στη διδασκαλία και τη μάθηση Ενότητα: Εργασίες Διδάσκων: Βασίλης Κόμης, Καθηγητής komis@upatras.gr www.ecedu.upatras.gr/komis/ Τμήμα Επιστημών
Διαβάστε περισσότεραΗλεκτρονική. Ενότητα 9: Τρανζίστορ Επίδρασης Πεδίου (FET) Αγγελική Αραπογιάννη Τμήμα Πληροφορικής και Τηλεπικοινωνιών
Ηλεκτρονική Αγγελική Αραπογιάννη Τμήμα Πληροφορικής και Τηλεπικοινωνιών Περιεχόμενο ενότητας (1 από 2) Τύποι τρανζίστορ επίδρασης πεδίου (JFET, MOSFET, MESFET). Ομοιότητες και διαφορές των FET με τα διπολικά
Διαβάστε περισσότεραΜαθηματικά Διοικητικών & Οικονομικών Επιστημών
Μαθηματικά Διοικητικών & Οικονομικών Επιστημών Ενότητα 7: Παράγωγος, ελαστικότητα, παραγώγιση συναρτήσεων (Φροντιστήριο) Μπεληγιάννης Γρηγόριος Σχολή Οργάνωσης και Διοίκησης Επιχειρήσεων Τμήμα Διοίκησης
Διαβάστε περισσότερα1 η Διάλεξη. Ενδεικτικές λύσεις ασκήσεων
1 η Διάλεξη Ενδεικτικές λύσεις ασκήσεων 1 Περιεχόμενα 1 η Άσκηση... 3 2 η Άσκηση... 3 3 η Άσκηση... 3 4 η Άσκηση... 3 5 η Άσκηση... 4 6 η Άσκηση... 4 7 η Άσκηση... 4 8 η Άσκηση... 5 9 η Άσκηση... 5 10
Διαβάστε περισσότεραΓενική Φυσική Ενότητα: Ταλαντώσεις
Γενική Φυσική Ενότητα: Ταλαντώσεις Όνομα Καθηγητή: Γεώργιος Βούλγαρης Τμήμα: Μαθηματικό Σελίδα 2 1. Ερωτήσεις Ταλαντώσεων... 4 1.1 Ερώτηση 1... 4 2. Ασκήσεις Ταλαντώσεων... 4 2.1 Άσκηση 1... 4 2.2 Άσκηση
Διαβάστε περισσότεραΜυελού των Οστών Ενότητα #1: Ερωτήσεις κατανόησης και αυτόαξιολόγησης
Δωρεά Κυττάρων Αίματος και Μυελού των Οστών Ενότητα #1: Ερωτήσεις κατανόησης και αυτόαξιολόγησης για τη Δωρεά Κυττάρων Αίματος και Μυελού των Οστών Αλέξανδρος Σπυριδωνίδης Σχολή Επιστημών Υγείας Τμήμα
Διαβάστε περισσότεραΛογιστική Κόστους Ενότητα 8: Κοστολογική διάρθρωση Κύρια / Βοηθητικά Κέντρα Κόστους.
Λογιστική Κόστους Ενότητα 8: Κοστολογική διάρθρωση Κύρια / Βοηθητικά Κέντρα Κόστους. Μαυρίδης Δημήτριος Τμήμα Λογιστικής και Χρηματοοικονομικής Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες
Διαβάστε περισσότεραΕισαγωγή στους Αλγορίθμους
Εισαγωγή στους Αλγορίθμους Ενότητα 6 η Άσκηση - DFS δένδρα Διδάσκων Χρήστος Ζαρολιάγκης Καθηγητής Τμήμα Μηχανικών Η/Υ & Πληροφορικής Πανεπιστήμιο Πατρών Email: zaro@ceid.upatras.gr Άδειες Χρήσης Το παρόν
Διαβάστε περισσότεραΔιοικητική Λογιστική
Ανοικτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Ιονίων Νήσων Διοικητική Λογιστική Ενότητα 6: Μέθοδοι ς Το περιεχόμενο του μαθήματος διατίθεται με άδεια Creative Commons εκτός και αν αναφέρεται διαφορετικά Το έργο
Διαβάστε περισσότεραΠληροφορική ΙΙ Θεματική Ενότητα 5
Ανοικτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Ιονίων Νήσων Πληροφορική ΙΙ Θεματική Ενότητα 5 Λογικοί Τελεστές Το περιεχόμενο του μαθήματος διατίθεται με άδεια Creative Commons εκτός και αν αναφέρεται διαφορετικά
Διαβάστε περισσότεραΗ ΓΝΩΣΗ ΚΑΙ ΤΟ ΠΡΑΓΜΑΤΙΚΟ ΣΤΟΝ ΠΛΑΤΩΝΑ ΚΑΙ ΤΟΝ ΑΡΙΣΤΟΤΕΛΗ
Η ΓΝΩΣΗ ΚΑΙ ΤΟ ΠΡΑΓΜΑΤΙΚΟ ΣΤΟΝ ΠΛΑΤΩΝΑ ΚΑΙ ΤΟΝ ΑΡΙΣΤΟΤΕΛΗ Ενότητα: 7 η Ελένη Περδικούρη Τμήμα Φιλοσοφίας 1 Ενότητα 7 η Πότε γνωρίζω; Α. Τα κριτήρια της γνώσης (Μετά τα Φυσικά Α 1 και Αναλυτικά Ύστερα Ι
Διαβάστε περισσότεραΜικροοικονομική Ανάλυση της Κατανάλωσης και της Παραγωγής
Μικροοικονομική Ανάλυση της Κατανάλωσης και της Παραγωγής Διάλεξη 13: Καμπύλες κόστους Ανδρέας Παπανδρέου Σχολή Οικονομικών και Πολιτικών Επιστημών Τμήμα Οικονομικών Επιστημών Μορφές καμπυλών κόστους Καμπύλη
Διαβάστε περισσότεραΔιοίκηση Επιχειρήσεων
ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ Ενότητα 5: Η λήψη των αποφάσεων Ευγενία Πετρίδου Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons.
Διαβάστε περισσότεραΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ
ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Δομές δεδομένων Άσκηση αυτοαξιολόγησης Παναγιώτα Φατούρου Τμήμα Επιστήμης Υπολογιστών ΗΥ2, Ενότητα : Ασκήσεις και Λύσεις Άσκηση 1 Ενότητα : Υλοποίηση Λεξικών µε
Διαβάστε περισσότεραΠρακτική Άσκηση σε σχολεία της δευτεροβάθμιας εκπαίδευσης
Πρακτική Άσκηση σε σχολεία της δευτεροβάθμιας εκπαίδευσης Ενότητα 7: Άλγεβρα Δέσποινα Πόταρη, Γιώργος Ψυχάρης Σχολή Θετικών επιστημών Τμήμα Μαθηματικό Ερευνητικά συμπεράσματα για τις ανισότητες Δυσκολίες
Διαβάστε περισσότεραΜεθοδολογία Έρευνας Κοινωνικών Επιστημών Ενότητα 2: ΣΥΓΚΕΝΤΡΩΣΗ ΠΛΗΡΟΦΟΡΙΩΝ ΜΑΡΚΕΤΙΝΓΚ Λοίζου Ευστράτιος Τμήμα Τεχνολόγων Γεωπόνων-Kατεύθυνση
Μεθοδολογία Έρευνας Κοινωνικών Επιστημών Ενότητα 2: ΣΥΓΚΕΝΤΡΩΣΗ ΠΛΗΡΟΦΟΡΙΩΝ ΜΑΡΚΕΤΙΝΓΚ Λοίζου Ευστράτιος Τμήμα Τεχνολόγων Γεωπόνων-Kατεύθυνση Αγροτικής Οικονομίας Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό
Διαβάστε περισσότεραΠρακτική Άσκηση σε σχολεία της δευτεροβάθμιας εκπαίδευσης
Πρακτική Άσκηση σε σχολεία της δευτεροβάθμιας εκπαίδευσης Ενότητα 1: Κρίσιμα συμβάντα Δέσποινα Πόταρη, Γιώργος Ψυχάρης Σχολή Θετικών επιστημών Τμήμα Μαθηματικό Απομαγνητοφώνηση αποσπάσματος από Β Λυκείου
Διαβάστε περισσότεραΚβαντική Επεξεργασία Πληροφορίας
Κβαντική Επεξεργασία Πληροφορίας Ενότητα 23: Υπολογισμοί σε Κβαντικά Κυκλώματα ΙΙ Σγάρμπας Κυριάκος Πολυτεχνική Σχολή Τμήμα Ηλεκτρολόγων Μηχανικών και Τεχνολογίας Υπολογιστών Σκοποί ενότητας Υπολογισμοί
Διαβάστε περισσότεραΔιδακτική των εικαστικών τεχνών Ενότητα 2
Διδακτική των εικαστικών τεχνών Ενότητα 2 Ουρανία Κούβου Εθνικὸ καi Καποδιστριακὸ Πανεπιστήμιο Αθηνών Τμήμα Εκπαίδευσης και Αγωγής στην Προσχολική Ηλικία Ενότητα 2. Το παιδικό σχέδιο ως γνωστική διεργασία:
Διαβάστε περισσότεραΈλεγχος Ποιότητας Φαρμάκων
Έλεγχος Ποιότητας Φαρμάκων Ενότητα 6: Κουππάρης Μιχαήλ Τμήμα Χημείας Εργαστήριο Αναλυτικής Χημείας Συσκευές Αποσάθρωση Δισκίων (ενός καλαθιού (δεξιά) και δύο καλαθιών (αριστερά) 2 Συσκευή Αποσάθρωσης 4
Διαβάστε περισσότεραΘερμοδυναμική. Ανοικτά Ακαδημαϊκά Μαθήματα. Πίνακες Νερού Υπέρθερμου Ατμού. Γεώργιος Κ. Χατζηκωνσταντής Επίκουρος Καθηγητής
Ανοικτά Ακαδημαϊκά Μαθήματα Τεχνολογικό Εκπαιδευτικό Ίδρυμα Αθήνας Πίνακες Νερού Υπέρθερμου Ατμού Γεώργιος Κ. Χατζηκωνσταντής Επίκουρος Καθηγητής Διπλ. Ναυπηγός Μηχανολόγος Μηχανικός M.Sc. Διασφάλιση Ποιότητας,
Διαβάστε περισσότεραΠρογραμματισμός Η/Υ. Βασικές Προγραμματιστικές Δομές. ΤΕΙ Ιονίων Νήσων Τμήμα Τεχνολόγων Περιβάλλοντος Κατεύθυνση Τεχνολογιών Φυσικού Περιβάλλοντος
Προγραμματισμός Η/Υ Βασικές Προγραμματιστικές Δομές ΤΕΙ Ιονίων Νήσων Τμήμα Τεχνολόγων Περιβάλλοντος Κατεύθυνση Τεχνολογιών Φυσικού Περιβάλλοντος Δομή Ελέγχου Ροής (IF) Η εντολή IF χρησιμοποιείται όταν
Διαβάστε περισσότεραΤο Εικονογραφημένο Βιβλίο στην Προσχολική Εκπαίδευση
Το Εικονογραφημένο Βιβλίο στην Προσχολική Εκπαίδευση Ενότητα 1.1: Αγγελική Γιαννικοπούλου Τμήμα Εκπαίδευσης και Αγωγής στην Προσχολική Ηλικία (ΤΕΑΠΗ) Διδακτική Πρακτική Διδακτική πρακτική: Βασιλική Λεβέντη.
Διαβάστε περισσότεραΠαιδαγωγική ή Εκπαίδευση ΙΙ
Παιδαγωγική ή Εκπαίδευση ΙΙ Ενότητα 2 Ζαχαρούλα Σμυρναίου Σχολή: Φιλοσοφική Τμήμα: Φιλοσοφίας Παιδαγωγικής Ψυχολογίας Μορφές διδασκαλίας Οι Μορφές διδασκαλίας Αναφέρονται στον τρόπο παρουσίασης του μαθήματος,
Διαβάστε περισσότεραΒέλτιστος Έλεγχος Συστημάτων
Βέλτιστος Έλεγχος Συστημάτων Ενότητα 8: Το γραμμικό τετραγωνικό πρόβλημα ρύθμισης (LQ) για συστήματα διακριτού χρόνου Καθηγητής Αντώνιος Αλεξανδρίδης Πολυτεχνική Σχολή Τμήμα Ηλεκτρολόγων Μηχανικών και
Διαβάστε περισσότεραΔιδακτική Πληροφορικής
Ανοικτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Ιονίων Νήσων Διδακτική Πληροφορικής Ενότητα 7: Η πληροφορική και ο προγραμματισμός στο εκπαιδευτικό σύστημα Το περιεχόμενο του μαθήματος διατίθεται με άδεια Creative
Διαβάστε περισσότεραΣυστήματα Επικοινωνιών
Συστήματα Επικοινωνιών Ενότητα 2: Μαθιόπουλος Παναγιώτης Σχολή Θετικών Επιστημών Τμήμα Πληροφορικής και Τηλεπικοινωνιών Περιγραφή ενότητας Τυχαίες Διαδικασίες: Ορισμοί, Μέσες τιμές συνόλου (Ensemble averages),
Διαβάστε περισσότεραΠαιδαγωγικά. Ενότητα Β: Γενικοί σκοποί της διδασκαλίας και διδακτικοί στόχοι. Ζαχαρούλα Σμυρναίου Σχολή Φιλοσοφίας Τμήμα Παιδαγωγικής και Ψυχολογίας
Παιδαγωγικά Ενότητα Β: Γενικοί σκοποί της διδασκαλίας και διδακτικοί στόχοι Ζαχαρούλα Σμυρναίου Σχολή Φιλοσοφίας Τμήμα Παιδαγωγικής και Ψυχολογίας Σκοποί ενότητας Σύγχρονες προσεγγίσεις των γενικών σκοπών
Διαβάστε περισσότεραΧωρικές σχέσεις και Γεωμετρικές Έννοιες στην Προσχολική Εκπαίδευση
Χωρικές σχέσεις και Γεωμετρικές Έννοιες στην Προσχολική Εκπαίδευση Ενότητα 7: Κανονικότητες, συμμετρίες και μετασχηματισμοί στο χώρο Δημήτρης Χασάπης Τμήμα Εκπαίδευσης και Αγωγής στην Προσχολική Ηλικία
Διαβάστε περισσότεραΕπιχειρησιακή Έρευνα
Επιχειρησιακή Έρευνα Ενότητα 10: Ειδικές περιπτώσεις επίλυσης με τη μέθοδο simplex (2o μέρος) Μπεληγιάννης Γρηγόριος Σχολή Οργάνωσης και Διοίκησης Επιχειρήσεων Τμήμα Διοίκησης Επιχειρήσεων Αγροτικών Προϊόντων
Διαβάστε περισσότεραΕισαγωγή στην Διοίκηση Επιχειρήσεων
Εισαγωγή στην Διοίκηση Επιχειρήσεων Ενότητα 9: ΑΣΚΗΣΕΙΣ ΕΠΙΛΟΓΗΣ ΤΟΠΟΥ ΕΓΚΑΤΑΣΤΑΣΗΣ Μαυρίδης Δημήτριος Τμήμα Λογιστικής και Χρηματοοικονομικής Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες
Διαβάστε περισσότεραΜεθοδολογία των Επιστημών του Ανθρώπου: Στατιστική
Μεθοδολογία των Επιστημών του Ανθρώπου: Στατιστική Ενότητα 2: Βασίλης Γιαλαμάς Σχολή Επιστημών της Αγωγής Τμήμα Εκπαίδευσης και Αγωγής στην Προσχολική Ηλικία Περιεχόμενα ενότητας Παρουσιάζονται οι βασικές
Διαβάστε περισσότεραΔιεθνείς Οικονομικές Σχέσεις και Ανάπτυξη
ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ Διεθνείς Οικονομικές Σχέσεις και Ανάπτυξη Ενότητα 8: Η Οικονομική πολιτική της Ευρωπαϊκής Ένωσης Γρηγόριος Ζαρωτιάδης Άδειες Χρήσης Το
Διαβάστε περισσότεραΛογικός Προγραμματισμός Ασκήσεις
Λογικός Προγραμματισμός Ασκήσεις Παναγιώτης Σταματόπουλος Τμήμα Πληροφορικής και Τηλεπικοινωνιών Περιεχόμενα 1. Β Ομάδα Ασκήσεων "Λογικού Προγραμματισμού" Ακαδημαϊκού Έτους 2014-15... 3 1.1 Άσκηση 4...
Διαβάστε περισσότεραΕισαγωγή στους Αλγορίθμους Ενότητα 10η Άσκηση Αλγόριθμος Dijkstra
Εισαγωγή στους Αλγορίθμους Ενότητα 1η Άσκηση Αλγόριθμος Dijkra Διδάσκων Χρήστος Ζαρολιάγκης Καθηγητής Τμήμα Μηχανικών Η/Υ & Πληροφορικής Πανεπιστήμιο Πατρών Email: zaro@ceid.upara.gr Άδειες Χρήσης Το παρόν
Διαβάστε περισσότεραΘεατρικές Εφαρμογές και Διδακτική της Φυσικής Ι
Θεατρικές Εφαρμογές και Διδακτική της Φυσικής Ι Ενότητα 2: Παράλληλες θεωρητικές και εργαστηριακές προσεγγίσεις των τεχνικών και της δομής του κουκλοθέατρου, της κινούμενης εικόνας και ενός θέματος από
Διαβάστε περισσότερα