Θεωρία υπολογισμού και εφαρμογές
Η Θεωρία Υπολογισμού αναπτύχθηκε για να μελετηθούν θεμελιώδη ζητήματα σχετικά με την έννοια του υπολογισμού και τις δυνατότητες των υπολογιστικών μας μηχανών. Ο υπολογισμός είναι ένα φυσικό φαινόμενο, που εκτελείται σε ένα κλειστό σύστημα που το ονομάζουμε υπολογιστή. Ποιοι υπολογισμοί είναι πραγματ...
| Κύριος συγγραφέας: | Κατσαρός, Παναγιώτης. |
|---|---|
| Άλλοι συγγραφείς: | Σταμέλος Ιωάννης |
| Μορφή: | Βιβλίο |
| Γλώσσα: | Greek |
| Στοιχεία έκδοσης: |
Αθήνα :
Σύνδεσμος Ελληνικών Ακαδημαϊκών Βιβλιοθηκών,
c2015.
|
| Σειρά: |
Ακαδημαϊκά Ηλεκτρονικά Συγγράμματα και Βοηθήματα Κάλλιπος
|
| Ταξινομικός αριθμός: |
511.3 |
| Θέματα: | |
| Διαθέσιμο Online: |
Πλήρες Κείμενο - Full text |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
| LEADER | 06240nam a2200349 a 4500 | ||
|---|---|---|---|
| 001 | kal5744 | ||
| 003 | Gr-AtHEAL | ||
| 005 | 20160427135224.0 | ||
| 006 | m d | ||
| 008 | 160413s2015 gr s gre|c | ||
| 020 | |a 9789606034060 | ||
| 040 | |a GR-AtHEAL |b gre |c GR-AtHEAL | ||
| 082 | 0 | 4 | |a 511.3 |2 23 |
| 100 | 1 | |a Κατσαρός, Παναγιώτης. |8 2585 | |
| 245 | 1 | 0 | |a Θεωρία υπολογισμού και εφαρμογές |h [Ηλεκτρονικός πόρος] |c Κατσαρός, Παναγιώτης ; Κριτικός αναγνώστης,Σταμέλος, Ιωάννης ; Τεχνική επιμέλεια,Στάχτιαρη, Εμμανουέλα ; Γλωσσική επιμέλεια,Παππάς, Βασίλειος. |
| 260 | |a Αθήνα : |b Σύνδεσμος Ελληνικών Ακαδημαϊκών Βιβλιοθηκών, |c c2015. | ||
| 490 | |a Ακαδημαϊκά Ηλεκτρονικά Συγγράμματα και Βοηθήματα Κάλλιπος |8 40 | ||
| 505 | |a 1. Γλώσσες και υπολογισμοί2. Κανονικές γλώσσες και πεπερασμένα αυτόματα3. Ελαχιστοποίηση και μη Κανονικές γλώσσες4. Γλώσσες και γραμματικές χωρίς συμφραζόμενα5. Αυτόματα στοίβας και γλώσσες που δεν είναι χωρίς συμφραζόμενα6. Μηχανές turing7. Επιλυσιμότητα και μη επιλυσιμότητα8. Υπολογίσιμες συναρτήσεις9. Υπολογιστική πολυπλοκότητα10. NP-πληρότητα | ||
| 520 | |a Η Θεωρία Υπολογισμού αναπτύχθηκε για να μελετηθούν θεμελιώδη ζητήματα σχετικά με την έννοια του υπολογισμού και τις δυνατότητες των υπολογιστικών μας μηχανών. Ο υπολογισμός είναι ένα φυσικό φαινόμενο, που εκτελείται σε ένα κλειστό σύστημα που το ονομάζουμε υπολογιστή. Ποιοι υπολογισμοί είναι πραγματοποιήσιμοι και ποιοι υπολογισμοί είναι αδύνατοι; Πώς μπορούμε να ξέρουμε αν ένα δοθέν πρόβλημα μπορεί να επιλυθεί και αν αυτό μπορεί να γίνει επαρκώς γρήγορα;Για να απαντηθούν τα παραπάνω ερωτήματα, οι επιστήμονες εμπνέυστηκαν αφαιρετικά μοντέλα υπολογισμού, όπως οι αναδρομικές συναρτήσεις, ο λογισμός-λ, οι μηχανές Turing και οι μηχανές πεπερασμένων καταστάσεων. Ο ορισμός των μοντέλων υπολογισμού χαρακτηρίζεται από μία μαθηματική αυστηρότητα, που είναι αναγκαία για την απόδειξη αποτελεσμάτων που απαντούν στα ερωτήματα που τέθηκανΗ Μηχανή Turing, ένα θεωρητικό μοντέλο μηχανής, που πρότεινε ο Alan Turing το 1936 έχει αποδειχθεί ως το μέχρι σήμερα πιο εκφραστικό μοντέλο, καθώς αυτό μπορεί να αναπαραστήσει τον οποιοδήποτε υπολογισμό μιας υπολογιστικής μηχανής. Οι μηχανές πεπερασμένων καταστάσεων συνδυάζουν την απλότητα της αναπαράστασης του υπολογισμού με σημαντικές δυνατότητες έκφρασης υπολογισμών και γι αυτό έχουν πολλές εφαρμογές στη σχεδίαση και ανάλυση της συμπεριφοράς συστημάτων όπως οι αυτόματες μηχανές πώλησης, τα ηλεκτρονικά παιχνίδια, οι μονάδες ελέγχου των CPUs και άλλες εφαρμογές όπως η ανάλυση κειμένου, η ανάλυση πρωτοκόλλων δικτύων και η επεξεργασία φυσικής γλώσσας. Διάφορες επεκτάσεις μοντέλων υπολογισμού όπως αυτά που αναφέρθηκαν βρίσκουν επίσης εφαρμογή στη μελέτη βιολογικών συστημάτων και ενσωματωμένων συστημάτων, που αλληλεπιδρούν με το περιβάλλον σε πραγματικό χρόνοΤο ηλεκτρονικό βιβλίο "Θεωρία Υπολογισμού και Εφαρμογές" είναι μία πρωτότυπη παρουσίαση των βασικών αποτελεσμάτων της Θεωρίας Υπολογισμού διανθισμένη με πλήθος εφαρμογών από διάφορα πεδία, προσομοιώσεις, κριτήρια αξιολόγησης, καθώς και εκτεταμένο πολυμεσικό και διαδραστικό περιεχόμενο. | ||
| 650 | 0 | |a Computational complexity |8 2697 | |
| 653 | |a Υπολογιστική πολυπλοκότητα | ||
| 653 | |a Υπολογισιμότητα | ||
| 653 | |a Γραμματικές | ||
| 653 | |a Αυτόματα | ||
| 653 | |a Γλώσσες | ||
| 653 | |a Επιστήμη υπολογιστών/Πληροφορική |a Υπολογιστική επιστήμη | ||
| 700 | 1 | |a Σταμέλος Ιωάννης |e Κριτικός αναγνώστης |8 2586 | |
| 856 | 4 | 0 | |u http://hdl.handle.net/11419/5744 |z Πλήρες Κείμενο - Full text |
| 907 | |a .b25678863 |b 12-06-18 |c 29-07-16 | ||
| 949 | |0 0 |1 0 |2 ddc |4 0 |6 511_300000000000000_ΚΑΤ |7 0 |8 KALL |8 645 |d 2016-04-13 |r 2016-04-13 |w 2016-04-13 |z 511.3 ΚΑΤ |o SEAB KALLIPOS | ||
| 998 | |a 80 |a 01 |a 02 |a 03 |a 04 |a 05 |a 06 |a 07 |a 08 |a 09 |a 10 |a 11 |a 12 |a 12 |a 13 |a 14 |a 15 |a 16 |a 17 |a 18 |a 19 |a 20 |a 21 |a 22 |a 23 |a 24 |a 25 |a 26 |b 10-05-17 |c m |d z |e - |f gre |g gr |h 0 | ||
| 942 | |2 ddc |c KALLIPOS | ||