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

Save this PDF as:
 WORD  PNG  TXT  JPG

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

Download "ΣΤΟΙΧΕΙΑ ΘΕΜΕΛΙΩΣΕΩΝ ΥΠΟΛΟΓΙΣΤΙΚΩΝ ΜΗΧΑΝΩΝ ΓΙΑ ΤΟ ΓΥΜΝΑΣΙΟ ΚΑΙ ΤΟ ΛΥΚΕΙΟ"

Transcript

1 ΜΕΡΟΣ ΤΡΙΤΟ Ένταξη των Τ.Π.Ε. στην διδασκαλία και τη µάθηση I) ΣΤΟΙΧΕΙΑ ΘΕΜΕΛΙΩΣΕΩΝ ΥΠΟΛΟΓΙΣΤΙΚΩΝ ΜΗΧΑΝΩΝ ΓΙΑ ΤΟ ΓΥΜΝΑΣΙΟ ΚΑΙ ΤΟ ΛΥΚΕΙΟ Παύλος Γ. Σπυράκης (google: Paul Spirakis) Ερευνητικό Ακαδηµαϊκό Ινστιτούτο Τεχνολογίας Υπολογιστών (ΕΑΙΤΥ) Περίληψη Η εργασία αυτή προτείνει την εισαγωγή Μαθηµατικών Θεµελιώσεων των Υπολογιστικών Μηχανών στην ευτεροβάθµια Εκπαίδευση. Θεωρούµε απαραίτητη κυρίως την εισαγωγή εννοιών Τυπικών Γλωσσών και πεπερασµένων Αυτοµάτων. Η Θεµελίωση αυτή απουσιάζει (και από τους Εκπαιδευτικούς) αλλά είναι απαραίτητη για την διαχρονική και ισόρροπη ανάπτυξη εννοιών της Νέας Επιστήµης των Υπολογιστών. Λέξεις Κλειδιά Αυτόµατα, τυπικές γλώσσες, συµβολοεπεξεργασία. ΕΙΣΑΓΩΓΗ Η σηµερινή εικόνα της διδακτέας ύλης Πληροφορικής στην ευτεροβάθµια Εκπαίδευση δεν είναι πλήρης. Η διδακτέα ύλη έχει ένα µεγάλο µέρος καθαρά περιγραφικό (της «τρέχουσας» τεχνολογίας και άρα διαρκώς παρωχηµένο) ενώ στην Γ Λυκείου επιχειρείται µια συµπυκνωµένη και ταχεία εισαγωγή σε Αλγοριθµικές Έννοιες, κυρίως µε σκοπό την δυνατότητα γραπτών ασκήσεων «σκέψης» για τις Εισαγωγικές εξετάσεις. Οι αλγοριθµικές έννοιες και πρακτικές είναι βεβαίως (µαζί µε στοιχεία οµών εδοµένων) η πεµπτουσία της Επιστήµης των Υπολογιστών. Όµως, διδάσκονται κυριολεκτικά την τελευταία στιγµή και µόνον για όσους επιλέγουν Τεχνολογική Κατεύθυνση. Σε αντίθεση, έννοιες κλασσικών Μαθηµατικών και Γεωµετρίας διδάσκονται σε όλο το Γυµνάσιο και το Λύκειο. Παραδόξως, ενώ υπάρχει σήµερα µια γενικώς παραδεκτή µαθηµατική θε- µελίωση των Υπολογιστών, τέτοιες έννοιες δεν διδάσκονται. Αυτό οφείλεται σε Ιστορικούς λόγους µέρος των οποίων είναι η έλλειψη της σχετικής Παιδείας στους εκπαιδευτικούς και δή στους Μαθηµατικούς. Λόγω της έλλειψης αυτής, ενώ ο µαθητής µπορεί να αισθανθεί άµεσα την χαρά π.χ. της επίλυσης

2 Οι Τεχνολογίες της Πληροφορίας και των Επικοινωνιών στην Εκπαίδευση 259 µιας Γεωµετρικής Άσκησης, αυτό δεν γίνεται όσον αφορά την Πληροφορική. Η άµεση επίτευξη µίας λύσης (όπως λέγει και ο Polya) όχι µόνον ακονίζει τον νου αλλά δίνει στον λύτη την ικανοποίηση της εύρεσης της λύσης. Η παροχή της δυνατότητας «λύσης ασκήσεων» στον µαθητή είναι συνεπώς βασική διδακτική πρακτική. Υπάρχει στα Μαθηµατικά, αλλά και την Φυσική, ακόµα και στην Χηµεία (όσον αφορά τις λεγόµενες Θετικές Επιστήµες) ενώ απουσιάζει από την Πληροφορική. Αυτή η άγνοια οδηγεί τον µαθητή στην λανθασµένη αντίληψη ότι η Πληροφορική είναι µία παράθεση τεχνικών εννοιών χωρίς επιστηµονική θεµελίωση. Η θέση του άρθρου µας είναι ότι το κενό αυτό µπορεί να καλυφθεί µε Στοιχεία Θεµελιώσεων Υπολογιστικών Μηχανών. ΟΙ ΒΑΣΙΚΕΣ ΠΡΟΫΠΟΘΕΣΕΙΣ Παλαιότερα, η διδακτέα ύλη του Γυµνασίου και Λυκείου είχε στοιχεία ιάκριτων Μαθηµατικών χωρίς να τα κατονοµάζει. Αυτά ήταν (π.χ. η µέθοδος της Μαθηµατικής Επαγωγής, κάποια στοιχεία Συνόλων και η ύλη των ακολουθιών (όχι των ορίων τους όµως). Βεβαίως κάποιες βασικές έννοιες ιάκριτων Μαθηµατικών λείπουν τελείως (π.χ. η έννοια του Γράφου) ενώ και σήµερα εµφανίζονται «ατάκτως τοποθετηµένα» ψήγµατα συνδυαστικής, Πιθανοτήτων, και Θεωρίας αριθµών. Όµως εδώ θα αναφερθώ στην έλλειψη και ανάγκη εισαγωγής εννοιών που δεν είναι τίποτα από τα προαναφερθέντα: απλά, θα αναφερθώ σε έννοιες τυπικών αυτοµάτων και τυπικών γλωσσών που είναι ο κύριος άξονας της Θεµελίωσης της Πληροφορικής. Από τα προαναφερθέντα, απαραίτητες προϋποθέσεις είναι κάποια στοιχεία συνόλων και η µαθηµατική Επαγωγή. Επί της ουσίας προτείνω να διδάσκονται οι µαθητές έννοιες απλών Αφηρηµένων υπολογιστικών µηχανών. Έτσι, όχι µόνο επιτυγχάνεται µια ορθή και διαχρονική Θεµελίωση αλλά εµµέσως (πλην σαφώς) τίθενται και οι πρώτες έννοιες του Προγραµµατισµού. ΑΛΦΑΒΗΤΑ ΚΑΙ ΓΛΩΣΣΕΣ Ένα αλφάβητο, Σ, είναι ένα περασµένο σύνολο συµβόλων. Π.χ. το δυαδικό αλφάβητο {0,1}, το Ελληνικό {α, β, γ,, ω} κλπ. Μία λέξη παραγόµενη από ένα αλφάβητο είναι µια πεπερασµένη ακολουθία συµβόλων του αλφαβήτου. Π.χ. τα 0000, 0111, 111 είναι λέξεις του υαδικού αλφαβήτου. Είναι σηµαντικό να ορίσουµε την «άδεια λέξη» ως την λέξη που δεν έχει κανένα σύµβολο. Ας την συµβολίσουµε µε το γράµµα e. Το µήκος µιας λέξης είναι ο αριθµός των γραµµάτων του αλφαβήτου σε αυτήν. Έτσι, π.χ. το µήκος (e) = 0 ενώ το µήκος (1011) = 4. Βλέπουµε εδώ ότι ένα οποιοδήποτε σύµβολο ενός αλφαβήτου, µπορεί να εµφανισθεί πολλές φορές σε µια λέξη. Εν γένει, αν συµβολίσουµε µε Σ* το σύνολο όλων των λέξεων που µπορούν να παραχθούν από ένα αλφάβητο, τότε µια Γλώσσα L είναι ένα (µη κενό) υποσύνολο του Σ*.

3 260 Πρακτικά Συνεδρίου - ΜΕΡΟΣ ΤΡΙΤΟ Έτσι, π.χ. το σύνολο L= {e,1, 11,111,1111} είναι µια γλώσσα επί του αλφαβήτου Σ = {0,1}. Η συγκόλληση δυο λέξεων x, y επί του Σ είναι απλά η λέξη xy. Η συγκόλληση είναι µια πράξη που κολλά τις δυο λέξεις στη σειρά. Ας την συµβολίσουµε µε το σύµβολο «ο» (ανάλογα µε το +). Έτσι, για το αλφάβητο Σ = {α, β, γ,., ω} έχουµε µαρια ο καλή = µαριακαλη. Γενικά xoy µας δίνει την λέξη xy. Έστω τώρα ότι µε το γράµµα S συµβολίζουµε «κάποια λέξη µιας γλώσσας» και µε το γράµµα Μ την έννοια «µεσαίο µέρος λέξης». Ας θεωρήσουµε τον συµβολισµό S αμw Αυτός είναι ένα γραµµατικός κανόνας όπου η τυχούσα λέξη S είναι ένα «α», ακολουθούµενο από ένα µεσαίο µέρος Μ και τελειώνει σε ένα w. Το βέλος διαβάζεται ως «παράγει» ή «µπορεί να είναι». Έστω τώρα και οι κανόνες Μ e M πμ µαζί µε τον κανόνα S aμw. Είναι προφανές ότι οι παραγόµενες λέξεις από τους 3 κανόνες είναι (1) η λέξη aw (2) η λέξη aπw (3) η λέξη aππw και γενικά η λέξη aππ πw (µε όσα π θέλουµε). Έτσι βλέπουµε ότι ένα σύνολο κανόνων «παράγει» µια γλώσσα! Γενικά, ένα σύνολο κανόνων είναι µια Γραµµατική. (Το παράδειγµα µας είναι µία Γραµµατική χωρίς συµφραζόµενα). Στο παράδειγµα µας τα S, M είναι «γενικά σύµβολα» που δεν ανήκουν στο Ελληνικό Αλφάβητο. Αντιθέτως, όλες οι παραγόµενες λέξεις της παραπάνω γραµµατικής ανήκουν στο Ελληνικό Αλφάβητο. Σε πόσα «στοιχειώδη βήµατα» µπορούµε να φτιάξουµε την λέξη aππw; Βήµα 1: S amw Βήµα 2: λόγω του Μ πμ άρα S aπμw ( = παράγει σε πολλά βήµατα) Βήµα 3: Λόγω του Μ πμ Έχω S aππμw Βήµα 4: Λόγω του Μ e Έχω S aππw.

4 Οι Τεχνολογίες της Πληροφορίας και των Επικοινωνιών στην Εκπαίδευση 261 Είναι φανερό ότι η γραµµατική µιας Γ = {S amw, M e, M πμ} είναι µια «µηχανή» παραγωγής λέξεων σε πεπερασµένο αριθµό βηµάτων. Είναι επίσης φανερό ότι η λέξη apw δεν παράγεται από την «µηχανή» Γ. Οι έννοιες της «παραγωγής σε 1 βήµα» και σε πολλά βήµατα εισάγουν τον µαθητή στην έννοια του «χρόνου υπολογισµού». Είναι σήµερα γνωστό ότι τέτοιες Μηχανές «Συµβολοµετάφρασης» είναι ισοδύναµες µε οτιδήποτε µπορούµε να προγραµµατίσουµε σε ένα υπολογιστή! (Αυτό ισχύει εφόσον επιτραπούν γραµµατικές µε συµφραζόµενα). Επίσης, η επιλογή ενός από τους κανόνες Μ e, Μ πμ εισάγει την έννοια του «µη ντετερµινισµού». Ο κανόνας Μ e σταµατά την µηχανή, ενώ ο κανόνας ΜàπΜ συνεχίζει την παραγωγή διότι αφήνει το άγνωστο σύµβολο Μ µέσα. ΑΠΛΑ ΑΥΤΟΜΑΤΑ Ας θεωρήσουµε µιας αφηρηµένη Μηχανή που αποτελείται από 3 µέρη: Τα µέρη αυτά είναι 1) ένα κουτί µε «καταστάσεις» q o, q 2 (και ένα δείκτη της τρέχουσας κατάστασης) 2) Μια κεφαλή ανάγνωσης και 3) Μια ταινία εισόδου µε κουτάκια στο καθένα από τα οποία µπορούµε να έχουµε ένα γράµµα ενός αλφαβήτου Σ. Αρχικά, η κεφαλή ανάγνωσης δείχνει το πρώτο αριστερά γράµµα και η αρχική κατάσταση είναι πάντα η ίδια π.χ. q o. Το αυτόµατο, σε «ένα βήµα» (α) διαβάζει το γράµµα που δείχνει η κεφαλή (β) πηγαίνει σε µια νέα κατάσταση που προσδιορίζεται από την τρέχουσα κατάσταση και το αναγνωσθέν γράµµα, και (γ) Η κεφαλή κινείται µια θέση δεξιά. Έστω δ(q, σ) η νέα κατάσταση της Μηχανής όταν η µηχανή, όντας στην κατάσταση q διαβάζει το γράµµα s. Είναι φανερό ότι η «λογική» της µηχανής είναι ένας πίνακας που για κάθε q, σ µας δίνει την νέα κατάσταση δ(q,σ). Κάποτε, η κεφαλή του αυτοµάτου θα φθάσει στο τέλος της λέξης που είναι στην «ταινία» εισόδου. Τότε, το αυτόµατο θα βρεθεί σε µίαν «τελική» κατάσταση q. Ορίζουµε ότι το αυτόµατο «αποδέχεται» την λέξη εισόδου (την αναγνωρίζει) εάν η τελική του κατάσταση ανήκει σε ένα σύνολο «επιθυµητών» καταστάσεων F. Αλλιώς το αυτόµατο «απορρίπτει» την λέξη.

