DSpace

Πληροφορίες Τίτλου
Τίτλος: Μαθηματική Λογική
Συγγραφείς:Ζάχος, Ευστάθιος
Παγουρτζής, Αριστείδης
Σούλιου, Θεοδώρα
Κριτικός Αναγνώστης: Ζησιμόπουλος, Βασίλειος
Σχολές/Τμήματα: ΤΜΗΜΑ ΗΛΕΚΤΡΟΛΟΓΩΝ ΜΗΧΑΝΙΚΩΝ ΚΑΙ ΜΗΧΑΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ, ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ
Θέμα: 
Λέξεις-κλειδιά: 
ΑΛΓΟΡΙΘΜΟΙ
ΑΛΓΟΡΙΘΜΟΙ ΑΝΑΖΗΤΗΣΗΣ
ΑΛΓΟΡΙΘΜΟΙ ΤΑΞΙΜΟΜΗΣΗΣ
ΑΛΓΟΡΙΘΜΙΚΗ ΣΚΕΨΗ
ΑΛΓΟΡΙΘΜΟΙ ΓΡΑΦΗΜΑΤΩΝ
ΑΛΓΟΡΙΘΜΟΙ ΣΥΜΒΟΛΟΣΕΙΡΩΝ
ΥΠΟΛΟΓΙΣΙΜΟΤΗΤΑ
ΥΠΟΛΟΓΙΣΤΙΚΗ ΠΟΛΥΠΛΟΚΟΤΗΤΑ
ΔΟΜΕΣ ΔΕΔΟΜΕΝΩΝ
ΑΥΤΟΜΑΤΑ
ΘΕΩΡΙΑ ΓΡΑΦΩΝ
ΤΥΠΙΚΕΣ ΓΛΩΣΣΕΣ
ΓΡΑΜΜΑΤΙΚΕΣ
ΠΑΡΑΛΛΗΛΟΙ ΑΛΓΟΡΙΘΜΟΙ
ΚΑΤΑΝΕΜΗΜΕΝΟΙ ΑΛΓΟΡΙΘΜΟΙ
ΑΝΑΠΑΡΑΣΤΑΣΗ ΓΝΩΣΗΣ ΚΑΙ ΣΥΛΛΟΓΙΣΤΙΚΗ
ΛΟΓΙΚΗ ΚΑΙ ΚΥΚΛΩΜΑΤΑ
ΚΡΥΠΤΟΓΡΑΦΙΑ
ΛΟΓΙΚΗ
ΛΟΓΙΚΗ ΣΤΗΝ ΠΛΗΡΟΦΟΡΙΚΗ
Περιγραφή
Περίληψη: 
Προτασιακή λογική (ταυτολογίες, αντιφάσεις, ικανοποιησιμότητα). Αλγεβρικοί κανόνες για διάζευξη, σύζευξη και συμπλήρωμα.
Κατηγορηματικός λογισμός ή πρωτοβάθμια λογική. Ποσοδείκτες (και η άρνησή τους), εναλλαγή ποσοδεικτών. Κανονική Ποσοδεικτική Μορφή. Όροι και τύποι. Ελεύθερες και δεσμευμένες μεταβλητές.
Συνεπαγωγή, εγκυρότητα, πληρότητα και ορθότητα αξιωματικού συστήματος κανόνων.
Ερμηνεία - μοντέλα.
|- : συντακτική αποδειξιμότητα.
|= : εγκυρότητα σε όλα τα μοντέλα.
Θεωρήματα πληρότητας και μη πληρότητας του Goedel.
Ημερομηνία Δημιουργίας: 2015
Πληροφορίες Τεκμηρίου
Είδος Τεκμηρίου: Κεφάλαιο Συγγράμματος
URI: http://hdl.handle.net/11419/5461
Βιβλιογραφική Αναφορά:Ζάχος, Ε., Παγουρτζής, Α., Σούλιου, Θ. 2015. Μαθηματική Λογική. [Κεφάλαιο Συγγράμματος]. Στο Ζάχος, Ε., Παγουρτζής, Α., Σούλιου, Θ. 2015. Θεμελίωση επιστήμης υπολογιστών. [ηλεκτρ. βιβλ.] Αθήνα:Σύνδεσμος Ελληνικών Ακαδημαϊκών Βιβλιοθηκών. κεφ 10. Διαθέσιμο στο: http://hdl.handle.net/11419/5461
Γλώσσα: Ελληνικά
Αποτελεί μέρος του: Θεμελίωση επιστήμης υπολογιστών
Άδεια Χρήσης: Αναφορά - Μη Εμπορική Χρήση - Παρόμοια Διανομή
Σχετικά Μαθήματα: 
1. ΕΙΣΑΓΩΓΗ ΣΤΗΝ ΕΠΙΣΤΗΜΗ ΤΩΝ ΥΠΟΛΟΓΙΣΤΩΝ [ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ, ΣΧΟΛΗ ΗΛΕΚΤΡΟΛΟΓΩΝ ΜΗΧΑΝΙΚΩΝ ΚΑΙ ΜΗΧΑΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ, ΤΜΗΜΑ ΗΛΕΚΤΡΟΛΟΓΩΝ ΜΗΧΑΝΙΚΩΝ ΚΑΙ ΜΗΧΑΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ]
2. ΘΕΜΕΛΙΩΔΗ ΘΕΜΑΤΑ ΕΠΙΣΤΗΜΗΣ Η/Υ [ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ, ΣΧΟΛΗ ΕΦΑΡΜΟΣΜΕΝΩΝ ΜΑΘΗΜΑΤΙΚΩΝ ΚΑΙ ΦΥΣΙΚΩΝ ΕΠΙΣΤΗΜΩΝ, ΤΜΗΜΑ ΕΦΑΡΜΟΣΜΕΝΩΝ ΜΑΘΗΜΑΤΙΚΩΝ ΚΑΙ ΦΥΣΙΚΩΝ ΕΠΙΣΤΗΜΩΝ]
3. ΑΥΤΟΜΑΤΑ ΚΑΙ ΥΠΟΛΟΓΙΣΤΙΚΑ ΜΟΝΤΕΛΑ [ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ, ΣΧΟΛΗ ΕΦΑΡΜΟΣΜΕΝΩΝ ΜΑΘΗΜΑΤΙΚΩΝ ΚΑΙ ΦΥΣΙΚΩΝ ΕΠΙΣΤΗΜΩΝ, ΤΜΗΜΑ ΕΦΑΡΜΟΣΜΕΝΩΝ ΜΑΘΗΜΑΤΙΚΩΝ ΚΑΙ ΦΥΣΙΚΩΝ ΕΠΙΣΤΗΜΩΝ]
4. ΥΠΟΛΟΓΙΣΙΜΟΤΗΤΑ ΚΑΙ ΠΟΛΥΠΛΟΚΟΤΗΤΑ [ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ, ΣΧΟΛΗ ΕΦΑΡΜΟΣΜΕΝΩΝ ΜΑΘΗΜΑΤΙΚΩΝ ΚΑΙ ΦΥΣΙΚΩΝ ΕΠΙΣΤΗΜΩΝ, ΤΜΗΜΑ ΕΦΑΡΜΟΣΜΕΝΩΝ ΜΑΘΗΜΑΤΙΚΩΝ ΚΑΙ ΦΥΣΙΚΩΝ ΕΠΙΣΤΗΜΩΝ]
5. ΑΛΓΟΡΙΘΜΟΙ ΚΑΙ ΠΟΛΥΠΛΟΚΟΤΗΤΑ [ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ, ΣΧΟΛΗ ΗΛΕΚΤΡΟΛΟΓΩΝ ΜΗΧΑΝΙΚΩΝ ΚΑΙ ΜΗΧΑΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ, ΤΜΗΜΑ ΗΛΕΚΤΡΟΛΟΓΩΝ ΜΗΧΑΝΙΚΩΝ ΚΑΙ ΜΗΧΑΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ]
6. ΥΠΟΛΟΓΙΣΙΜΟΤΗΤΑ ΚΑΙ ΠΟΛΥΠΛΟΚΟΤΗΤΑ [ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ, ΣΧΟΛΗ ΗΛΕΚΤΡΟΛΟΓΩΝ ΜΗΧΑΝΙΚΩΝ ΚΑΙ ΜΗΧΑΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ, ΤΜΗΜΑ ΗΛΕΚΤΡΟΛΟΓΩΝ ΜΗΧΑΝΙΚΩΝ ΚΑΙ ΜΗΧΑΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ]
7. ΔΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ [ΕΘΝΙΚΟ & ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ, ΣΧΟΛΗ ΘΕΤΙΚΩΝ ΕΠΙΣΤΗΜΩΝ, ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΚΑΙ ΤΗΛΕΠΙΚΟΙΝΩΝΙΩΝ]
8. ΔΟΜΕΣ ΔΕΔΟΜΕΝΩΝ [ΟΙΚΟΝΟΜΙΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ, ΣΧΟΛΗ ΕΠΙΣΤΗΜΩΝ ΚΑΙ ΤΕΧΝΟΛΟΓΙΑΣ ΤΗΣ ΠΛΗΡΟΦΟΡΙΑΣ, ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ]
9. ΑΥΤΟΜΑΤΑ & ΠΟΛΥΠΛΟΚΟΤΗΤΑ [ΟΙΚΟΝΟΜΙΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ, ΣΧΟΛΗ ΕΠΙΣΤΗΜΩΝ ΚΑΙ ΤΕΧΝΟΛΟΓΙΑΣ ΤΗΣ ΠΛΗΡΟΦΟΡΙΑΣ, ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ]
10. ΕΙΣΑΓΩΓΗ ΣΤΗΝ ΕΠΙΣΤΗΜΗ ΤΗΣ ΠΛΗΡΟΦΟΡΙΚΗΣ & ΤΗΛΕΠΙΚΟΙΝΩΝΙΩΝ [ΕΘΝΙΚΟ & ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ, ΣΧΟΛΗ ΘΕΤΙΚΩΝ ΕΠΙΣΤΗΜΩΝ, ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΚΑΙ ΤΗΛΕΠΙΚΟΙΝΩΝΙΩΝ]
Τύπος έκδοσης: Εκδόσεις Κάλλιπος
Εμφανίζεται στις συλλογές:Επιστήμες Μηχανικών και Πληροφορική

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

Μορφότυπο Μέγεθος Περιγραφή
Adobe PDF170,19 kBΚεφάλαιο 10KατεβάστεΔείτε

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

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

HEAL-Link NTUA GRNET European Union EDULLL ESPA