DSpace

Πληροφορίες Τίτλου
Τίτλος: Θεωρία υπολογισμού και εφαρμογές
Συγγραφείς:Κατσαρός, Παναγιώτης
Κριτικός Αναγνώστης: Σταμέλος, Ιωάννης
Σχολές/Τμήματα: ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ, ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣ/ΝΙΚΗΣ
Θέμα: 
Λέξεις-κλειδιά: 
ΓΛΩΣΣΕΣ
ΑΥΤΟΜΑΤΑ
ΓΡΑΜΜΑΤΙΚΕΣ
ΥΠΟΛΟΓΙΣΙΜΟΤΗΤΑ
ΥΠΟΛΟΓΙΣΤΙΚΗ ΠΟΛΥΠΛΟΚΟΤΗΤΑ
Περιγραφή
Περίληψη: 
Η Θεωρία Υπολογισμού αναπτύχθηκε για να μελετηθούν θεμελιώδη ζητήματα σχετικά με την έννοια του υπολογισμού και τις δυνατότητες των υπολογιστικών μας μηχανών. Ο υπολογισμός είναι ένα φυσικό φαινόμενο, που εκτελείται σε ένα κλειστό σύστημα που το ονομάζουμε υπολογιστή. Ποιοι υπολογισμοί είναι πραγματοποιήσιμοι και ποιοι υπολογισμοί είναι αδύνατοι; Πώς μπορούμε να ξέρουμε αν ένα δοθέν πρόβλημα μπορεί να επιλυθεί και αν αυτό μπορεί να γίνει επαρκώς γρήγορα;
Για να απαντηθούν τα παραπάνω ερωτήματα, οι επιστήμονες εμπνέυστηκαν αφαιρετικά μοντέλα υπολογισμού, όπως οι αναδρομικές συναρτήσεις, ο λογισμός-λ, οι μηχανές Turing και οι μηχανές πεπερασμένων καταστάσεων. Ο ορισμός των μοντέλων υπολογισμού χαρακτηρίζεται από μία μαθηματική αυστηρότητα, που είναι αναγκαία για την απόδειξη αποτελεσμάτων που απαντούν στα ερωτήματα που τέθηκαν.
Η Μηχανή Turing, ένα θεωρητικό μοντέλο μηχανής, που πρότεινε ο Alan Turing το 1936 έχει αποδειχθεί ως το μέχρι σήμερα πιο εκφραστικό μοντέλο, καθώς αυτό μπορεί να αναπαραστήσει τον οποιοδήποτε υπολογισμό μιας υπολογιστικής μηχανής. Οι μηχανές πεπερασμένων καταστάσεων συνδυάζουν την απλότητα της αναπαράστασης του υπολογισμού με σημαντικές δυνατότητες έκφρασης υπολογισμών και γι αυτό έχουν πολλές εφαρμογές στη σχεδίαση και ανάλυση της συμπεριφοράς συστημάτων όπως οι αυτόματες μηχανές πώλησης, τα ηλεκτρονικά παιχνίδια, οι μονάδες ελέγχου των CPUs και άλλες εφαρμογές όπως η ανάλυση κειμένου, η ανάλυση πρωτοκόλλων δικτύων και η επεξεργασία φυσικής γλώσσας.
Διάφορες επεκτάσεις μοντέλων υπολογισμού όπως αυτά που αναφέρθηκαν βρίσκουν επίσης εφαρμογή στη μελέτη βιολογικών συστημάτων και ενσωματωμένων συστημάτων, που αλληλεπιδρούν με το περιβάλλον σε πραγματικό χρόνο.
Το ηλεκτρονικό βιβλίο "Θεωρία Υπολογισμού και Εφαρμογές" είναι μία πρωτότυπη παρουσίαση των βασικών αποτελεσμάτων της Θεωρίας Υπολογισμού διανθισμένη με πλήθος εφαρμογών από διάφορα πεδία, προσομοιώσεις, κριτήρια αξιολόγησης, καθώς και εκτεταμένο πολυμεσικό και διαδραστικό περιεχόμενο.
Ημερομηνία Δημιουργίας: 2015
Πληροφορίες Τεκμηρίου
Είδος Τεκμηρίου: Σύγγραμμα
URI: http://hdl.handle.net/11419/5744
ISBN: 978-960-603-406-0
ID Ευδόξου: 59303543
Βιβλιογραφική Αναφορά:Κατσαρός, Π., 2015. Θεωρία υπολογισμού και εφαρμογές. [ηλεκτρ. βιβλ.] Αθήνα:Σύνδεσμος Ελληνικών Ακαδημαϊκών Βιβλιοθηκών. Διαθέσιμο στο: http://hdl.handle.net/11419/5744
Γλώσσα: Ελληνικά
Αποτελείται από: 1. Γλώσσες και Υπολογισμοί
2. Κανονικές Γλώσσες και Πεπερασμένα Αυτόματα
3. Ελαχιστοποίηση και Μη Κανονικές Γλώσσες
4. Γλώσσες και Γραμματικές Χωρίς Συμφραζόμενα
5. Αυτόματα Στοίβας και Γλώσσες που δεν είναι Χωρίς Συμφραζόμενα
6. Μηχανές Turing
7. Επιλυσιμότητα και Μη Επιλυσιμότητα
8. Υπολογίσιμες Συναρτήσεις
9. Υπολογιστική Πολυπλοκότητα
10. NP-πληρότητα
Άδεια Χρήσης: Αναφορά - Μη Εμπορική Χρήση - Όχι Παράγωγα Έργα
Σχετικά Μαθήματα: 
1. ΘΕΩΡΙΑ ΓΛΩΣΣΩΝ ΚΑΙ ΑΥΤΟΜΑΤΩΝ [ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣ/ΝΙΚΗΣ, ΣΧΟΛΗ ΘΕΤΙΚΩΝ ΕΠΙΣΤΗΜΩΝ, ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ]
2. ΘΕΩΡΙΑ ΥΠΟΛΟΓΙΣΜΟΥ [ΕΘΝΙΚΟ & ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ, ΣΧΟΛΗ ΘΕΤΙΚΩΝ ΕΠΙΣΤΗΜΩΝ, ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΚΑΙ ΤΗΛΕΠΙΚΟΙΝΩΝΙΩΝ]
3. ΑΥΤΟΜΑΤΑ & ΠΟΛΥΠΛΟΚΟΤΗΤΑ [ΟΙΚΟΝΟΜΙΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ, ΣΧΟΛΗ ΕΠΙΣΤΗΜΩΝ ΚΑΙ ΤΕΧΝΟΛΟΓΙΑΣ ΤΗΣ ΠΛΗΡΟΦΟΡΙΑΣ, ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ]
4. ΥΠΟΛΟΓΙΣΙΜΟΤΗΤΑ [ΟΙΚΟΝΟΜΙΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ, ΣΧΟΛΗ ΕΠΙΣΤΗΜΩΝ ΚΑΙ ΤΕΧΝΟΛΟΓΙΑΣ ΤΗΣ ΠΛΗΡΟΦΟΡΙΑΣ, ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ]
5. ΥΠΟΛΟΓΙΣΙΜΟΤΗΤΑ ΚΑΙ ΠΟΛΥΠΛΟΚΟΤΗΤΑ [ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ, ΣΧΟΛΗ ΗΛΕΚΤΡΟΛΟΓΩΝ ΜΗΧΑΝΙΚΩΝ ΚΑΙ ΜΗΧΑΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ, ΤΜΗΜΑ ΗΛΕΚΤΡΟΛΟΓΩΝ ΜΗΧΑΝΙΚΩΝ ΚΑΙ ΜΗΧΑΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ]
6. ΘΕΩΡΙΑ ΥΠΟΛΟΓΙΣΜΟΥ [ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ, ΣΧΟΛΗ ΗΛΕΚΤΡΟΛΟΓΩΝ ΜΗΧΑΝΙΚΩΝ ΚΑΙ ΜΗΧΑΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ, ΤΜΗΜΑ ΗΛΕΚΤΡΟΛΟΓΩΝ ΜΗΧΑΝΙΚΩΝ ΚΑΙ ΜΗΧΑΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ]
7. Θεωρία Υπολογισμού [ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ, ΣΧΟΛΗ ΘΕΤΙΚΩΝ & ΤΕΧΝΟΛΟΓΙΚΩΝ ΕΠΙΣΤΗΜΩΝ, ΤΜΗΜΑ ΕΠΙΣΤΗΜΗΣ ΥΠΟΛΟΓΙΣΤΩΝ]
8. Θεωρία Υπολογισμού [ΠΟΛΥΤΕΧΝΕΙΟ ΚΡΗΤΗΣ, ΣΧΟΛΗ ΗΛΕΚΤΡΟΝΙΚΩΝ ΜΗΧΑΝΙΚΩΝ ΚΑΙ ΜΗΧΑΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ, ΤΜΗΜΑ ΗΛΕΚΤΡΟΝΙΚΩΝ ΜΗΧΑΝΙΚΩΝ ΚΑΙ ΜΗΧΑΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ]
9. ΕΙΣΑΓΩΓΗ ΣΤΗ ΘΕΩΡΙΑ ΥΠΟΛΟΓΙΣΜΟΥ [ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΙΑΣ, ΣΧΟΛΗ ΠΟΛΥΤΕΧΝΙΚΗ, ΤΜΗΜΑ ΗΛΕΚΤΡΟΛΟΓΩΝ ΜΗΧΑΝΙΚΩΝ ΚΑΙ ΜΗΧΑΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ]
10. ΘΕΩΡΙΑ ΠΟΛΥΠΛΟΚΟΤΗΤΑΣ [ΠΑΝΕΠΙΣΤΗΜΙΟ ΔΥΤΙΚΗΣ ΜΑΚΕΔΟΝΙΑΣ, ΣΧΟΛΗ ΠΟΛΥΤΕΧΝΙΚΗ, ΤΜΗΜΑ ΜΗΧΑΝΙΚΩΝ ΠΛΗΡΟΦΟΡΙΚΗΣ ΚΑΙ ΤΗΛΕΠΙΚΟΙΝΩΝΙΩΝ]
Γλωσσική Επιμέλεια: Παππάς, Βασίλειος
Τεχνική Επεξεργασία: Σταχτιάρη, Εμμανουέλα
Τύπος έκδοσης: Εκδόσεις Κάλλιπος
Εμφανίζεται στις συλλογές:Επιστήμες Μηχανικών και Πληροφορική

Thumbnail

Αρχεία σε αυτό το τεκμήριο:

Μορφότυπο Μέγεθος Περιγραφή
Adobe PDF5,33 MB-KατεβάστεΔείτε

Όλα τα τεκμήρια του δικτυακού τόπου προστατεύονται από πνευματικά δικαιώματα

Όροι χρήσης HEAL-Link © 2015

HEAL-Link NTUA GRNET European Union EDULLL ESPA