5 262 Πρακτικά Συνεδρίου - ΜΕΡΟΣ ΤΡΙΤΟ Το σύνολο των λέξεων που ένα αυτόµατο Α αποδέχεται, είναι µια γλώσσα! Ορίζουµε την γλώσσα αυτή ως την γλώσσα που το αυτόµατο Α αναγνωρίζει. Για να ορίσουµε ένα τέτοιο αυτόµατο αρκούν 5 πράγµατα: (1) το σύνολο καταστάσεων Κ {q o, } (2) Η αρχική κατάσταση s π.χ. s=q o (3) Το σύνολο των επιθυµητών καταστάσεων F K (4) Το αλφάβητο Σ για τις λέξεις της εισόδου (5) Τέλος, ο πίνακας «µετάβασης» που για κάθε κατάσταση q και σύµβολο σ του Σ µας δίνει την «επόµενη» κατάσταση δ(q, σ) Π.χ. το αυτόµατο Α Με Κ = {q o } Σ = {α,β} s = q o F = {q o } Και τον πίνακα q σ δ(q, σ) q o a q o q o β q 1 q 1 a q 1 q 1 β q o Αυτό το αυτόµατο ξαναγυρνά στην «επιθυµητή» κατάσταση q o µόνο αν η λέξη εισόδου περιέχει άρτιο αριθµό από β. (γιατί;) Η ΠΡΟΤΑΣΗ ΤΟΥ ΑΡΘΡΟΥ Προτείνουµε την εισαγωγή εννοιών τυπικών γλωσσών, γραµµατικών και αυτο- µάτων στο Γυµνάσιο και το Λύκειο. Ο µαθητής θα µπορεί να «κατασκευάσει» τις δικές του γραµµατικές και τα δικά του αυτόµατα, και να συλλογισθεί σε απλές έννοιες υπολογισµού βήµα προς βήµα. Η απαραίτητη προς τούτο διδακτέα ύλη απαιτεί µιας προσεκτική επιλογή «προς τα κάτω» εννοιών Θεµελιώσεων των Υπολογιστών όπως π.χ. από το κλασσικό [H.R. Lewia, C.H. Papadimitriou]. ΑΝΑΦΟΡΕΣ «Elements of the Theory of Computation» H.R. Lewis, C.H. Papadimitriou, Prentice Hall. «Πώς να το λύσω» G. Pοlya (µετάφραση Χαρ. Σιαδήµα, Υπουργείο Παιδείας, Αθήνα 1964, Υπηρεσία Μελετών και Συντονισµού).

Γραµµατικές για Κανονικές Γλώσσες

Γραµµατικές για Κανονικές Γλώσσες Κανονικές Γραµµατικές Γραµµατικές για Κανονικές Γλώσσες Ταξινόµηση Γραµµατικών εξιά Παραγωγικές Γραµµατικές εξιά Παραγωγικές Γραµµατικές και NFA Αριστερά Παραγωγικές Γραµµατικές Κανονικές Γραµµατικές Γραµµατικές

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

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

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

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

Γενικό πλάνο. Μαθηµατικά για Πληροφορική. Παράδειγµα αναδροµικού ορισµού. οµική επαγωγή ΠΑΡΑ ΕΙΓΜΑ. 3ο Μάθηµα

Γενικό πλάνο. Μαθηµατικά για Πληροφορική. Παράδειγµα αναδροµικού ορισµού. οµική επαγωγή ΠΑΡΑ ΕΙΓΜΑ. 3ο Μάθηµα Γενικό πλάνο Μαθηµατικά για Πληροφορική 3ο Μάθηµα Ηλίας Κουτσουπιάς, Γιάννης Εµίρης Τµήµα Πληροφορικής και Τηλεπικοινωνιών Πανεπιστήµιο Αθηνών 14/10/2008 1 Παράδειγµα δοµικής επαγωγής 2 Ορισµός δοµικής

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

Στοιχεία Θεωρίας Υπολογισµού (1): Τυπικές Γλώσσες, Γραµµατικές

Στοιχεία Θεωρίας Υπολογισµού (1): Τυπικές Γλώσσες, Γραµµατικές Στοιχεία Θεωρίας Υπολογισµού (1): Τυπικές Γλώσσες, Γραµµατικές Ορέστης Τελέλης telelis@unipi.gr Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς Ο. Τελέλης Πανεπιστήµιο Πειραιώς Θεωρία Υπολογισµού 1 /

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

Μεταγλωττιστές. Ενότητα 2: Τυπικές γλώσσες (Μέρος 1 ο ) Αγγελική Σγώρα Τμήμα Μηχανικών Πληροφορικής ΤΕ

Μεταγλωττιστές. Ενότητα 2: Τυπικές γλώσσες (Μέρος 1 ο ) Αγγελική Σγώρα Τμήμα Μηχανικών Πληροφορικής ΤΕ Μεταγλωττιστές Ενότητα 2: Τυπικές γλώσσες (Μέρος 1 ο ) Αγγελική Σγώρα Τμήμα Μηχανικών Πληροφορικής ΤΕ Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό

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

Μεταγλωττιστές. Γιώργος Δημητρίου. Μάθημα 2 ο. Πανεπιστήμιο Θεσσαλίας - Τμήμα Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών

