Θεωρία Υπολογισμού
Αλέξανδρος Τζάλλας
Το μάθημα αυτό ασχολείται με τον υπολογισμό και τα μέσα που χρησιμοποιούμε για τον υπολογισμό. Ειδικότερα ανάμεσα σε άλλα εξετάζονται οι έννοιες: Σύνολα, Σχέσεις και Γλώσσες. Πεπερασμένα αυτόματα (ντετερμινιστικά, μη-ντετερμινιστικά, πεπερασμένα αυτόματα και κανονικές γλώσσες). Γλώσσες χωρίς συμφραζόμενα (γραμματικές, κανονικές γλώσσες, αυτόματα στοίβας, ιδιότητες, ντετερμινισμός και συντακτική ανάλυση). Μηχανές Turing (ορισμός, υπολογισμοί με μηχανές Turing, συνδυασμοί και επεκτάσεις). Μη yπολογισιμότητα (πρόβλημα τερματισμού, Turing - αριθμησιμότητα, - αποδεκτικότητα και αποφασισιμότητα, μη επιλύσιμα προβλήματα, μ-αναδρομικές συναρτήσεις, μη επιλύσιμα προβλήματα γραμματικών). Υπολογιστική πολυπλοκότητα (χρονικά φραγμένες μηχανές Turing, κλάσεις P και NP, το πρόβλημα του περιοδεύοντος πωλητή). Προτασιακός Λογισμός (εισαγωγή, συντακτικό, τιμές αλήθειας, εγκυρότητα και ικανοποιησιμότητα).
Λιγότερα
Το μάθημα αυτό ασχολείται με τον υπολογισμό και τα μέσα που χρησιμοποιούμε για τον υπολογισμό. Ειδικότερα ανάμεσα σε άλλα εξετάζονται οι έννοιες: Σύνολα, Σχέσεις και Γλώσσες. Πεπερασμένα αυτόματα (ντετερμινιστικά, μη-ντετερμινιστικά, πεπερασμένα αυτόματα και κανονικές γλώσσες). Γλώσσες χωρίς συμφραζόμενα (γραμματικές, κανονικές γλώσσες, αυτόματα στοίβας, ιδιότητες, ντετερμινισμός και συντακτική ανάλυση). Μηχανές Turing (ορισμός, υπολογισμοί με μηχανές Turing, συνδυασμοί και επεκτάσεις). Μη yπολογισιμότητα (πρόβλημα τερματισμού, Turing - αριθμησιμότητα, - αποδεκτικότητα και αποφασισιμότητα, μη επιλύσιμα προβλήματα, μ-αναδρομικές συναρτήσεις, μη επιλύσιμα προβλήματα γραμματικών). Υπολογιστική πολυπλοκότητα (χρονικά φραγμένες μηχανές Turing, κλάσεις P και NP, το πρόβλημα του περιοδεύοντος πωλητή). Προτασιακός Λογισμός (εισαγωγή, συντακτικό, τιμές αλήθειας, εγκυρότητα και ικανοποιησιμότητα).
Το μάθημα αυτό ασχολείται με τον υπολογισμό και τα μέσα που χρησιμοποιούμε για τον υπολογισμό. Ειδικότερα ανάμεσα σε άλλα εξετάζονται οι έννοιες: Σύνολα, Σχέσεις και Γλώσσες. Πεπερασμένα αυτόματα (ντετερμινιστικά, μη-ντετερμινιστικά, πεπερασμένα αυτόματα και κανονικές γλώσσες). Γλώσσες χωρίς συμφραζόμενα (γραμματικές, κανονικές γλώσσες, αυτόματα στοίβας, ιδιότητες, ντετερμινισμός και συντακτική ανάλυση). Μηχανές Turing (ορισμός, υπολογισμοί με μηχανές Turing, συνδυασμοί και επεκτάσεις). Μη yπολογισιμότητα (πρόβλημα τερματισμού, Turing - αριθμησιμότητα, - αποδεκτικότητα και αποφασισιμότητα, μη επιλύσιμα προβλήματα, μ-αναδρομικές συναρτήσεις, μη επιλύσιμα προβλήματα γραμματικών). Υπολογιστική πολυπλοκότητα (χρονικά φραγμένες μηχανές Turing, κλάσεις P και NP, το πρόβλημα του περιοδεύοντος πωλητή). Προτασιακός Λογισμός (εισαγωγή, συντακτικό, τιμές αλήθειας, εγκυρότητα και ικανοποιησιμότητα).
Κατηγορία: ΜΗΧΑΝΙΚΩΝ ΠΛΗΡΟΦΟΡΙΚΗΣ ΤΕ » Προπτυχιακό
CC - Αναφορά - Μη Εμπορική Χρήση - Όχι Παράγωγα Έργα
 |
Στην ενότητα αυτή θα γίνει μια 1η εισαγωγή στις έννοιες: 1. Σύνολα (ορισμός, αναπαράσταση, πράξεις & ιδιότητες, μέγεθος συνόλων, απειροσύνολα και ιδιότητες), 2. Διατεταγμένα Ζεύγη (ορισμός, Καρτεσιανό γινόμενο, διαφορές από σύνολα), 3. Σχέσεις (δυαδικές σχέσεις, γραφική αναπαράσταση, σχέσεις ισοδυναμίας, κλάσεις ισοδυναμίας) και 4. Συναρτήσεις (ορισμός, ειδικοί τύποι, πράξεις).
Λέξεις κλειδιά: ENIAC, von Neumann/Turing, Transistors, Microelectronics, DRAM. |
 |
