Θεωρία υπολογισμού και εφαρμογές
Η Θεωρία Υπολογισμού αναπτύχθηκε για να μελετηθούν θεμελιώδη ζητήματα σχετικά με την έννοια του υπολογισμού και τις δυνατότητες των υπολογιστικών μας μηχανών. Ο υπολογισμός είναι ένα φυσικό φαινόμενο, που εκτελείται σε ένα κλειστό σύστημα που το ονομάζουμε υπολογιστή. Ποιοι υπολογισμοί είναι πραγματ...
Κύριοι συγγραφείς: | , |
---|---|
Μορφή: | 1 |
Γλώσσα: | Greek |
Έκδοση: |
2016
|
Θέματα: | |
Διαθέσιμο Online: | http://dx.doi.org/10.57713/kallipos-478 http://repository.kallipos.gr/handle/11419/5744 |
id |
kallipos-11419-5744 |
---|---|
record_format |
dspace |
spelling |
kallipos-11419-57442024-04-15T21:18:57Z Θεωρία υπολογισμού και εφαρμογές Κατσαρός, Παναγιώτης Katsaros, Panagiotis ΓΛΩΣΣΕΣ ΑΥΤΟΜΑΤΑ ΓΡΑΜΜΑΤΙΚΕΣ ΥΠΟΛΟΓΙΣΙΜΟΤΗΤΑ ΥΠΟΛΟΓΙΣΤΙΚΗ ΠΟΛΥΠΛΟΚΟΤΗΤΑ Languages Automata Grammars Computability Computational Complexity Η Θεωρία Υπολογισμού αναπτύχθηκε για να μελετηθούν θεμελιώδη ζητήματα σχετικά με την έννοια του υπολογισμού και τις δυνατότητες των υπολογιστικών μας μηχανών. Ο υπολογισμός είναι ένα φυσικό φαινόμενο, που εκτελείται σε ένα κλειστό σύστημα που το ονομάζουμε υπολογιστή. Ποιοι υπολογισμοί είναι πραγματοποιήσιμοι και ποιοι υπολογισμοί είναι αδύνατοι; Πώς μπορούμε να ξέρουμε αν ένα δοθέν πρόβλημα μπορεί να επιλυθεί και αν αυτό μπορεί να γίνει επαρκώς γρήγορα;<br/>Για να απαντηθούν τα παραπάνω ερωτήματα, οι επιστήμονες εμπνέυστηκαν αφαιρετικά μοντέλα υπολογισμού, όπως οι αναδρομικές συναρτήσεις, ο λογισμός-λ, οι μηχανές Turing και οι μηχανές πεπερασμένων καταστάσεων. Ο ορισμός των μοντέλων υπολογισμού χαρακτηρίζεται από μία μαθηματική αυστηρότητα, που είναι αναγκαία για την απόδειξη αποτελεσμάτων που απαντούν στα ερωτήματα που τέθηκαν.<br/>Η Μηχανή Turing, ένα θεωρητικό μοντέλο μηχανής, που πρότεινε ο Alan Turing το 1936 έχει αποδειχθεί ως το μέχρι σήμερα πιο εκφραστικό μοντέλο, καθώς αυτό μπορεί να αναπαραστήσει τον οποιοδήποτε υπολογισμό μιας υπολογιστικής μηχανής. Οι μηχανές πεπερασμένων καταστάσεων συνδυάζουν την απλότητα της αναπαράστασης του υπολογισμού με σημαντικές δυνατότητες έκφρασης υπολογισμών και γι αυτό έχουν πολλές εφαρμογές στη σχεδίαση και ανάλυση της συμπεριφοράς συστημάτων όπως οι αυτόματες μηχανές πώλησης, τα ηλεκτρονικά παιχνίδια, οι μονάδες ελέγχου των CPUs και άλλες εφαρμογές όπως η ανάλυση κειμένου, η ανάλυση πρωτοκόλλων δικτύων και η επεξεργασία φυσικής γλώσσας. <br/>Διάφορες επεκτάσεις μοντέλων υπολογισμού όπως αυτά που αναφέρθηκαν βρίσκουν επίσης εφαρμογή στη μελέτη βιολογικών συστημάτων και ενσωματωμένων συστημάτων, που αλληλεπιδρούν με το περιβάλλον σε πραγματικό χρόνο.<br/>Το ηλεκτρονικό βιβλίο "Θεωρία Υπολογισμού και Εφαρμογές" είναι μία πρωτότυπη παρουσίαση των βασικών αποτελεσμάτων της Θεωρίας Υπολογισμού διανθισμένη με πλήθος εφαρμογών από διάφορα πεδία, προσομοιώσεις, κριτήρια αξιολόγησης, καθώς και εκτεταμένο πολυμεσικό και διαδραστικό περιεχόμενο. 2016-03-27T17:01:58Z 2021-07-09T14:46:57Z 2024-02-23T17:48:56Z 2024-03-01T10:50:36Z 2016-03-27T17:01:58Z 2021-07-09T14:46:57Z 2024-02-23T17:48:56Z 2024-03-01T10:50:36Z 2016-03-27 1 978-960-603-406-0 http://dx.doi.org/10.57713/kallipos-478 http://repository.kallipos.gr/handle/11419/5744 59303543 el 1 220 application/pdf application/pdf |
institution |
Kallipos |
collection |
DSpace |
language |
Greek |
topic |
ΓΛΩΣΣΕΣ ΑΥΤΟΜΑΤΑ ΓΡΑΜΜΑΤΙΚΕΣ ΥΠΟΛΟΓΙΣΙΜΟΤΗΤΑ ΥΠΟΛΟΓΙΣΤΙΚΗ ΠΟΛΥΠΛΟΚΟΤΗΤΑ Languages Automata Grammars Computability Computational Complexity |
spellingShingle |
ΓΛΩΣΣΕΣ ΑΥΤΟΜΑΤΑ ΓΡΑΜΜΑΤΙΚΕΣ ΥΠΟΛΟΓΙΣΙΜΟΤΗΤΑ ΥΠΟΛΟΓΙΣΤΙΚΗ ΠΟΛΥΠΛΟΚΟΤΗΤΑ Languages Automata Grammars Computability Computational Complexity Κατσαρός, Παναγιώτης Katsaros, Panagiotis Θεωρία υπολογισμού και εφαρμογές |
description |
Η Θεωρία Υπολογισμού αναπτύχθηκε για να μελετηθούν θεμελιώδη ζητήματα σχετικά με την έννοια του υπολογισμού και τις δυνατότητες των υπολογιστικών μας μηχανών. Ο υπολογισμός είναι ένα φυσικό φαινόμενο, που εκτελείται σε ένα κλειστό σύστημα που το ονομάζουμε υπολογιστή. Ποιοι υπολογισμοί είναι πραγματοποιήσιμοι και ποιοι υπολογισμοί είναι αδύνατοι; Πώς μπορούμε να ξέρουμε αν ένα δοθέν πρόβλημα μπορεί να επιλυθεί και αν αυτό μπορεί να γίνει επαρκώς γρήγορα;<br/>Για να απαντηθούν τα παραπάνω ερωτήματα, οι επιστήμονες εμπνέυστηκαν αφαιρετικά μοντέλα υπολογισμού, όπως οι αναδρομικές συναρτήσεις, ο λογισμός-λ, οι μηχανές Turing και οι μηχανές πεπερασμένων καταστάσεων. Ο ορισμός των μοντέλων υπολογισμού χαρακτηρίζεται από μία μαθηματική αυστηρότητα, που είναι αναγκαία για την απόδειξη αποτελεσμάτων που απαντούν στα ερωτήματα που τέθηκαν.<br/>Η Μηχανή Turing, ένα θεωρητικό μοντέλο μηχανής, που πρότεινε ο Alan Turing το 1936 έχει αποδειχθεί ως το μέχρι σήμερα πιο εκφραστικό μοντέλο, καθώς αυτό μπορεί να αναπαραστήσει τον οποιοδήποτε υπολογισμό μιας υπολογιστικής μηχανής. Οι μηχανές πεπερασμένων καταστάσεων συνδυάζουν την απλότητα της αναπαράστασης του υπολογισμού με σημαντικές δυνατότητες έκφρασης υπολογισμών και γι αυτό έχουν πολλές εφαρμογές στη σχεδίαση και ανάλυση της συμπεριφοράς συστημάτων όπως οι αυτόματες μηχανές πώλησης, τα ηλεκτρονικά παιχνίδια, οι μονάδες ελέγχου των CPUs και άλλες εφαρμογές όπως η ανάλυση κειμένου, η ανάλυση πρωτοκόλλων δικτύων και η επεξεργασία φυσικής γλώσσας. <br/>Διάφορες επεκτάσεις μοντέλων υπολογισμού όπως αυτά που αναφέρθηκαν βρίσκουν επίσης εφαρμογή στη μελέτη βιολογικών συστημάτων και ενσωματωμένων συστημάτων, που αλληλεπιδρούν με το περιβάλλον σε πραγματικό χρόνο.<br/>Το ηλεκτρονικό βιβλίο "Θεωρία Υπολογισμού και Εφαρμογές" είναι μία πρωτότυπη παρουσίαση των βασικών αποτελεσμάτων της Θεωρίας Υπολογισμού διανθισμένη με πλήθος εφαρμογών από διάφορα πεδία, προσομοιώσεις, κριτήρια αξιολόγησης, καθώς και εκτεταμένο πολυμεσικό και διαδραστικό περιεχόμενο. |
format |
1 |
author |
Κατσαρός, Παναγιώτης Katsaros, Panagiotis |
author_facet |
Κατσαρός, Παναγιώτης Katsaros, Panagiotis |
author_sort |
Κατσαρός, Παναγιώτης |
title |
Θεωρία υπολογισμού και εφαρμογές |
title_short |
Θεωρία υπολογισμού και εφαρμογές |
title_full |
Θεωρία υπολογισμού και εφαρμογές |
title_fullStr |
Θεωρία υπολογισμού και εφαρμογές |
title_full_unstemmed |
Θεωρία υπολογισμού και εφαρμογές |
title_sort |
θεωρία υπολογισμού και εφαρμογές |
publishDate |
2016 |
url |
http://dx.doi.org/10.57713/kallipos-478 http://repository.kallipos.gr/handle/11419/5744 |
work_keys_str_mv |
AT katsarospanagiōtēs theōriaypologismoukaiepharmoges AT katsarospanagiotis theōriaypologismoukaiepharmoges |
_version_ |
1799946640674521088 |