Μεταγλωττιστές. Γιώργος Δημητρίου. Μάθημα 2 ο. Πανεπιστήμιο Θεσσαλίας - Τμήμα Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών Γιώργος Δημητρίου Μάθημα 2 ο Αλφάβητα και Γλώσσες Αλφάβητο: Ένα μη κενό και πεπερασμένο σύνολο συμβόλων Γλώσσα: Ένα οποιοδήποτε υποσύνολο των συμβολοσειρών ενός αλφαβήτου (οι προτάσεις της γλώσσας, πχ.

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

Θεωρία Υπολογισμού και Πολυπλοκότητα

Θεωρία Υπολογισμού και Πολυπλοκότητα Θεωρία Υπολογισμού και Πολυπλοκότητα Κεφάλαιο 10. Μηχανές Turing 20,23 Μαρτίου 2007 Δρ. Παπαδοπούλου Βίκη 1 Μηχανές Turing: Ένα Γενικό Μοντέλο Υπολογισμού Ποια μοντέλα υπολογισμού μπορούν να δεχθούν γλώσσες

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

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

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

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

3 Αναδροµή και Επαγωγή

3 Αναδροµή και Επαγωγή 3 Αναδροµή και Επαγωγή Η ιδέα της µαθηµατικής επαγωγής µπορεί να επεκταθεί και σε άλλες δοµές εκτός από το σύνολο των ϕυσικών N. Η ορθότητα της µαθηµατικής επαγωγής ϐασίζεται όπως ϑα δούµε λίγο αργότερα

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

Μεταγλωττιστές. Ενότητα 4: Τυπικές γλώσσες (Μέρος 3 ο ) Αγγελική Σγώρα Τμήμα Μηχανικών Πληροφορικής ΤΕ

Μεταγλωττιστές. Ενότητα 4: Τυπικές γλώσσες (Μέρος 3 ο ) Αγγελική Σγώρα Τμήμα Μηχανικών Πληροφορικής ΤΕ Μεταγλωττιστές Ενότητα 4: Τυπικές γλώσσες (Μέρος 3 ο ) Αγγελική Σγώρα Τμήμα Μηχανικών Πληροφορικής ΤΕ Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό

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

ΘΕΜΑ: Οδηγίες για τη διδασκαλία των Μαθηµατικών Γ/σίου και Γεν. Λυκείου.

ΘΕΜΑ: Οδηγίες για τη διδασκαλία των Μαθηµατικών Γ/σίου και Γεν. Λυκείου. Να διατηρηθεί µέχρι... ΕΛΛΗΝΙΚΗ ΗΜΟΚΡΑΤΙΑ ENIAIOΣ ΙΟΙΚΗΤΙΚΟΣ ΤΟΜΕΑΣ Π/ΘΜΙΑΣ & /ΘΜΙΑΣ ΕΚΠ/ΣΗΣ /ΝΣΗ ΣΠΟΥ ΩΝ /ΘΜΙΑΣ ΕΚΠ/ΣΗΣ ΤΜΗΜΑ Α' Αν. Παπανδρέου 37, 15180 Μαρούσι Πληροφορίες : Αν. Πασχαλίδου Τηλέφωνο

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

4.4 Ερωτήσεις διάταξης. Στις ερωτήσεις διάταξης δίνονται:

4.4 Ερωτήσεις διάταξης. Στις ερωτήσεις διάταξης δίνονται: 4.4 Ερωτήσεις διάταξης Στις ερωτήσεις διάταξης δίνονται:! µία σειρά από διάφορα στοιχεία και! µία πρόταση / κανόνας ή οδηγία και ζητείται να διαταχθούν τα στοιχεία µε βάση την πρόταση αυτή. Οι ερωτήσεις

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

Κανονικές Γλώσσες. Κανονικές Γλώσσες. Κανονικές Γλώσσες και Αυτόματα. Κανονικές Γλώσσες και Αυτόματα

Κανονικές Γλώσσες. Κανονικές Γλώσσες. Κανονικές Γλώσσες και Αυτόματα. Κανονικές Γλώσσες και Αυτόματα Κανονικές Γλώσσες Κανονικές Γλώσσες Διδάσκοντες: Φ. Αφράτη, Δ. Φωτάκης Επιμέλεια διαφανειών: Δ. Φωτάκης Κανονική γλώσσα αν παράγεται από κανονική γραμματική. Παραγωγές P (V Σ) Σ * ((V Σ) ε) Παραγωγές μορφής:

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

Θεωρία Υπολογισμού και Πολυπλοκότητα Ασυμφραστικές Γλώσσες (2)

Θεωρία Υπολογισμού και Πολυπλοκότητα Ασυμφραστικές Γλώσσες (2) Θεωρία Υπολογισμού και Πολυπλοκότητα Ασυμφραστικές Γλώσσες (2) Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Αυτόματα Στοίβας (2.2) Τυπικός Ορισμός Παραδείγματα Ισοδυναμία με Ασυμφραστικές

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

Εισαγωγικά. 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

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

Λογισμικό διδασκαλίας των μαθηματικών της Γ Τάξης Γυμνασίου

Λογισμικό διδασκαλίας των μαθηματικών της Γ Τάξης Γυμνασίου Λογισμικό διδασκαλίας των μαθηματικών της Γ Τάξης Γυμνασίου Δρ. Βασίλειος Σάλτας 1, Αλέξης Ηλιάδης 2, Ιωάννης Μουστακέας 3 1 Διδάκτωρ Διδακτικής Μαθηματικών, Επιστημονικός Συνεργάτης ΑΣΠΑΙΤΕ Σαπών coin_kav@otenet.gr

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

CSC 314: Switching Theory. Chapter 3: Turing Machines

CSC 314: Switching Theory. Chapter 3: Turing Machines CSC 314: Switching Theory Chapter 3: Turing Machines 21 November 2008 1 Dr. Vicky Papadopoulou 1 Μηχανές Turing: Ένα Γενικό Μοντέλο Υπολογισμού Ποια μοντέλα υπολογισμού μπορούν να δεχθούν γλώσσες της μορφής

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

Η δυαδική σχέση M ( «παράγει σε ένα βήμα» ) ορίζεται ως εξής: (q, w) M (q, w ), αν και μόνο αν w = σw, για κάποιο σ Σ

Η δυαδική σχέση M ( «παράγει σε ένα βήμα» ) ορίζεται ως εξής: (q, w) M (q, w ), αν και μόνο αν w = σw, για κάποιο σ Σ Πεπερασμένα Αυτόματα (ΠΑ) Τα πεπερασμένα αυτόματα είναι οι απλούστερες «υπολογιστικές μηχανές». Δεν έχουν μνήμη, μόνο μία εσωτερική μονάδα με πεπερασμένο αριθμό καταστάσεων. Διαβάζουν τη συμβολοσειρά εισόδου

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

ΚΕΦΑΛΑΙΟ 3: Συνθήκες Αλυσίδων

ΚΕΦΑΛΑΙΟ 3: Συνθήκες Αλυσίδων ΚΕΦΑΛΑΙΟ 3: Συνθήκες Αλυσίδων Μελετάµε εδώ τη συνθήκη της αύξουσας αλυσίδας υποπροτύπων και τη συνθήκη της φθίνουσας αλυσίδας υποπροτύπων. Αυτές συνδέονται µεταξύ τους µε την έννοια της συνθετικής σειράς

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

Κεφάλαιο 9 ο Κ 5, 4 4, 5 0, 0 0,0 5, 4 4, 5. Όπως βλέπουµε το παίγνιο δεν έχει καµιά ισορροπία κατά Nash σε αµιγείς στρατηγικές διότι: (ΙΙ) Α Κ

Κεφάλαιο 9 ο Κ 5, 4 4, 5 0, 0 0,0 5, 4 4, 5. Όπως βλέπουµε το παίγνιο δεν έχει καµιά ισορροπία κατά Nash σε αµιγείς στρατηγικές διότι: (ΙΙ) Α Κ Κεφάλαιο ο Μεικτές Στρατηγικές Τώρα θα δούµε ένα παράδειγµα στο οποίο κάθε παίχτης έχει τρεις στρατηγικές. Αυτό θα µπορούσε να είναι η µορφή που παίρνει κάποιος µετά που έχει απαλείψει όλες τις αυστηρά

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

Σειρά Προβλημάτων 4 Λύσεις

Σειρά Προβλημάτων 4 Λύσεις Άσκηση 1 Σειρά Προβλημάτων 4 Λύσεις (α) Να διατυπώσετε την τυπική περιγραφή μιας μηχανής Turing που να διαγιγνώσκει τη γλώσσα { a 2n b n c 3n n 2 } : H ζητούμενη μηχανή Turing μπορεί να διατυπωθεί ως την

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

ΔΙΔΑΚΤΙΚΗ ΤΗΣ ΑΓΓΛΙΚΗΣ ΓΛΩΣΣΑΣ ΚΑΙ ΟΡΟΛΟΓΙΑ

ΔΙΔΑΚΤΙΚΗ ΤΗΣ ΑΓΓΛΙΚΗΣ ΓΛΩΣΣΑΣ ΚΑΙ ΟΡΟΛΟΓΙΑ ΔΙΔΑΚΤΙΚΗ ΤΗΣ ΑΓΓΛΙΚΗΣ ΓΛΩΣΣΑΣ ΚΑΙ ΟΡΟΛΟΓΙΑ Τσάνταλη Καλλιόπη, calliopetsantali@yahoo.gr Νικολιδάκης Συμεών, simosnikoli@yahoo.gr o oo Εισαγωγή Στην παρούσα εργασία επιχειρείται μια προσέγγιση της διδακτικής

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

Σειρά Προβλημάτων 1 Λύσεις

Σειρά Προβλημάτων 1 Λύσεις ΕΠΛ2: Θεωρία Υπολογισμού και Πολυπλοκότητα Σειρά Προβλημάτων Λύσεις Άσκηση Έστω αλφάβητο Σ και γλώσσες Λ, Λ 2, Λ επί του αλφάβητου αυτού. Να διερευνήσετε κατά πόσο ισχύει κάθε μια από τις πιο κάτω σχέσεις.

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

Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύ

Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύ Θεωρία Υπολογισμού Ενότητα 26: Καθολική Μηχανή Turing Τμήμα Πληροφορικής Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που

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

771 Η - Θεωρία Υπολογισµών και Αλγορίθµων

771 Η - Θεωρία Υπολογισµών και Αλγορίθµων 771 Η - Θεωρία Υπολογισµών και Αλγορίθµων Σηµειώσεις Μέρος 2 ο ιδάσκων: Το παρόν αποτελεί σηµειώσεις που αντιστοιχούν σε µέρος των διαλέξεων για το µάθηµα 771 Η - Θεωρία Υπολογισµών και Αλγορίθµων του

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

Εξορθολογισμός στα θετικά μαθήματα:

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

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

Αυτόματα. Παράδειγμα: πωλητής καφέ (iii) Παράδειγμα: πωλητής καφέ (iv) Εισαγωγή στην Επιστήμη των Υπολογιστών 6

Αυτόματα. Παράδειγμα: πωλητής καφέ (iii) Παράδειγμα: πωλητής καφέ (iv) Εισαγωγή στην Επιστήμη των Υπολογιστών 6 Εισαγωγή στην Επιστήμη των Υπολογιστών 3η ενότητα: Αυτόματα και Τυπικές Γραμματικές http://www.corelab.ece.ntua.gr/courses/ Αυτόματα Τρόπος κωδικοποίησης αλγορίθμων. Τρόπος περιγραφής συστημάτων πεπερασμένων

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

Αυτόματα. Παράδειγμα: πωλητής καφέ (iii) Παράδειγμα: πωλητής καφέ (iv) Εισαγωγή στην Επιστήμη των Υπολογιστών. Προδιαγραφές

Αυτόματα. Παράδειγμα: πωλητής καφέ (iii) Παράδειγμα: πωλητής καφέ (iv) Εισαγωγή στην Επιστήμη των Υπολογιστών. Προδιαγραφές Εισαγωγή στην Επιστήμη των Υπολογιστών 4ο εξάμηνοσ.h.m.μ.y. & Σ.Ε.Μ.Φ.Ε. http://www.corelab.ece.ntua.gr/courses/ 3η ενότητα: Αυτόματα και Τυπικές Γραμματικές Στάθης Ζάχος Συνεργασία: Κωστής Σαγώνας Επιμέλεια:

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

Θεωρία Υπολογισμού. Ενότητα 7 : Ντετερμινιστικά Πεπερασμένα Αυτόματα, Κανονικές Πράξεις. Αλέξανδρος Τζάλλας

Θεωρία Υπολογισμού. Ενότητα 7 : Ντετερμινιστικά Πεπερασμένα Αυτόματα, Κανονικές Πράξεις. Αλέξανδρος Τζάλλας Ελληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Ηπείρου Θεωρία Υπολογισμού Ενότητα 7 : Ντετερμινιστικά Πεπερασμένα Αυτόματα, Κανονικές Πράξεις Αλέξανδρος Τζάλλας 2 Ανοιχτά Ακαδημαϊκά Τμήμα Μηχανικών

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

Η γεωµετρική εποπτεία στην παρουσίαση της απόλυτης τιµής

Η γεωµετρική εποπτεία στην παρουσίαση της απόλυτης τιµής Η γεωµετρική εποπτεία στην παρουσίαση της απόλυτης τιµής Η µέθοδος άξονα-κύκλου: µια διδακτική πρόταση για την επίλυση εξισώσεων και ανισώσεων µε απόλυτες τιµές στην Άλγεβρα της Α Λυκείου ηµήτριος Ντρίζος

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

ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 3: Ντετερμινιστικά Πεπερασμένα Αυτόματα (DFA)

ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 3: Ντετερμινιστικά Πεπερασμένα Αυτόματα (DFA) ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας Διάλεξη 3: Ντετερμινιστικά Πεπερασμένα Αυτόματα (DFA) Τι θα κάνουμε σήμερα Εισαγωγή στα Ντετερμινιστικά Πεπερασμένα Αυτόματα 14-Sep-11 Τυπικός Ορισμός Ντετερμινιστικών

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

HY118- ιακριτά Μαθηµατικά. Παράδειγµα. Από τα συµπεράσµατα στις υποθέσεις Αποδείξεις - Θεωρία συνόλων. Από τις υποθέσεις στα συµπεράσµατα...

HY118- ιακριτά Μαθηµατικά. Παράδειγµα. Από τα συµπεράσµατα στις υποθέσεις Αποδείξεις - Θεωρία συνόλων. Από τις υποθέσεις στα συµπεράσµατα... HY118- ιακριτά Μαθηµατικά Παρασκευή, 11/03/2016 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 3/15/2016

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

Αλγόριθμοι για αυτόματα

Αλγόριθμοι για αυτόματα Κεφάλαιο 8 Αλγόριθμοι για αυτόματα Κύρια βιβλιογραφική αναφορά για αυτό το Κεφάλαιο είναι η Hopcroft, Motwani, and Ullman 2007. 8.1 Πότε ένα DFA αναγνωρίζει κενή ή άπειρη γλώσσα Δοθέντος ενός DFA M καλούμαστε

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

Σύµφωνα µε την Υ.Α /Γ2/ Εξισώσεις 2 ου Βαθµού. 3.2 Η Εξίσωση x = α. Κεφ.4 ο : Ανισώσεις 4.2 Ανισώσεις 2 ου Βαθµού

Σύµφωνα µε την Υ.Α /Γ2/ Εξισώσεις 2 ου Βαθµού. 3.2 Η Εξίσωση x = α. Κεφ.4 ο : Ανισώσεις 4.2 Ανισώσεις 2 ου Βαθµού Σύµφωνα µε την Υ.Α. 139606/Γ2/01-10-2013 Άλγεβρα Α ΤΑΞΗ ΕΣΠΕΡΙΝΟΥ ΓΕΛ Ι. ιδακτέα ύλη Από το βιβλίο «Άλγεβρα και Στοιχεία Πιθανοτήτων Α Γενικού Λυκείου» (έκδοση 2013) Εισαγωγικό κεφάλαιο E.2. Σύνολα Κεφ.1

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

σχετικά µε τις «Αναθέσεις µαθηµάτων Γυµνασίου, Γενικού Λυκείου, ΕΠΑ.Λ. και ΕΠΑ.Σ.»

σχετικά µε τις «Αναθέσεις µαθηµάτων Γυµνασίου, Γενικού Λυκείου, ΕΠΑ.Λ. και ΕΠΑ.Σ.» Κοινό Υπόµνηµα ΠΕΚΑΠ, +++? σχετικά µε τις «Αναθέσεις µαθηµάτων Γυµνασίου, Γενικού Λυκείου, ΕΠΑ.Λ. και ΕΠΑ.Σ.» Αξιότιµε Κύριε Υφυπουργέ Σε συνέχεια των εγγράφων που σας έχουµε αποστείλει σε σχέση µε τις

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

Είδαμε τη βαθμολογία των μαθητών στα Μαθηματικά της προηγούμενης σχολικής χρονιάς. Ας δούμε τώρα πώς οι ίδιοι οι μαθητές αντιμετωπίζουν τα Μαθηματικά.

Είδαμε τη βαθμολογία των μαθητών στα Μαθηματικά της προηγούμενης σχολικής χρονιάς. Ας δούμε τώρα πώς οι ίδιοι οι μαθητές αντιμετωπίζουν τα Μαθηματικά. Γ. Οι μαθητές και τα Μαθηματικά. Είδαμε τη βαθμολογία των μαθητών στα Μαθηματικά της προηγούμενης σχολικής χρονιάς. Ας δούμε τώρα πώς οι ίδιοι οι μαθητές αντιμετωπίζουν τα Μαθηματικά. ΠΙΝΑΚΑΣ 55 Στάση

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

ΘΕΜΑ Α ΑΡΧΗ 1ΗΣ ΣΕΛΙΔΑΣ

ΘΕΜΑ Α ΑΡΧΗ 1ΗΣ ΣΕΛΙΔΑΣ 1ΗΣ ΣΕΛΙΔΑΣ ΘΕΜΑ Α ΑΝΑΚΕΦΑΛΑΙΩΤΙΚΟ ΔΙΑΓΩΝΙΣΜΑ Γ' ΤΑΞΗΣ ΗΜΕΡΗΣΙΟΥ ΓΕΝΙΚΟΥ ΛΥΚΕΙΟΥ ΠΕΜΠΤΗ 26 ΑΠΡΙΛΙΟΥ 2012 ΕΞΕΤΑΖΟΜΕΝΟ ΜΑΘΗΜΑ: ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ ΤΕΧΝΟΛΟΓΙΚΗΣ ΚΑΤΕΥΘΥΝΣΗΣ (ΚΥΚΛΟΥ

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

όπου D(f ) = (, 0) (0, + ) = R {0}. Είναι Σχήµα 10: Η γραφική παράσταση της συνάρτησης f (x) = 1/x.

όπου D(f ) = (, 0) (0, + ) = R {0}. Είναι Σχήµα 10: Η γραφική παράσταση της συνάρτησης f (x) = 1/x. 3 Ορια συναρτήσεων 3. Εισαγωγικές έννοιες. Ας ϑεωρήσουµε την συνάρτηση f () = όπου D(f ) = (, 0) (0, + ) = R {0}. Είναι Σχήµα 0: Η γραφική παράσταση της συνάρτησης f () = /. ϕυσικό να αναζητήσουµε την

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

Κωστόπουλος ηµήτριος Μ.Π.Λ.Α. TAPE COMPRESSION (θεώρηµα 2.3 Παπαδηµητρίου)

Κωστόπουλος ηµήτριος Μ.Π.Λ.Α. TAPE COMPRESSION (θεώρηµα 2.3 Παπαδηµητρίου) Κωστόπουλος ηµήτριος Μ.Π.Λ.Α. TAPE COMPRESSION (θεώρηµα 2.3 Παπαδηµητρίου) Εισαγωγή. Αυτό το φυλλάδιο έχει στόχο να δώσει ένα ανάλογο αποτέλεσµα µε αυτό του linear speedup θεωρήµατος, εάν έχουµε µία µηχανή

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

Η ΓΕΩΜΕΤΡΙΑ ΣΤΗΝ ΠΡΩΤΟΒΑΘΜΙΑ ΚΑΙ ΣΤΗΝ ΔΕΥΤΕΡΟΒΑΘΜΙΑ ΕΚΠΑΙΔΕΥΣΗ ΥΠΑΡΧΕΙ ΣΥΝΕΧΕΙΑ; Εμμ. Νικολουδάκης Σχ. Σύμβουλος Μαθηματικών

Η ΓΕΩΜΕΤΡΙΑ ΣΤΗΝ ΠΡΩΤΟΒΑΘΜΙΑ ΚΑΙ ΣΤΗΝ ΔΕΥΤΕΡΟΒΑΘΜΙΑ ΕΚΠΑΙΔΕΥΣΗ ΥΠΑΡΧΕΙ ΣΥΝΕΧΕΙΑ; Εμμ. Νικολουδάκης Σχ. Σύμβουλος Μαθηματικών Η ΓΕΩΜΕΤΡΙΑ ΣΤΗΝ ΠΡΩΤΟΒΑΘΜΙΑ ΚΑΙ ΣΤΗΝ ΔΕΥΤΕΡΟΒΑΘΜΙΑ ΕΚΠΑΙΔΕΥΣΗ ΥΠΑΡΧΕΙ ΣΥΝΕΧΕΙΑ; Εμμ. Νικολουδάκης Σχ. Σύμβουλος Μαθηματικών Η Ευκλείδεια Γεωμετρία σε σχέση με Θεωρία van Hiele Οι τρεις κόσμοι του Tall

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

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

ΘΕΩΡΙΑ ΥΠΟΛΟΓΙΣΜΩΝ ΚΑΙ ΑΥΤΟΜΑΤΩΝ ΘΕΩΡΙΑ ΥΠΟΛΟΓΙΣΜΩΝ ΚΑΙ ΑΥΤΟΜΑΤΩΝ Ενότητα 1: Εισαγωγή Ρεφανίδης Ιωάννης Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται

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

Πολύγωνο αθροιστικών σχετικών συχνοτήτων και διάµεσος µιας τυχαίας µεταβλητής ρ. Παναγιώτης Λ. Θεοδωρόπουλος πρώην Σχολικός Σύµβουλος ΠΕ03 e-mail@p-theodoropoulos.gr Πρόλογος Στην εργασία αυτή αναλύονται

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

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

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

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

Ερωτηµατολόγιο PMP , +

Ερωτηµατολόγιο PMP , + Ερωτηµατολόγιο PMP Διαβάστε προσεκτικά κάθε ένα από τα παρακάτω προβλήµατα. Για κάθε πρόβληµα υπάρχουν τέσσερις εναλλακτικές απαντήσεις από τις οποίες µόνο µία είναι η σωστή. Παρακαλώ επιλέξτε τη σωστή

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

ΕΛΛΗΝΙΚΟ ΑΝΟΙΧΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ

ΕΛΛΗΝΙΚΟ ΑΝΟΙΧΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ιακριτά Μαθηµατικά και Μαθηµατική Λογική ΠΛΗ20 Ε ρ γ α σ ί α 1η Συνδυαστική-Σχέσεις-Συναρτήσεις Σκοπός της παρούσας εργασίας είναι η περαιτέρω εξοικείωση µε τις σηµαντικότερες µεθόδους και ιδέες της Συνδυαστικής

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

Σε αυτό το µάθηµα. Εισαγωγή στις Μηχανές Turing. Μηχανή Turing (Turing Machine - TM) Μηχανές Turing. Παραδείγµατα Μηχανών Turing

Σε αυτό το µάθηµα. Εισαγωγή στις Μηχανές Turing. Μηχανή Turing (Turing Machine - TM) Μηχανές Turing. Παραδείγµατα Μηχανών Turing Σε αυτό το µάθηµα Εισαγωγή στις Μηχανές Turing Ορέστης Τελέλης telelis@unipi.gr Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς Παραδείγµατα Μηχανών Turing Παραλλαγές: Πολυταινιακές, Μη ντετερµινιστικές

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

Τοµέας Εϖιµόρφωσης & Κατάρτισης

Τοµέας Εϖιµόρφωσης & Κατάρτισης ΕΠΕΑΕΚ ΙΙ, Άξονας Προτεραιότητας 2, Μέτρο 2.1 ΕΠΙΜΟΡΦΩΣΗ ΕΚΠΑΙ ΕΥΤΙΚΩΝ ΣΤΗΝ ΧΡΗΣΗ ΚΑΙ ΑΞΙΟΠΟΙΗΣΗ ΤΩΝ ΤΠΕ ΣΤΗΝ ΕΚΠΑΙ ΕΥΤΙΚΗ Ι ΑΚΤΙΚΗ ΙΑ ΙΚΑΣΙΑ Εγχειρίδιο Χρήσης Πληροφοριακού Συστήµατος ιαχείρισης (MIS)

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

{3k + a : k N a = 1,2}.

{3k + a : k N a = 1,2}. P P 1èt s t rð P Ôst ì t è t Ð Ð t èr è ❼ ❼s t t s s Ð s Ð sô t r s Ð t s Ô ❼r rì ì èq Ð ì r t t èr Ôt r t r trðt rìq r r❼2t r rqðs 1èt s t r t ì s s ❼ ì s èq Ð r❼2t st r t ì st Ôt r ì st trðt ì P t r

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

αντισταθµίζονται µε τα πλεονεκτήµατα του άλλου, τρόπου βαθµολόγησης των γραπτών και της ερµηνείας των σχετικών αποτελεσµάτων, και

αντισταθµίζονται µε τα πλεονεκτήµατα του άλλου, τρόπου βαθµολόγησης των γραπτών και της ερµηνείας των σχετικών αποτελεσµάτων, και 1. ΕΙΣΑΓΩΓΗ Όλα τα είδη ερωτήσεων που αναφέρονται στο «Γενικό Οδηγό για την Αξιολόγηση των µαθητών στην Α Λυκείου» µπορούν να χρησιµοποιηθούν στα Μαθηµατικά, τόσο στην προφορική διδασκαλία/εξέταση, όσο

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

2 o Καλοκαιρινό σχολείο Μαθηµατικών Νάουσα 2008

2 o Καλοκαιρινό σχολείο Μαθηµατικών Νάουσα 2008 2 o Καλοκαιρινό σχολείο Μαθηµατικών Νάουσα 2008 Μικρό Θεώρηµα του Fermat, η συνάρτηση του Euler και Μαθηµατικοί ιαγωνισµοί Αλέξανδρος Γ. Συγκελάκης ags@math.uoc.gr Αύγουστος 2008 Αλεξανδρος Γ. Συγκελακης

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

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

ΜΙΑ ΠΡΟΣΠΑΘΕΙΑ ΑΠΛΟΠΟΙΗΣΗΣ ΤΗΣ ΔΙΔΑΣΚΑΛΙΑΣ ΤΟΥ ΜΑΘΗΜΑΤΟΣ ΤΗΣ ΧΗΜΕΙΑΣ ΜΕ ΣΥΜΜΑΧΟ ΤΗΝ ΠΛΗΡΟΦΟΡΙΚΗ 626 2 Ο ΣΥΝΕΔΡΙΟ ΣΤΗ ΣΥΡΟ ΤΠΕ ΣΤΗΝ ΕΚΠΑΙΔΕΥΣΗ ΜΙΑ ΠΡΟΣΠΑΘΕΙΑ ΑΠΛΟΠΟΙΗΣΗΣ ΤΗΣ ΔΙΔΑΣΚΑΛΙΑΣ ΤΟΥ ΜΑΘΗΜΑΤΟΣ ΤΗΣ ΧΗΜΕΙΑΣ ΜΕ ΣΥΜΜΑΧΟ ΤΗΝ ΠΛΗΡΟΦΟΡΙΚΗ Ξεντές Γεώργιος Καθηγητής δευτεροβάθμιας εκπαίδευσης ΠΕ04 -

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

ό ή ύ ύ ύ ώ ά ς ύ ς ής ί ώ,... Τοµέας Επιµόρφωσης & Κατάρτισης

ό ή ύ ύ ύ ώ ά ς ύ ς ής ί ώ,... Τοµέας Επιµόρφωσης & Κατάρτισης ό ή ύ ύ ύ ώ ά ς ύ ς ής ί ώ,..... Τοµέας Επιµόρφωσης & Κατάρτισης 1 Το Ε.Α.ΙΤΥ στο πλαίσιο των αρµοδιοτήτων του ως Τεχνικού Συµβούλου της Πράξης «Επιµόρφωση εκπαιδευτικών στη χρήση και αξιοποίηση των ΤΠΕ

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

* τη µήτρα. Κεφάλαιο 1o

* τη µήτρα. Κεφάλαιο 1o Κεφάλαιο 1o Θεωρία Παιγνίων Η θεωρία παιγνίων εξετάζει καταστάσεις στις οποίες υπάρχει αλληλεπίδραση µεταξύ ενός µικρού αριθµού ατόµων. Άρα σε οποιαδήποτε περίπτωση, αν ο αριθµός των ατόµων που συµµετέχουν

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

ΗΜΙΟΥΡΓΙΑ ΠΑΙΧΝΙ ΙΟΥ ΣΤΟ SCRATCH ΒΗΜΑ ΠΡΟΣ ΒΗΜΑ

ΗΜΙΟΥΡΓΙΑ ΠΑΙΧΝΙ ΙΟΥ ΣΤΟ SCRATCH ΒΗΜΑ ΠΡΟΣ ΒΗΜΑ ΗΜΙΟΥΡΓΙΑ ΠΑΙΧΝΙ ΙΟΥ ΣΤΟ SCRATCH ΒΗΜΑ ΠΡΟΣ ΒΗΜΑ ΣΕΝΑΡΙΟ ΠΑΙΧΝΙ ΙΟΥ Το παιχνίδι θα αποτελείται από δυο παίκτες, οι οποίοι θα βρίσκονται αντικριστά στις άκρες ενός γηπέδου δεξιά και αριστερά, και µια µπάλα.

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

Σύνοψη Προηγούµενου. Γλώσσες χωρίς Συµφραζόµενα (2) Ισοδυναµία CFG και PDA. Σε αυτό το µάθηµα. Αυτόµατα Στοίβας Pushdown Automata

Σύνοψη Προηγούµενου. Γλώσσες χωρίς Συµφραζόµενα (2) Ισοδυναµία CFG και PDA. Σε αυτό το µάθηµα. Αυτόµατα Στοίβας Pushdown Automata Σύνοψη Προηγούµενου Γλώσσες χωρίς Συµφραζόµενα (2) Ορέστης Τελέλης telelis@unipi.gr Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς Αυτόµατα Στοίβας Pushdown utomata Ισοδυναµία µε τις Γλώσσες χωρίς Συµφραζόµενα:

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

Θεωρητικές αρχές σχεδιασµού µιας ενότητας στα Μαθηµατικά. Ε. Κολέζα

Θεωρητικές αρχές σχεδιασµού µιας ενότητας στα Μαθηµατικά. Ε. Κολέζα Θεωρητικές αρχές σχεδιασµού µιας ενότητας στα Μαθηµατικά Ε. Κολέζα Α. Θεωρητικές αρχές σχεδιασµού µιας µαθηµατικής ενότητας: Βήµατα για τη συγγραφή του σχεδίου Β. Θεωρητικό υπόβαθρο της διδακτικής πρότασης

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

Θεωρία Υπολογισμού και Πολυπλοκότητα Κανονικές Γλώσσες (1)

Θεωρία Υπολογισμού και Πολυπλοκότητα Κανονικές Γλώσσες (1) Θεωρία Υπολογισμού και Πολυπλοκότητα Κανονικές Γλώσσες () Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Πεπερασμένα Αυτόματα (Κεφάλαιο., Sipser) Ορισμός πεπερασμένων αυτομάτων και ορισμός του

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

ΕΝΝΟΙΑ ΤΟΥ ΙΑΝΥΣΜΑΤΟΣ

ΕΝΝΟΙΑ ΤΟΥ ΙΑΝΥΣΜΑΤΟΣ ΕΝΝΟΙ ΤΟΥ ΙΝΥΣΜΤΟΣ Όπως είναι γνωστό από τη φυσική, τα διάφορα µεγέθη διακρίνονται σε βαθµωτά και διανυσµατικά. αθµωτά είναι τα µεγέθη τα οποία χαρακτηρίζονται µόνο από το µέτρο τους. Τέτοια µεγέθη είναι

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

Το σύνολο Z των Ακεραίων : Z = {... 2, 1, 0, 1, 2, 3,... } Να σηµειώσουµε ότι οι φυσικοί αριθµοί είναι και ακέραιοι.

Το σύνολο Z των Ακεραίων : Z = {... 2, 1, 0, 1, 2, 3,... } Να σηµειώσουµε ότι οι φυσικοί αριθµοί είναι και ακέραιοι. 1 E. ΣΥΝΟΛΑ ΘΕΩΡΙΑ 1. Ορισµός του συνόλου Σύνολο λέγεται κάθε συλλογή πραγµατικών ή φανταστικών αντικειµένων, που είναι καλά ορισµένα και διακρίνονται το ένα από το άλλο. Τα παραπάνω αντικείµενα λέγονται

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

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

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

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

2.6 ΟΡΙΑ ΑΝΟΧΗΣ. πληθυσµού µε πιθανότητα τουλάχιστον ίση µε 100(1 α)%. Το. X ονοµάζεται κάτω όριο ανοχής ενώ το πάνω όριο ανοχής.

2.6 ΟΡΙΑ ΑΝΟΧΗΣ. πληθυσµού µε πιθανότητα τουλάχιστον ίση µε 100(1 α)%. Το. X ονοµάζεται κάτω όριο ανοχής ενώ το πάνω όριο ανοχής. 2.6 ΟΡΙΑ ΑΝΟΧΗΣ Το διάστηµα εµπιστοσύνης παρέχει µία εκτίµηση µιας άγνωστης παραµέτρου µε την µορφή διαστήµατος και ένα συγκεκριµένο βαθµό εµπιστοσύνης ότι το διάστηµα αυτό, µε τον τρόπο που κατασκευάσθηκε,

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

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

ΘΕΩΡΙΑ ΥΠΟΛΟΓΙΣΜΩΝ ΚΑΙ ΑΥΤΟΜΑΤΩΝ ΘΕΩΡΙΑ ΥΠΟΛΟΓΙΣΜΩΝ ΚΑΙ ΑΥΤΟΜΑΤΩΝ Ενότητα 3: Μη-ντετερμιμιστικά πεπερασμένα αυτόματα Ρεφανίδης Ιωάννης Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό

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

Ελληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Ηπείρου. Θεωρία Υπολογισμού. Ενότητα 9 : Κανονικές Εκφράσεις. Αλέξανδρος Τζάλλας

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

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

ΣΥΝΤΕΤΑΓΜΕΝΕΣ ΙΑΝΥΣΜΑΤΟΣ

ΣΥΝΤΕΤΑΓΜΕΝΕΣ ΙΑΝΥΣΜΑΤΟΣ ΣΥΝΤΕΤΑΓΜΕΝΕΣ ΙΑΝΥΣΜΑΤΟΣ Άξονας Έστω η ευθεία x x (σχ. 21) και τα σηµεία Ο, Ι πάνω σ αυτή, ώστε ΟΙ= i όπου i το µοναδιαίο διάνυσµα, δηλαδή ένα διάνυσµα που θεωρούµε ότι η φορά του είναι θετική και το µέτρο

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

ΔΙΔΑΣΚΑΛΙΑ ΤΗΣ ΕΝΝΟΙΑΣ ΤΟΥ ΟΡΙΟΥ ΣΥΝΑΡΤΗΣΗΣ

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

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

«Διδακτική Δραστηριότητα στην αίθουσα των υπολογιστών»

«Διδακτική Δραστηριότητα στην αίθουσα των υπολογιστών» «Διδακτική Δραστηριότητα στην αίθουσα των υπολογιστών» Καθηγητής ΜΠΟΥΖΑΛΗΣ ΜΙΧΑΛΗΣ e mail mbouzalis@otenet.gr Κλάδος Π Ε, Μαθηματικός Σχολείο ο Ενιαίο Λύκειο Καλαμαριάς Τάξη Θετική - Τεχνολογική κατεύθυνση

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

Η διδασκαλία των Μαθηματικών στα νέα Προγράμματα Σπουδών Γυμνασίου & Λυκείου

Η διδασκαλία των Μαθηματικών στα νέα Προγράμματα Σπουδών Γυμνασίου & Λυκείου Η διδασκαλία των Μαθηματικών στα νέα Προγράμματα Σπουδών Γυμνασίου & Λυκείου Γιάννης Θωμαΐδης Σχολικός Σύμβουλος Μαθηματικών Νομού Κιλκίς Ομιλία στο Παράρτημα Κέρκυρας της Ελληνικής Μαθηματικής Εταιρείας

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

Παιδαγωγική προσέγγιση: Πρόταση για την διδασκαλία της έννοιας αλγόριθµός στο περιβάλλον MicroWorlds Pro

Παιδαγωγική προσέγγιση: Πρόταση για την διδασκαλία της έννοιας αλγόριθµός στο περιβάλλον MicroWorlds Pro Παιδαγωγική προσέγγιση: Πρόταση για την διδασκαλία της έννοιας αλγόριθµός στο περιβάλλον MicroWorlds Pro Το «Φύλλο Εργασίας» για τους µαθητές Το παρακάτω φύλλο εργασίας µπορεί να χρησιµοποιηθεί ως εισαγωγικό

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

ΚΕΦΑΛΑΙΟ 1 Ο ΠΙΘΑΝΟΤΗΤΕΣ

ΚΕΦΑΛΑΙΟ 1 Ο ΠΙΘΑΝΟΤΗΤΕΣ ΚΕΦΛΙΟ Ο ΠΙΘΝΟΤΗΤΕΣ. Εισαγωγή Στην Θεωρία Πιθανοτήτων, ξεκινάµε από το λεγόµενο πείραµα δηλαδή µια διαδικασία η οποία µπορεί να επαναληφθεί θεωρητικά άπειρες φορές, κάτω από τις ίδιες ουσιαστικά συνθήκες,

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

ΥΠΟΥΡΓΕΙΟ ΠΑΙΔΕΙΑΣ, ΕΡΕΥΝΑΣ ΚΑΙ ΘΡΗΣΚΕΥΜΑΤΩΝ ΙΝΣΤΙΤΟΥΤΟ ΕΚΠΑΙΔΕΥΤΙΚΗΣ ΠΟΛΙΤΙΚΗΣ. Μαθηματικά. Β μέρος

ΥΠΟΥΡΓΕΙΟ ΠΑΙΔΕΙΑΣ, ΕΡΕΥΝΑΣ ΚΑΙ ΘΡΗΣΚΕΥΜΑΤΩΝ ΙΝΣΤΙΤΟΥΤΟ ΕΚΠΑΙΔΕΥΤΙΚΗΣ ΠΟΛΙΤΙΚΗΣ. Μαθηματικά. Β μέρος ΥΠΟΥΡΓΕΙΟ ΠΑΙΔΕΙΑΣ, ΕΡΕΥΝΑΣ ΚΑΙ ΘΡΗΣΚΕΥΜΑΤΩΝ ΙΝΣΤΙΤΟΥΤΟ ΕΚΠΑΙΔΕΥΤΙΚΗΣ ΠΟΛΙΤΙΚΗΣ 2 5 +32 17 2= 1156 Μαθηματικά Β μέρος 8 9 15 Δ=2 δ Γ ΓΕΝΙΚΟΥ ΛΥΚΕΙΟΥ Ομάδας Προσανατολισμού Θετικών Σπουδών και Σπουδών Οικονομίας

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

... Τεχνολογία Επικοινωνιών Τεχνολογικής Κατεύθυνσης

... Τεχνολογία Επικοινωνιών Τεχνολογικής Κατεύθυνσης ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΥΠΟΥΡΓΕΙΟ ΠΑΙΔΕΙΑΣ ΚΑΙ ΘΡΗΣΚΕΥΜΑΤΩΝ ----- ΕΝΙΑΙΟΣ ΔΙΟΙΚΗΤΙΚΟΣ ΤΟΜΕΑΣ Π/ΘΜΙΑΣ & Δ/ΘΜΙΑΣ ΕΚΠ/ΣΗΣ Δ/ΝΣΗ ΣΠΟΥΔΩΝ Δ/ΘΜΙΑΣ ΕΚΠ/ΣΗΣ ΤΜΗΜΑ Α Βαθμός Ασφαλείας: Να διατηρηθεί μέχρι: Βαθ. Προτεραιότητας:

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

Συνδυαστική. Που το πάµε. Πείραµα Συνδυαστική. Το υλικό των. ΗΥ118 ιακριτά Μαθηµατικά, Άνοιξη Πέµπτη, 21/4/2016

Συνδυαστική. Που το πάµε. Πείραµα Συνδυαστική. Το υλικό των. ΗΥ118 ιακριτά Μαθηµατικά, Άνοιξη Πέµπτη, 21/4/2016 HY118- ιακριτά Μαθηµατικά Πέµπτη, 21/4/2016 Συνδυαστική Το υλικό των Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr 1 2 Πείραµα Πείραµα: Οποιαδήποτε διαδικασία που µπορεί να οδηγήσει σε ένα αριθµό παρατηρήσιµων

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

CSC 314: Switching Theory

CSC 314: Switching Theory CSC 314: Switching Theory Course Summary 9 th January 2009 1 1 Θέματα Μαθήματος Ερωτήσεις Τι είναι αλγόριθμος? Τι μπορεί να υπολογιστεί? Απαντήσεις Μοντέλα Υπολογισμού Δυνατότητες και μη-δυνατότητες 2

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

Ενότητα: Πράξεις επί Συνόλων και Σώµατα Αριθµών

Ενότητα: Πράξεις επί Συνόλων και Σώµατα Αριθµών Τίτλος Μαθήματος: Γραμμική Άλγεβρα Ι Ενότητα: Πράξεις επί Συνόλων και Σώµατα Αριθµών Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης Τμήμα: Μαθηματικών Κεφάλαιο 1 Εισαγωγη : Πραξεις επι Συνολων και Σωµατα Αριθµων

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

Ανάπτυξη εφαρµογών σε προγραµµατιστικό περιβάλλον (στοιχεία θεωρίας)

Ανάπτυξη εφαρµογών σε προγραµµατιστικό περιβάλλον (στοιχεία θεωρίας) Ανάπτυξη εφαρµογών σε προγραµµατιστικό περιβάλλον (στοιχεία θεωρίας) Εισαγωγή 1. Τι είναι αυτό που κρατάς στα χέρια σου. Αυτό το κείµενο είναι µια προσπάθεια να αποτυπωθεί όλη η θεωρία του σχολικού µε

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

Ας θεωρήσουμε δύο πραγματικούς αριθμούς. Είναι γνωστό ότι:,. Αυτό σημαίνει ότι: «=», «

Ας θεωρήσουμε δύο πραγματικούς αριθμούς. Είναι γνωστό ότι:,. Αυτό σημαίνει ότι: «=», « .1 Στη παράγραφο αυτή θα γνωρίσουμε μερικές βασικές έννοιες της Λογικής, τις οποίες θα χρησιμοποιήσουμε στη συνέχεια, όπου αυτό κρίνεται αναγκαίο, για τη σαφέστερη διατύπωση μαθηματικών εννοιών, προτάσεων

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

ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΥΠΟΥΡΓΕΙΟ ΠΑΙΔΕΙΑΣ ΔΙΑ ΒΙΟΥ ΜΑΘΗΣΗΣ ΚΑΙ ΘΡΗΣΚΕΥΜΑΤΩΝ Να διατηρηθεί μέχρι... Βαθμός Ασφαλείας...

ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΥΠΟΥΡΓΕΙΟ ΠΑΙΔΕΙΑΣ ΔΙΑ ΒΙΟΥ ΜΑΘΗΣΗΣ ΚΑΙ ΘΡΗΣΚΕΥΜΑΤΩΝ Να διατηρηθεί μέχρι... Βαθμός Ασφαλείας... ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΥΠΟΥΡΓΕΙΟ ΠΑΙΔΕΙΑΣ ΔΙΑ ΒΙΟΥ ΜΑΘΗΣΗΣ ΚΑΙ ΘΡΗΣΚΕΥΜΑΤΩΝ ----- ΕΝΙΑΙΟΣ ΔΙΟΙΚΗΤΙΚΟΣ ΤΟΜΕΑΣ Π/ΘΜΙΑΣ & Δ/ΘΜΙΑΣ ΕΚΠΑΙΔΕΥΣΗΣ Δ/ΥΝΣΗ ΣΠΟΥΔΩΝ Δ/ΘΜΙΑΣ ΕΚΠ/ΣΗΣ ΤΜΗΜΑ Α Να διατηρηθεί μέχρι... Βαθμός

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

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

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

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

ΠΡΟΔΙΑΓΡΑΦΕΣ - ΟΔΗΓΙΕΣ ΔΙΑΜΟΡΦΩΣΗΣ ΘΕΜΑΤΩΝ ΓΙΑ ΤΟ ΜΑΘΗΜΑ

ΠΡΟΔΙΑΓΡΑΦΕΣ - ΟΔΗΓΙΕΣ ΔΙΑΜΟΡΦΩΣΗΣ ΘΕΜΑΤΩΝ ΓΙΑ ΤΟ ΜΑΘΗΜΑ ΠΡΟΔΙΑΓΡΑΦΕΣ - ΟΔΗΓΙΕΣ ΔΙΑΜΟΡΦΩΣΗΣ ΘΕΜΑΤΩΝ ΓΙΑ ΤΟ ΜΑΘΗΜΑ Μαθηματικά (Άλγεβρα - Γεωμετρία) Α ΤΑΞΗ ΗΜΕΡΗΣΙΟΥ και Α, Β ΤΑΞΕΙΣ ΕΣΠΕΡΙΝΟΥ ΓΕΝΙΚΟΥ ΛΥΚΕΙΟΥ Α ΤΑΞΗ ΗΜΕΡΗΣΙΟΥ και Α ΤΑΞΗ ΕΣΠΕΡΙΝΟΥ ΕΠΑΛ ΚΕΝΤΡΙΚΗ

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

Πρότυπο Πειραματικό Γυμνάσιο Πανεπιστημίου Πατρών. Αθανασία Μπαλωμένου ΠΕ03 Βασιλική Ρήγα ΠΕ03 Λαμπρινή Βουτσινά ΠΕ04.01

Πρότυπο Πειραματικό Γυμνάσιο Πανεπιστημίου Πατρών. Αθανασία Μπαλωμένου ΠΕ03 Βασιλική Ρήγα ΠΕ03 Λαμπρινή Βουτσινά ΠΕ04.01 Πρότυπο Πειραματικό Γυμνάσιο Πανεπιστημίου Πατρών Αθανασία Μπαλωμένου ΠΕ03 Βασιλική Ρήγα ΠΕ03 Λαμπρινή Βουτσινά ΠΕ04.01 Τα ερωτήματα που προκύπτουν από την εισαγωγή της Φυσικής στην Α γυμνασίου είναι :

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

ΙΙΙ. ΙΔΙΑΙΤΕΡΑ ΧΑΡΑΚΤΗΡΙΣΤΙΚΑ ΤΩΝ ΞΕΝΩΝ ΜΑΘΗΤΩΝ.

ΙΙΙ. ΙΔΙΑΙΤΕΡΑ ΧΑΡΑΚΤΗΡΙΣΤΙΚΑ ΤΩΝ ΞΕΝΩΝ ΜΑΘΗΤΩΝ. ΙΙΙ. ΙΔΙΑΙΤΕΡΑ ΧΑΡΑΚΤΗΡΙΣΤΙΚΑ ΤΩΝ ΞΕΝΩΝ ΜΑΘΗΤΩΝ. Είδαμε πως το 4.2% των μαθητών στο δείγμα μας δεν έχουν ελληνική καταγωγή. Θα μπορούσαμε να εξετάσουμε κάποια ειδικά χαρακτηριστικά αυτών των ξένων μαθητών

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

6. Εισαγωγή στον προγραµµατισµό

6. Εισαγωγή στον προγραµµατισµό 6. Εισαγωγή στον προγραµµατισµό 6.1 Η έννοια του προγράµµατος. 6.2 Ιστορική αναδροµή. 6.2.1 Γλώσσες µηχανής. ΗΜ04-Θ1Α 1. Ένα πρόγραµµα σε γλώσσα µηχανής είναι µια ακολουθία δυαδικών ψηφίων. 5. Ένα πρόγραµµα

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

x 2 = x 2 1 + x 2 2. x 2 = u 2 + x 2 3 Χρησιµοποιώντας το συµβολισµό του ανάστροφου, αυτό γράφεται x 2 = x T x. = x T x.

x 2 = x 2 1 + x 2 2. x 2 = u 2 + x 2 3 Χρησιµοποιώντας το συµβολισµό του ανάστροφου, αυτό γράφεται x 2 = x T x. = x T x. Κεφάλαιο 4 Μήκη και ορθές γωνίες Μήκος διανύσµατος Στο επίπεδο, R 2, ϐρίσκουµε το µήκος ενός διανύσµατος x = (x 1, x 2 ) χρησιµοποιώντας το Πυθαγόρειο ϑεώρηµα : x 2 = x 2 1 + x 2 2. Στο χώρο R 3, εφαρµόζουµε

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

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

ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΡΟΓΡΑΜΜΑ ΣΠΟΥ ΩΝ «ΠΛΗΡΟΦΟΡΙΚΗ» ΜΑΘΗΜΑΤΙΚΑ Ι (ΘΕ ΠΛΗ ) TEΛΙΚΕΣ ΕΞΕΤΑΣΕΙΣ 4 Ιουνίου 7 Από τα κάτωθι Θέµατα καλείστε να λύσετε το ο που περιλαµβάνει ερωτήµατα από όλη την ύλη

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

Θεωρία Δυαδικότητας ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ. Η παρουσίαση προετοιμάστηκε από τον Ν.Α. Παναγιώτου. Επιχειρησιακή Έρευνα

Θεωρία Δυαδικότητας ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ. Η παρουσίαση προετοιμάστηκε από τον Ν.Α. Παναγιώτου. Επιχειρησιακή Έρευνα Θεωρία Δυαδικότητας Η παρουσίαση προετοιμάστηκε από τον Ν.Α. Παναγιώτου ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ Επιχειρησιακή Έρευνα Περιεχόμενα Παρουσίασης 1. Βασικά Θεωρήματα 2. Παραδείγματα 3. Οικονομική Ερμηνεία

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

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

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

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

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

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

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

ΜΑΘΗΜΑΤΙΚΑ ΚΑΙ ΣΤΟΙΧΕΙΑ ΣΤΑΤΙΣΤΙΚΗΣ Γ' ΛΥΚΕΙΟΥ ΓΕΝΙΚΗΣ ΠΑΙ ΕΙΑΣ 2006 ΕΚΦΩΝΗΣΕΙΣ

ΜΑΘΗΜΑΤΙΚΑ ΚΑΙ ΣΤΟΙΧΕΙΑ ΣΤΑΤΙΣΤΙΚΗΣ Γ' ΛΥΚΕΙΟΥ ΓΕΝΙΚΗΣ ΠΑΙ ΕΙΑΣ 2006 ΕΚΦΩΝΗΣΕΙΣ ΘΕΜΑ o ΜΑΘΗΜΑΤΙΚΑ ΚΑΙ ΣΤΟΙΧΕΙΑ ΣΤΑΤΙΣΤΙΚΗΣ Γ' ΛΥΚΕΙΟΥ ΓΕΝΙΚΗΣ ΠΑΙ ΕΙΑΣ 006 ΕΚΦΩΝΗΣΕΙΣ A. Η συνάρτηση f είναι παραγωγίσιµη στο ΙR. και c πραγµατική σταθερά. Να αποδείξετε ότι (c f(x)) =c f (x), x ΙR. Μονάδες

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

Θέµατα Μαθηµατικών & Στ. Στατ/κής Γενικής Παιδείας Γ Λυκείου 2000

Θέµατα Μαθηµατικών & Στ. Στατ/κής Γενικής Παιδείας Γ Λυκείου 2000 Θέµατα Μαθηµατικών & Στ. Στατ/κής Γενικής Παιδείας Γ Λυκείου 000 ΕΚΦΩΝΗΣΕΙΣ Ζήτηµα ο Α.α) ίνεται η συνάρτηση F() f() + g(). Αν οι συναρτήσεις f, g είναι παραγωγίσιµες, να αποδείξετε ότι: F () f () + g

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

