Θεωρία Υπολογισμού Εισαγωγή.

Slides:



Advertisements
Παρόμοιες παρουσιάσεις
ΓΡΑΜΜΑΤΙΚΕΣ ΧΩΡΙΣ ΣΥΜΦΡΑΖΟΜΕΝΑ I
Advertisements

Πανεπιστήμιο Θεσσαλίας Σχολή Ανθρωπιστικών και Κοινωνικών Επιστημών Παιδαγωγικό Τμήμα Δημοτικής Εκπαίδευσης Εξωτερική Αξιολόγηση – Πληροφοριακές.
Ο χώρος της Δευτεροβάθμιας Οικονομικής Εκπαίδευσης στο διαδίκτυο
ΜοντελοποίησηΈργα ΜαθήματαΑξιολόγηση Αναστοχασμος Μαθήματα.
Μερκ. Παναγιωτόπουλος-Φυσικός
Κυκλική αντιστρεπτή μεταβολή
Πιθανοκρατικοί Αλγόριθμοι
Χρήση και αξιοποίηση των ΤΠΕ κατά τη διδασκαλία των μαθηματικών στη δευτεροβάθμια ελληνική εκπαίδευση Δρ. Σάλτας Βασίλειος, Ιωαννίδου Ευφροσύνη Τμήμα.
Πως Γράφω Σωστά Επιστημονικές Ερμηνείες - Πως Γράφω Σωστά Επιστημονικές Ερμηνείες Βασίλης Γαργανουράκης
Καλή και δημιουργική χρονιά.
Από τη Λογική στα Παίγνια
ΑΛΓΟΡΙΘΜΟΙ ΠΟΛΥΠΛΟΚΟΤΗΤΑ ΥΠΟΛΟΓΙΣΙΜΟΤΗΤΑ Εισαγωγή στις βασικές έννοιες
Εισαγωγικές Έννοιες Διδάσκοντες: Σ. Ζάχος, Δ. Φωτάκης Επιμέλεια διαφανειών: Δ. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο.
Αναγνώριση Προτύπων.
Εισηγητής:Στέφανος Μέτης
Διδασκαλία των Φ.Ε. στο Νηπιαγωγείο
Διαχείριση Έργων Πληροφορικής
ΔΙΔΑΣΚΟΥΣΑ : ΑΛΛΑ ΣΙΡΟΚΟΦΣΚΙΧ
Εισαγωγή στις Αρχές της Επιστήμης των Η/Υ» Β΄ τάξης Γενικού Λυκείου
Α.Π.Θ. Π.Τ.Δ.Ε. Π.Μ.Σ Επιστήμες της Αγωγής-Κατεύθυνση Διδακτική των Φυσικών Επιστημών και Νέες Τεχνολογίες Διερεύνηση εφαρμογής.
Μάθημα 2 ο : Βασικές έννοιες 1 Ακαδημαϊκό Έτος
5. Χαρακτηρισμός των μαθηματικών γνώσεων των μαθητών.
Αλγόριθμοι και Πολυπλοκότητα
Συστήματα Στήριξης Αποφάσεων
Θερμοκρασία και Θερμότητα
Μοντέλα Συστημάτων Παρουσιάσεις των συστημάτων των οποίων οι απαιτήσεις αναλύονται.
1. Θερμόμετρα και μέτρηση θερμοκρασίας
ΘΕΩΡΙΑ ΠΟΛΥΠΛΟΚΟΤΗΤΑΣ ΠΑΡΟΥΣΙΑΣΗ ΣΤΑ ΚΕΦΑΛΑΙΑ 7.4 – 7.6 NP ΠΛΗΡΟΤΗΤΑ.
Ενεργή επιλογή αλγορίθμου, Active Algorithm Selection, Feilong Chen and Rong Jin Εύα Σιταρίδη.
Θεωρία Υπολογισμού Εισαγωγή (μέρος 2 ο ) Πρακτική Θεωρία.
Μηχανές Turing και Υπολογισιμότητα
Θεωρία Υπολογισμού Εισαγωγή (μέρος 3 ο ). Χρειαζόμαστε Μοντέλα Εμπρός πατάκι Πίσω πατάκι Πόρτα ΚλειστόΑνοιχτό.
1 Πανεπιστήμιο Κρήτης, Τμήμα Επιστήμης Υπολογιστών Δημήτρης Πλεξουσάκης 10/2/2015ΗΥ180 – Μάθημα 1ο Διδάσκων: Δημήτρης Πλεξουσάκης Καθηγητής
Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών – Τμήμα Πληροφορικής και Τηλεπικοινωνιών 1 Κεφάλαιο 3 Η Σημασιολογία των Γλωσσών Προγραμματισμού Προπτυχιακό.
ΟΙ ΤΠΕ ΣΤΗΝ ΕΚΠΑΙΔΕΥΣΗ ΜΙΑ ΠΡΩΤΗ ΘΕΩΡΗΣΗ ΣΑΡΑΝΤΟΣ ΨΥΧΑΡΗΣ
1 ΠΛΗΡΟΦΟΡΙΑΚΑ & ΤΗΛΕΠΙΚΟΙΝΩΝΙΑΚΑ ΣΥΣΤΗΜΑΤΑ Γιώργος Γιαγλής Οικονομικό Πανεπιστήμιο Τμήμα Διοικητικής Επιστήμης & Τεχνολογίας.
Χρονική Πολυπλοκότητα και Μοντέλα
Θεωρία Υπολογισμού Αλγόριθμοι και Μηχανές Turing Υπολογισιμότητα.
EXCEL – λογιστικά φύλλα. Χρήση επεξεργασία, αναπαράσταση και επικοινωνία αριθμητικών (η γενικότερα ποσοτικών) δεδομένων Ειδικότερα Εφαρμογή εκπαιδευτικών.
Θεωρία Υπολογισμού Ανεπίλυτα Προβλήματα από τη Θεωρία Γλωσσών.
Θεώρημα Διαγνωσιμότητας
Μαθηματικά Διοικητικής Επιστήμης Ι – Τμήμα Διοικητικής Επιστήμης & Τεχνολογίας 1 Μαθηματικά Διοικητικής Επιστήμης Ι Διδακτικό Προσωπικό: Λέκτορας Χρήστος.
Επιλυσιμότητα – Διαγωνοποίηση Καντόρ
Χρονική Πολυπλοκότητα
Διαγνώσιμες και μη-διαγνώσιμες ασυμφραστικές γραμματικές και γλώσσες
Εισαγωγή στην Επιστήμη των Υπολογιστών και Επικοινωνιών Γενικά για το μάθημα Σπύρος Κοκολάκης ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΙΓΑΙΟΥ ΤΜΗΜΑ ΜΗΧΑΝΙΚΩΝ ΠΛΗΡΟΦΟΡΙΑΚΩΝ.
ΚΕΦΑΛΑΙΟ 2.1 ΠΡΟΒΛΗΜΑ. Ο Όμηρος στην Οδύσσεια περιγράφει τα προβλήματα που αντι- μετώπιζε ο Οδυσσέας για να φτάσει στην Ιθάκη. Το πρόβλημα που κλήθηκε.
Θεωρία Υπολογισμού Λήμμα της Άντλησης -Παραδείγματα.
Πρακτικη Ασκηση προοδος ΘΕΜΑ : κρισιμα συμβαντα
Πρόγραμμα Προπτυχιακών Σπουδών Ροή Λ: Λογισμικό Κώστας Κοντογιάννης Αναπλ. Καθηγητής Σχολή Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών Ε.Μ.Π.
Εισαγωγή στους Η/Υ Ενότητα 2: Αναδρομή στην ιστορία της τεχνολογίας Ιωάννης Σταματίου Οργάνωση και Διοίκηση Επιχειρήσεων.
Θέματα Υπολογισμού στον Πολιτισμό Εύη Παπαϊωάννου
ΕΝΟΤΗΤΑ 1. ΒΑΣΙΚΕΣ ΕΝΝΟΙΕΣ ΚΕΦΑΛΑΙΟ 1.1 ΕΠΙΣΤΗΜΗ ΤΩΝ ΥΠΟΛΟΓΙΣΤΩΝ 1.
Μεθοδολογία της έρευνας στις Κοινωνικές Επιστήμες Ι &ΙΙ
Πρόγραμμα Προπτυχιακών Σπουδών Ροή Λ: Λογισμικό
Εισαγωγή στην Τεχνητή Νοημοσύνη
5A ΣΗΜΕΙΩΣΗ : Πλήρης αναφορά Βιβλιογραφίας θα αναρτηθεί με την ολοκλήρωση των σημειώσεων.
Θέματα Θεωρητικής επιστήμης των Υπολογιστών
Η ΕΝΝΟΙΑ ΤΟΥ ΠΡΟΒΛΗΜΑΤΟΣ
ΘΕΜΑΤΙΚΗ ΕΝΟΤΗΤΑ 2: ΘΕΜΑΤΑ ΘΕΩΡΗΤΙΚΗΣ ΕΠΙΣΤΗΜΗΣ Η/Υ
Μεθοδολογία της έρευνας στις Κοινωνικές Επιστήμες Ι &ΙΙ
Μαθηματικά: Θεωρία Αριθμών
Εισαγωγή στις Αρχές της Επιστήμης των Η/Υ
ΘΕΜΑΤΙΚΗ ΕΝΟΤΗΤΑ 2: ΘΕΜΑΤΑ ΘΕΩΡΗΤΙΚΗΣ ΕΠΙΣΤΗΜΗΣ Η/Υ
Διδάσκοντας με στόχο την κατανόηση ΄ Δρ. Μ. Λάτση – ΠΕ 70
Σκοπός Η συνοπτική παρουσίαση
Διδάσκοντας με στόχο την κατανόηση ΄ Δρ. Μ. Λάτση – ΠΕ 70
Ορθολογικότητα στη φιλοσοφία και τις επιστήμες
1. Το πληροφοριακό περιεχόμενο των μαθηματικών αληθειών
Μεταγράφημα παρουσίασης:

