Εφαρμογές της λογικής στην πληροφορική
Το προτεινόμενο βιβλίο θα περιλαμβάνει μια εισαγωγή στους βασικούς τομείς εφαρμογών της λογικής στην πληροφορική. Η ενδεικτική θεματολογία του βιβλίου περιλαμβάνει μια εισαγωγή στο αντικείμενο της λογικής γενικά (κατηγορηματικός λογισμός), αλλά και στο εύρος των εφαρμογών της στην πληροφορική (σημασ...
| Κύριος συγγραφέας: | Στεφανέας, Πέτρος. |
|---|---|
| Άλλοι συγγραφείς: | Κολέτσος, Γεώργιος,, Δημητρακόπουλος, Κωνσταντίνος, |
| Μορφή: | Βιβλίο |
| Γλώσσα: | Greek |
| Στοιχεία έκδοσης: |
Αθήνα :
Σύνδεσμος Ελληνικών Ακαδημαϊκών Βιβλιοθηκών,
c2015.
|
| Σειρά: |
Ακαδημαϊκά Ηλεκτρονικά Συγγράμματα και Βοηθήματα Κάλλιπος
|
| Ταξινομικός αριθμός: |
004 |
| Θέματα: | |
| Διαθέσιμο Online: |
Πλήρες Κείμενο - Full text |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
| LEADER | 05230nam a2200325 a 4500 | ||
|---|---|---|---|
| 001 | kal4527 | ||
| 003 | Gr-AtHEAL | ||
| 005 | 20160427190641.0 | ||
| 006 | m d | ||
| 008 | 160413s2015 gr s gre|c | ||
| 020 | |a 9789606033681 | ||
| 040 | |a GR-AtHEAL |b gre |c GR-AtHEAL | ||
| 082 | 0 | 4 | |a 004 |2 23 |
| 100 | 1 | |a Στεφανέας, Πέτρος. |8 2316 | |
| 245 | 1 | 0 | |a Εφαρμογές της λογικής στην πληροφορική |h [Ηλεκτρονικός πόρος] |c Στεφανέας, Πέτρος ; Κολέτσος, Γεώργιος ; Κριτικός αναγνώστης,Δημητρακόπουλος, Κωνσταντίνος ; Τεχνική επιμέλεια,Ξύστρα, Αικατερίνη ; Γλωσσική επιμέλεια,Λαμπαδά, Δέσποινα. |
| 260 | |a Αθήνα : |b Σύνδεσμος Ελληνικών Ακαδημαϊκών Βιβλιοθηκών, |c c2015. | ||
| 490 | |a Ακαδημαϊκά Ηλεκτρονικά Συγγράμματα και Βοηθήματα Κάλλιπος |8 40 | ||
| 520 | |a Το προτεινόμενο βιβλίο θα περιλαμβάνει μια εισαγωγή στους βασικούς τομείς εφαρμογών της λογικής στην πληροφορική. Η ενδεικτική θεματολογία του βιβλίου περιλαμβάνει μια εισαγωγή στο αντικείμενο της λογικής γενικά (κατηγορηματικός λογισμός), αλλά και στο εύρος των εφαρμογών της στην πληροφορική (σημασιολογία προγραμματισμού, αυτόματη απόδειξη, μοντελοποίηση συστημάτων, επαλήθευση αλγορίθμων). Έμφαση θα δοθεί στις τυπικές μεθόδους λογισμικού (formal methods) που αποτελούν χαρακτηριστικό παράδειγμα εφαρμογής της λογικής στον προγραμματισμό και εν γένει την τεχνολογία λογισμικού. Ανάμεσα στα θέματα που προτείνεται να παρουσιαστούν περιλαμβάνονται ζητήματα που αφορούν τις κλασσικές και μη κλασσικές λογικές, λ-λογισμός, θεωρία τύπων (type theory), μοντέλα, ορθότητα προγραμμάτων και προδιαγραφών, συναρτησιακός προγραμματισμός, αυτόματη απόδειξη θεωρημάτων (theorem proving), λογικός προγραμματισμός, οι αποδείξεις ως προγράμματα (proofs as programs), σημασιολογία γλωσσών προγραμματισμού και προδιαγραφών συστημάτων, εξισωτική λογική (equational logic), αλγεβρικές προδιαγραφές (algebraic specifications) συστημάτων. Τεχνικές προδιαγραφών και επαλήθευσης ιδιοτήτων προγραμμάτων και συστημάτων. Η γλώσσα αλγεβρικών προδιαγραφών CafeOBJ θα χρησιμοποιηθεί ως παράδειγμα γλώσσας που βασίζεται στη λογική (συνδυασμός συστημάτων εξισωτικής λογικής) και χρησιμοποιείται σε εφαρμογές στη μοντελοποίηση λογισμικού. Θα παρουσιαστούν επίσης συνοπτικά άλλες γλώσσες που βασίζονται στη λογική και εφαρμογές τους, όπως για παράδειγμα γλώσσες του συναρτησιακού προγραμματισμού (Lisp).Αξίζει να αναφερθεί ότι το μάθημα αυτό θεωρείται ιδιαίτερα σημαντικό διεθνώς στις σπουδές της πληροφορικής (computer science) και των εφαρμοσμένων μαθηματικών στην πληροφορική. | ||
| 650 | 0 | |a Logic, Symbolic and mathematical |8 2725 | |
| 650 | 0 | |a Computer science |8 2726 | |
| 653 | |a Λογική πληροφορική | ||
| 653 | |a Επιστήμη υπολογιστών / Πληροφορική |a Γλώσσες προγραμματισμού |a Λογικός προγραμματισμός | ||
| 653 | |a Λογική και φιλοσοφία της λογικής | ||
| 700 | 1 | |a Κολέτσος, Γεώργιος, |e συγγραφέας. |8 2317 | |
| 700 | 1 | |a Δημητρακόπουλος, Κωνσταντίνος, |e κριτικός αναγνώστης. |8 2318 | |
| 856 | 4 | 0 | |u http://hdl.handle.net/11419/4527 |z Πλήρες Κείμενο - Full text |
| 907 | |a .b25678693 |b 12-06-18 |c 29-07-16 | ||
| 949 | |0 0 |1 0 |2 ddc |4 0 |6 004_000000000000000_ΣΤΕ |7 0 |8 KALL |8 628 |d 2016-04-13 |r 2016-04-13 |w 2016-04-13 |z 004 ΣΤΕ |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 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 | ||