Στην ενότητα αυτή θα ολοκληρωθεί η περιγραφή των εννοιών που αναφέρθηκαν ήδη στην ΘΕ 1.
Λέξεις κλειδιά: ENIAC, von Neumann/Turing, Transistors, Microelectronics, DRAM. |
|
|
Στην ενότητα αυτή θα γίνει μια εισαγωγή στις έννοιες: Διαμέριση, Γραφήματα (Υπογράφημα, Κατηγορίες Γραφημάτων, Κατευθυνόμενο, Γράφημα, Διαδρομές και Κύκλοι, Συνεκτικότητα, Δένδρα, Κατευθυνόμενα Γραφήματα & Σχέσεις), Λέξεις & Γλώσσες και Αποδείξεις (Είδη Αποδείξεων, Απόδειξη με Κατασκευή, Απαγωγή σε Άτοπο, Επαγωγή).
Λέξεις κλειδιά: Διαμέριση, Γραφήματα (Γράφοι), Λέξεις & Γλώσσες, Αποδείξεις |
Στην ενότητα αυτή θα γίνει μια 1η εισαγωγή στις έννοιες: Λογικά Επιχειρήματα & Αποδείξεις (Ισχυρισμοί, Κανόνες Απλούστευσης Ισχυρισμών, Λογική, Ποσοδείκτες με παραδείγματα), Αλφάβητα & Γλώσσες καθώς και Πεπερασμένη Αναπαράσταση γλωσσών.
Λέξεις κλειδιά: Λογικά Επιχειρήματα, Αποδείξεις, Ποσοδείκτες, Αλφάβητα, Πεπερασμένη Αναπαράσταση.
 |
Στην ενότητα αυτή θα ολοκληρωθεί η περιγραφή των εννοιών που αναφέρθηκαν ήδη στην ΘΕ 4.
Λέξεις κλειδιά: Λογικά Επιχειρήματα, Αποδείξεις, Ποσοδείκτες, Αλφάβητα, Πεπερασμένη Αναπαράσταση. |
|
|
Στην ενότητα αυτή θα γίνει μια εισαγωγή στις έννοιες: Αλφάβητα & Γλώσσες (- Αλφάβητο, Συμβολοσειρά, Κατάληξη-Πρόθεμα-Αντιστροφή, Γλώσσα, Συνένωση), Κανονικές Εκφράσεις & Γλώσσες καθώς και Προτεραιότητα και Ίσες εκφράσεις.
Λέξεις κλειδιά: Αλφάβητα, Κανονικές Εκφράσεις, Προτεραιότητα. |
 |
Στην ενότητα αυτή θα γίνει μια εισαγωγή στις έννοιες: Ντετερμινιστικά Πεπερασμένα Αυτόματα (Ορισμός, Σχεδιασμός) και Κανονικές Πράξεις.
Λέξεις κλειδιά: Ντετερμινιστικά Πεπερασμένα Αυτόματα, Κανονικές Πράξεις. |
 |
Στην ενότητα αυτή θα γίνει μια εισαγωγή στις έννοιες: Κλειστότητα, Aνταιτιοκρατία, Δέντρο Υπολογισμού, Αυτόματο NFA, Αυτόματο DFA.
Λέξεις κλειδιά: Κλειστότητα, Aνταιτιοκρατία, Δέντρο Υπολογισμού, NFA, DFA. |
 |
Στην ενότητα αυτή θα γίνει μια εισαγωγή στις Στοιχειώδεις Κανονικές Εκφράσεις και συγκεκριμένα τις Κανονικές Εκφράσεις, τις Γλώσσες που περιγράφονται από Κανονικές Εκφράσεις, την Δημιουργία Κανονικών Εκφράσεων καθώς και Παραδείγματα Κανονικών Εκφράσεων.
Λέξεις κλειδιά: Κανονικές Εκφράσεις, Συμβολοσειρά. |
 |
Στην ενότητα αυτή θα γίνει μια αναλυτική περιγραφή των βημάτων της κατασκευής ενός Ντετερμινιστικού Πεπερασμένου Αυτόματου..
Λέξεις κλειδιά: ΝΠΑ. |
 |
Στην ενότητα αυτή θα γίνει μια εισαγωγή στις έννοιες: Αναγνωριστές & παραγωγοί γλωσσών και οι ΓΧΣ ως παραγωγοί γλωσσών: (τυπικός ορισμός, παραδείγματα παραγωγής).
Λέξεις κλειδιά: Αναγνωριστές γλωσσών, παραγωγοί γλωσσών, Γλώσσες Χωρίς Συμφραζόμενα. |
Ανοικτό Ακαδ. Μάθημα
Αρ. Επισκέψεων : 3790
Αρ. Προβολών : 48122
Ημερολόγιο
Ανακοινώσεις
- - Δεν υπάρχουν ανακοινώσεις -