Θεωρία Υπολογισμού Εισαγωγή

Στοιχεία Μαθήματος Διδάσκων: Μανόλης Βάβαλης Βοηθός: Μαρίνα Κεσόγλου Γραφείο: Β3/5, Γκλαβάνη 37 E-mail: mav@uth.gr Skype: manolisvavalis URL: http://mav.inf.uth.gr/ Βοηθός: Μαρίνα Κεσόγλου Γραφείο: Β5, Γκλαβάνη 37 E-mail: kesoglou@uth.gr Διαλέξεις κάθε Δευτέρα 10.00 – 11.00 και κάθε Τρίτη και Τετάρτη, 08.00 –09.00 Φροντιστήριο κάθε 2η Δευτέρα: 08.00 – 10.00 Ιστοσελίδα μαθήματος: http://free.openeclass.org/courses/IT147 Προαπαιτούμενα Διακριτά Μαθηματικά Προαπαιτείται για -

Β=.55∗𝜏+.45∗Τ Αξιολόγηση απόδοσης Β = Τελικός βαθμός Τ = Βαθμός τελικής (ή επαναληπτικής) εξέτασης τ = Ο μέσος όρος των 5-6 τεστς

Βιβλία

Προσοχή! Ασχολούμαστε με μια θεώρηση της επιστήμης υπολογιστών βασισμένη σε μαθηματική αυστηρότητα. Δεν είναι αρκετό να βρούμε ορθές απαντήσεις οφείλουμε να τις αιτιολογήσουμε πλήρως. Πρέπει λοιπόν να καταλάβουμε τι σημαίνει μαθηματική αυστηρότητα. Πρέπει να αποδεικνύουμε τον κάθε ισχυρισμό μας πλήρως, καλύπτοντας όλες τις περιπτώσεις. Προφανώς μια διαισθητική θεώρηση των ισχυρισμών μας από μόνη της δεν είναι αρκετή. Η διαίσθησή φυσικά μπορεί να μας βοηθήσει μπορεί όμως σε πολλές περιπτώσεις να σας ξεγελάσει. Η αποστολή της αυστηρής απόδειξης είναι να μην επιστρέψει στην διαίσθησή μας να μας παραπλανήσει.

