DSpace

Πληροφορίες Τίτλου
Τίτλος: Εφαρμογές της λογικής στην πληροφορική
Συγγραφείς:Στεφανέας, Πέτρος
Κολέτσος, Γεώργιος
Κριτικός Αναγνώστης: Δημητρακόπουλος, Κωνσταντίνος
Σχολές/Τμήματα: ΤΜΗΜΑ ΕΦΑΡΜΟΣΜΕΝΩΝ ΜΑΘΗΜΑΤΙΚΩΝ ΚΑΙ ΦΥΣΙΚΩΝ ΕΠΙΣΤΗΜΩΝ, ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ
ΤΜΗΜΑ ΗΛΕΚΤΡΟΛΟΓΩΝ ΜΗΧΑΝΙΚΩΝ ΚΑΙ ΜΗΧΑΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ, ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ
Θέμα: 
Λέξεις-κλειδιά: 
ΛΟΓΙΚΗ ΠΛΗΡΟΦΟΡΙΚΗ
Περιγραφή
Περίληψη: 
Το προτεινόμενο βιβλίο θα περιλαμβάνει μια εισαγωγή στους βασικούς τομείς εφαρμογών της λογικής στην πληροφορική. Η ενδεικτική θεματολογία του βιβλίου περιλαμβάνει μια εισαγωγή στο αντικείμενο της λογικής γενικά (κατηγορηματικός λογισμός), αλλά και στο εύρος των εφαρμογών της στην πληροφορική (σημασιολογία προγραμματισμού, αυτόματη απόδειξη, μοντελοποίηση συστημάτων, επαλήθευση αλγορίθμων). Έμφαση θα δωθεί στις τυπικές μεθόδους λογισμικού (formal methods) που αποτελούν χαρακτηριστικό
παράδειγμα εφαρμογής της λογικής στον προγραμματισμό και εν γένει την τεχνολογία λογισμικού.

Ανάμεσα στα θέματα που προτείνεται να παρουσιαστούν περιλαμβάνονται ζητήματα που αφορούν τις κλασσικές και μη κλασσικές λογικές, λ-λογισμός, θεωρία τύπων (type theory), μοντέλα, ορθότητα προγραμμάτων και προδιαγραφών, συναρτησιακός προγραμματισμός,
αυτόματη απόδειξη θεωρημάτων (theorem proving), λογικός προγραμματισμός, οι αποδείξεις ως προγράμματα (proofs as programs), σημασιολογία γλωσσών προγραμματισμού και προδιαγραφών συστημάτων, εξισωτική λογική (equational logic), αλγεβρικές προδιαγραφές (algebraic specifications) συστημάτων. Τεχνικές προδιαγραφών και επαλήθευσης ιδιοτήτων προγραμμάτων και συστημάτων.

Η γλώσσα αλγεβρικών προδιαγραφών CafeOBJ θα χρησιμοποιηθεί ως παράδειγμα γλώσσας που βασίζεται στη λογική (συνδιασμός συστημάτων εξισωτικής λογικής) και χρησιμοποιείται σε εφαρμογές στη μοντελοποίηση λογισμικού. Θα παρουσιαστούν επίσης συνοπτικά άλλες γλώσσες που βασίζονται στη λογική και εφαρμογές τους, όπως για παράδειγμα γλώσσες του συναρτησιακού προγραμματισμού (Lisp).

Αξίζει να αναφερθεί ότι το μάθημα αυτό θεωρείται ιδιαίτερα σημαντικό διεθνώς στις σπουδές της πληροφορικής (computer science) και των εφαρμοσμένων μαθηματικών στην πληροφορική.
Ημερομηνία Δημιουργίας: 2015
Πληροφορίες Τεκμηρίου
Είδος Τεκμηρίου: Σύγγραμμα
URI: http://hdl.handle.net/11419/4527
ISBN: 978-960-603-368-1
ID Ευδόξου: 320308
Βιβλιογραφική Αναφορά:Στεφανέας, Π., Κολέτσος, Γ., 2015. Εφαρμογές της λογικής στην πληροφορική. [ηλεκτρ. βιβλ.] Αθήνα:Σύνδεσμος Ελληνικών Ακαδημαϊκών Βιβλιοθηκών. Διαθέσιμο στο: http://hdl.handle.net/11419/4527
Γλώσσα: Ελληνικά
Αποτελείται από: 1. ΛΟΓΙΚΗ ΚΑΙ ΣΥΝΑΡΤΗΣΙΑΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ
2. ΘΕΩΡΙΑ ΤΥΠΩΝ
3. ΕΞΙΣΩΤΙΚΗ ΛΟΓΙΚΗ
4. ΕΦΑΡΜΟΓΕΣ: ΟΙ ΑΛΓΕΒΡΙΚΕΣ ΠΡΟΔΙΑΓΡΑΦΕΣ
Άδεια Χρήσης: Αναφορά - Μη Εμπορική Χρήση - Όχι Παράγωγα Έργα
Σχετικά Μαθήματα: 
1. ΕΦΑΡΜΟΓΕΣ ΤΗΣ ΛΟΓΙΚΗΣ ΣΤΗΝ ΠΛΗΡΟΦΟΡΙΚΗ [ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ, ΣΧΟΛΗ ΕΦΑΡΜΟΣΜΕΝΩΝ ΜΑΘΗΜΑΤΙΚΩΝ ΚΑΙ ΦΥΣΙΚΩΝ ΕΠΙΣΤΗΜΩΝ, ΤΜΗΜΑ ΕΦΑΡΜΟΣΜΕΝΩΝ ΜΑΘΗΜΑΤΙΚΩΝ ΚΑΙ ΦΥΣΙΚΩΝ ΕΠΙΣΤΗΜΩΝ]
2. ΕΦΑΡΜΟΓΕΣ ΤΗΣ ΛΟΓΙΚΗΣ ΣΤΗΝ ΠΛΗΡΟΦΟΡΙΚΗ [ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ, ΣΧΟΛΗ ΗΛΕΚΤΡΟΛΟΓΩΝ ΜΗΧΑΝΙΚΩΝ ΚΑΙ ΜΗΧΑΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ, ΤΜΗΜΑ ΗΛΕΚΤΡΟΛΟΓΩΝ ΜΗΧΑΝΙΚΩΝ ΚΑΙ ΜΗΧΑΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ]
3. ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ [ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ, ΣΧΟΛΗ ΕΦΑΡΜΟΣΜΕΝΩΝ ΜΑΘΗΜΑΤΙΚΩΝ ΚΑΙ ΦΥΣΙΚΩΝ ΕΠΙΣΤΗΜΩΝ, ΤΜΗΜΑ ΕΦΑΡΜΟΣΜΕΝΩΝ ΜΑΘΗΜΑΤΙΚΩΝ ΚΑΙ ΦΥΣΙΚΩΝ ΕΠΙΣΤΗΜΩΝ]
Γλωσσική Επιμέλεια: Λαμπαδά, Δέσποινα
Τεχνική Επεξεργασία: Ξύστρα, Αικατερίνη
Τύπος έκδοσης: Εκδόσεις Κάλλιπος
Εμφανίζεται στις συλλογές:Επιστήμες Μηχανικών και Πληροφορική

Thumbnail

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

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

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

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

HEAL-Link NTUA GRNET European Union EDULLL ESPA