Τεχνητή Νοημοσύνη. 2η διάλεξη (2015-16) Ίων Ανδρουτσόπουλος. http://www.aueb.gr/users/ion/

Τεχνητή Νοημοσύνη. 2η διάλεξη (2015-16) Ίων Ανδρουτσόπουλος. http://www.aueb.gr/users/ion/ Τεχνητή Νοημοσύνη 2η διάλεξη (2015-16) Ίων Ανδρουτσόπουλος http://www.aueb.gr/users/ion/ 1 Οι διαφάνειες αυτής της διάλεξης βασίζονται στα βιβλία: Τεχνητή Νοημοσύνη των Βλαχάβα κ.ά., 3η έκδοση, Β. Γκιούρδας

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

Περιεχόμενα. Πρόλογος 3

Περιεχόμενα. Πρόλογος 3 Πρόλογος Η Γραμμική Άλγεβρα είναι ένα σημαντικό συστατικό στο πρόγραμμα σπουδών, όχι μόνο των Μαθηματικών, αλλά και άλλων τμημάτων, όπως είναι το τμήμα Φυσικής, Χημείας, των τμημάτων του Πολυτεχνείου,

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

Αξιολόγηση Μαθητών - Γενικός Μ.Ο. Τρίτη, 05 Φεβρουάριος :31 - Τελευταία Ενημέρωση Σάββατο, 30 Νοέμβριος :01