Ιστορικά στοιχεία Αριστοτέλης (384‐332 π.Χ.) Αριστοτέλης (384‐332 π.Χ.) Στωικοί (300 π.Χ. ‐ 200 μ.Χ.) Ευκλείδης  (323‐283 π.Χ) George Boole (1815 ‐1864)   Gottlob Frege (1848‐1925) Giuseppe Peano (1858‐1932) Bertrand Russel  (1872‐1970) David Hilbert (1862‐1943) Kurt Gödel (1906‐1978) Alan Turing (1912‐1954) John von Neuman (1903‐1957) Noam Chomsky  (1928- ) «Αριστοτελική Λογική»  παραμείνει στο  αρχικό επίπεδο > 2000 χρόνια. Στωικοί  δική της εκδοχή για την «λογική», θεμελιώδη  έμφαση  στη  σχέση  «συνεπάγεται» Ευκλείδης,  σαφείς ορισμοί  και ακριβείς αποδείξεις.  Τα «Στοιχεία» τον περίφημο «αλγόριθμο του Ευκλείδη»(για την εύρεση του MKD) από τους πρώτους ρητά διατυπωμένους αλγορίθμους  (μαζί με την  απόδειξη  ότι  είναι  σωστός!)  Bool επανέφερε  το  θέμα  της  λογικής,   έδειξε  την  ενότητα  των  απόψεων  του  Αριστοτέλη  και  των Στωικών,  και  έδειξε  τις  δυνατότητες  αλγεβρικού  χειρισμού  της λογικής.  Fredge  (∀  και  ∃),  και  δείχνοντας  το  πώς  οι  αποδείξεις  μπορούν  να  γίνουν  μέσω  συμβολικών  κατ’ ουσίαν  χειρισμών.  Russel η  αριθμοθεωρία περιέχει προτάσεις που  είναι  μεν  αληθινές,  αλλά  δεν  μπορούμε  να  τις  αποδείξουμε (με  κανένα  «εύλογο»  σύστημα  αξιωμάτων). Gobel Έδειξε   ότι  η  αξιωματική‐αποδεικτική  μέθοδος  έχει  κάποιου  είδους  όρια,  και  επομένως  έθετε  το  ζωτικό  και  «επείγον»  ζήτημα,  του  ποιά είναι αυτά. "effective procedure" (e.g., a computer program

Υπολογισμοί είναι αυτό που κάνουν οι υπολογιστές! Τι την θέλουμε την θεωρία;

Μηχανισμοί είναι αυτό που κάνουν οι μηχανές! Τι την θέλουμε την θεωρία;

Ατμομηχανές Ήρωνας (200πχ) Watt (1817μχ) Watt designed steam engines with very little theory prevailing theory of heat (“Caloric theory”) – “heat” is a fluid (caloric) that flows from hot to cold - burning releases caloric - cannot be created or destroyed, only moved Watt’s engineering improvements TRIPLED the efficiency of steam engines! - from 1 – 3% Ήρωνας (200πχ) Watt (1817μχ)

Θερμιδική θεωρία “θερμότητα” είναι ένα ρευστό (caloric) το οποίο ρέει από το ζεστό το ψυχρό Η καύση εκλύει caloric Το οποίο δεν μπορεί να παραχθεί ή να καταστραφεί, παρά μόνον να μετακινηθεί Τριπλασίασε την απόδοση των ατμομηχανών Από 1% σε 3%

Nicolas Carnot (1796 – 1832) “Είναι το δυνητικό έργο που διατίθεται από μια πηγή θερμότητας δυνητικά απεριόριστο;" “Είναι δυνατόν να βελτιώσουμε την απόδοση των ατμομηχανών αντικαθιστώντας τον ατμό με κάποιο άλλο υγρό ή αέριο;"

Ανακάλυψη Η αποδοτικότητα μια ιδεατής μηχανής εξαρτάται μόνον από την διαφορά θερμοκρασίας μεταξύ των δεξαμενών.

Τι την θέλουμε την θεωρία; Theory and Construction of a Rational Heat-engine to Replace the Steam Engine and Combustion Engines Known Today Rudolf Diesel, 1893

Θεωρία Πρακτική

Μαθηματικό Θεώρημα ή Επιστημονική Θεωρία Μαθηματικό Θεώρημα ή Επιστημονική Θεωρία

Μαθηματικό Θεώρημα Επιστημονική Θεωρία Ξεκινά από ένα απλό και πλήρως καθορισμένο μοντέλο Συμπερασματικός Συλλογισμός: Απόδειξη με συλλογιστική συμπερασματολογία Χρήσιμο αν μας οδηγεί σε βαθύτερη κατανόηση Ξεκινά από μια περίπλοκη και ακατάστατη πραγματικότητα Επαγωγικός Συλλογισμός: “Απόδειξη” με πολλές επιβεβαιωτικές παρατηρήσεις χωρίς καμία απορριπτική παρατήρηση Χρήσιμη αν μπορεί να μας οδηγήσει σε αξιόπιστες προβλέψεις ή βαθύτερη κατανόηση Ακόμα και λάθος θεωρίες μπορεί να είναι χρήσιμες

Κυρίως μαθηματικές αποδείξεις Στο μάθημά μας Κυρίως μαθηματικές αποδείξεις

Θεμελιώδη Ερωτήματα “Είναι το δυνητικό έργο που διατίθεται από μια πηγή θερμότητας δυνητικά απεριόριστο;" “Είναι δυνατόν να βελτιώσουμε την απόδοση των τις ατμομηχανών αντικαθιστώντας τον ατμό με κάποιο άλλο υγρό ή αέριο;" “Μπορούν οι υπολογιστές να λύσουν όλα τα προβλήματα;” “Μπορούν οι υπολογιστές να λύσουν περισσότερα προβλήματα αλλάζοντας τον τρόπο λειτουργίας τους;”

Ακριβείς Ορισμοί Τι είναι πρόβλημα; Τι είναι υπολογιστής; Τι σημαίνει για έναν υπολογιστή λύνω ένα πρόβλημα; Πώς μετράμε τον χρόνο;

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

Παράδειγμα Εμπρός πατάκι Πίσω πατάκι Πόρτα

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

Ύλη (κεφ. 0-5 & 7 από τον Sipser & …) ΕΙΣΑΓΩΓΗ - Γενικές έννοιες, Τεχνικές απόδειξης (Διαλέξεις  1-3) ΑΥΤΟΜΑΤΑ ΚΑΙ ΓΛΩΣΣΕΣ - Πεπερασμένα αυτόματα, κανονικές εκφράσεις, μη κανονικές γλώσσες, ασυμφραστικές γραμματικές, αυτόματα στοίβας, μη ασυμφραστικές γλώσσες (Διαλέξεις  4-11). ΘΕΩΡΙΑ ΥΠΟΛΟΓΙΣΙΜΟΤΗΤΑΣ - Μηχανές Turing και παραλλαγές τους, διαγνώσιμες γλώσσες, ανεπίλυτα προβλήματα από τη θεωρία γλωσσών (Διαλέξεις 12-18). ΘΕΩΡΙΑ ΠΟΛΥΠΛΟΚΟΤΗΤΑΣ - Μέτρηση της πολυπλοκότητας, η κλάση Ρ, η κλάση ΝΡ, ΝΡ-πληρότητα (Διαλέξεις 19-24). ΕΙΔΙΚΑ ΘΕΜΑΤΑ – Κρυπτογραφία, θεωρία παιγνίων, κοινωνικά δίκτυα, κβαντικοί υπολογισμοί (Διαλέξεις 25-28)