05230nam a2200325 a 4500 kal4527 Gr-AtHEAL 20160427190641.0 m d 160413s2015 gr s gre|c 9789606033681 GR-AtHEAL gre GR-AtHEAL 004 23 Στεφανέας, Πέτρος. 2316 Εφαρμογές της λογικής στην πληροφορική [Ηλεκτρονικός πόρος] Στεφανέας, Πέτρος ; Κολέτσος, Γεώργιος ; Κριτικός αναγνώστης,Δημητρακόπουλος, Κωνσταντίνος ; Τεχνική επιμέλεια,Ξύστρα, Αικατερίνη ; Γλωσσική επιμέλεια,Λαμπαδά, Δέσποινα. Αθήνα : Σύνδεσμος Ελληνικών Ακαδημαϊκών Βιβλιοθηκών, c2015. Ακαδημαϊκά Ηλεκτρονικά Συγγράμματα και Βοηθήματα Κάλλιπος 40 Το προτεινόμενο βιβλίο θα περιλαμβάνει μια εισαγωγή στους βασικούς τομείς εφαρμογών της λογικής στην πληροφορική. Η ενδεικτική θεματολογία του βιβλίου περιλαμβάνει μια εισαγωγή στο αντικείμενο της λογικής γενικά (κατηγορηματικός λογισμός), αλλά και στο εύρος των εφαρμογών της στην πληροφορική (σημασιολογία προγραμματισμού, αυτόματη απόδειξη, μοντελοποίηση συστημάτων, επαλήθευση αλγορίθμων). Έμφαση θα δοθεί στις τυπικές μεθόδους λογισμικού (formal methods) που αποτελούν χαρακτηριστικό παράδειγμα εφαρμογής της λογικής στον προγραμματισμό και εν γένει την τεχνολογία λογισμικού. Ανάμεσα στα θέματα που προτείνεται να παρουσιαστούν περιλαμβάνονται ζητήματα που αφορούν τις κλασσικές και μη κλασσικές λογικές, λ-λογισμός, θεωρία τύπων (type theory), μοντέλα, ορθότητα προγραμμάτων και προδιαγραφών, συναρτησιακός προγραμματισμός, αυτόματη απόδειξη θεωρημάτων (theorem proving), λογικός προγραμματισμός, οι αποδείξεις ως προγράμματα (proofs as programs), σημασιολογία γλωσσών προγραμματισμού και προδιαγραφών συστημάτων, εξισωτική λογική (equational logic), αλγεβρικές προδιαγραφές (algebraic specifications) συστημάτων. Τεχνικές προδιαγραφών και επαλήθευσης ιδιοτήτων προγραμμάτων και συστημάτων. Η γλώσσα αλγεβρικών προδιαγραφών CafeOBJ θα χρησιμοποιηθεί ως παράδειγμα γλώσσας που βασίζεται στη λογική (συνδυασμός συστημάτων εξισωτικής λογικής) και χρησιμοποιείται σε εφαρμογές στη μοντελοποίηση λογισμικού. Θα παρουσιαστούν επίσης συνοπτικά άλλες γλώσσες που βασίζονται στη λογική και εφαρμογές τους, όπως για παράδειγμα γλώσσες του συναρτησιακού προγραμματισμού (Lisp).Αξίζει να αναφερθεί ότι το μάθημα αυτό θεωρείται ιδιαίτερα σημαντικό διεθνώς στις σπουδές της πληροφορικής (computer science) και των εφαρμοσμένων μαθηματικών στην πληροφορική. Logic, Symbolic and mathematical 2725 Computer science 2726 Λογική πληροφορική Επιστήμη υπολογιστών / Πληροφορική Γλώσσες προγραμματισμού Λογικός προγραμματισμός Λογική και φιλοσοφία της λογικής Κολέτσος, Γεώργιος, συγγραφέας. 2317 Δημητρακόπουλος, Κωνσταντίνος, κριτικός αναγνώστης. 2318 http://hdl.handle.net/11419/4527 Πλήρες Κείμενο - Full text .b25678693 12-06-18 29-07-16 0 0 ddc 0 004_000000000000000_ΣΤΕ 0 KALL 628 2016-04-13 2016-04-13 2016-04-13 004 ΣΤΕ SEAB KALLIPOS 80 01 02 03 04 05 06 07 08 09 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 10-05-17 m z - gre gr 0 ddc KALLIPOS