Αξιολόγηση Μαθητών - Γενικός Μ.Ο. Τρίτη, 05 Φεβρουάριος :31 - Τελευταία Ενημέρωση Σάββατο, 30 Νοέμβριος :01 ΑΞΙΟΛΟΓΗΣΗ ΜΑΘΗΤΩΝ Αξιολόγηση του μαθητή είναι η συνεχής παιδαγωγική διαδικασία, με βάση την οποία παρακολουθείται η πορεία της μάθησής του, προσδιορίζονται τα τελικά αποτελέσματά της και εκτιμώνται, παράλληλα,

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

ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΑΤΡΩΝ ΠΟΛΥΤΕΧΝΙΚΗ ΣΧΟΛΗ ΤΜΗΜΑ ΜΗΧΑΝΙΚΩΝ ΗΛΕΚΤΡΟΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ ΚΑΙ ΠΛΗΡΟΦΟΡΙΚΗΣ. ΣΗΜΕΙΩΣΕΙΣ ΓΙΑ ΤΟ ΜΑΘΗΜΑ Διδακτική της Πληροφορικής

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

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

Πρόσβαση και δήλωση µαθηµάτων στον Εύδοξο

Πρόσβαση και δήλωση µαθηµάτων στον Εύδοξο Πρόσβαση και δήλωση µαθηµάτων στον Εύδοξο Τι πρέπει να γνωρίζω πριν ξεκινήσω την διαδικασία 1. Να έχω κωδικούς από τον Κέντρο Δικτύου του ΤΕΙ Αθήνας (είναι αυτοί µε τους οποίους έχω πρόσβαση στο ασύρµατο

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

«Ψηφιακά δομήματα στα μαθηματικά ως εργαλεία μάθησης για το δάσκαλο και το μαθητή»

«Ψηφιακά δομήματα στα μαθηματικά ως εργαλεία μάθησης για το δάσκαλο και το μαθητή» Ψηφιακό σχολείο: Το γνωστικό πεδίο των Μαθηματικών «Ψηφιακά δομήματα στα μαθηματικά ως εργαλεία μάθησης για το δάσκαλο και το μαθητή» ΕΛΕΝΗ ΚΑΛΑΪΤΖΙΔΟΥ Πληροφορικός ΠΕ19 (1 ο Πρότυπο Πειραματικό Γυμνάσιο

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

Από το Γυμνάσιο στο Λύκειο... 7. 3. Δειγματικός χώρος Ενδεχόμενα... 42 Εύρεση δειγματικού χώρου... 46

Από το Γυμνάσιο στο Λύκειο... 7. 3. Δειγματικός χώρος Ενδεχόμενα... 42 Εύρεση δειγματικού χώρου... 46 ΠEΡΙΕΧΟΜΕΝΑ Από το Γυμνάσιο στο Λύκειο................................................ 7 1. Το Λεξιλόγιο της Λογικής.............................................. 11. Σύνολα..............................................................

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

Φροντιστήριο 9 Λύσεις

Φροντιστήριο 9 Λύσεις Άσκηση 1 Φροντιστήριο 9 Λύσεις Να κατασκευάσετε μια μηχανή Turing με δύο ταινίες η οποία να αποδέχεται στην πρώτη της ταινία μια οποιαδήποτε λέξη w {a,b} * και να γράφει τη λέξη w R στη δεύτερη της ταινία.

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

ΚΕΦΑΛΑΙΟ 3. Διαπιστώσεις και Συμπεράσματα για το σχολικό έτος 2001-2002

ΚΕΦΑΛΑΙΟ 3. Διαπιστώσεις και Συμπεράσματα για το σχολικό έτος 2001-2002 ΚΕΦΑΛΑΙΟ 3 Διαπιστώσεις και Συμπεράσματα για το σχολικό έτος 2001-2002 3.1 Ως προς τα ποιοτικά χαρακτηριστικά των δεδομένων Ο αριθμός των κοριτσιών ήταν μεγαλύτερος. Στο σύνολο, το 56,4% ήταν κορίτσια

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

Κεφάλαιο 6. Εισαγωγή στη µέθοδο πεπερασµένων όγκων επίλυση ελλειπτικών και παραβολικών διαφορικών εξισώσεων

Κεφάλαιο 6. Εισαγωγή στη µέθοδο πεπερασµένων όγκων επίλυση ελλειπτικών και παραβολικών διαφορικών εξισώσεων Κεφάλαιο 6 Εισαγωγή στη µέθοδο πεπερασµένων όγκων επίλυση ελλειπτικών παραβολικών διαφορικών εξισώσεων 6.1 Εισαγωγή Η µέθοδος των πεπερασµένων όγκων είναι µία ευρέως διαδεδοµένη υπολογιστική µέθοδος επίλυσης

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

5.2 ΑΡΙΘΜΗΤΙΚΗ ΠΡΟΟ ΟΣ

5.2 ΑΡΙΘΜΗΤΙΚΗ ΠΡΟΟ ΟΣ 5. ΑΡΙΘΜΗΤΙΚΗ ΠΡΟΟ ΟΣ ΘΕΩΡΙΑ. Ορισµός Μια ακολουθία λέγεται αριθµητική πρόοδος, αν και µόνο αν κάθε όρος της προκύπτει από τον προηγούµενο του µε πρόσθεση του ίδιου πάντοτε αριθµού.. Μαθηµατική έκφραση

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