Μαθηματική Λογική

• Κύριοι συγγραφείς: Zachos, Efstathios, Pagourtzis, Aristeidis, Souliou, Theodora, Ζάχος, Ευστάθιος, Παγουρτζής, Αριστείδης, Σούλιου, Θεοδώρα
• Μορφή: 7
• Γλώσσα: Greek
• Έκδοση: 2016
• Θέματα: ΑΛΓΟΡΙΘΜΟΙ; ΑΛΓΟΡΙΘΜΟΙ ΑΝΑΖΗΤΗΣΗΣ; ΑΛΓΟΡΙΘΜΟΙ ΤΑΞΙΜΟΜΗΣΗΣ; ΑΛΓΟΡΙΘΜΙΚΗ ΣΚΕΨΗ; ΑΛΓΟΡΙΘΜΟΙ ΓΡΑΦΗΜΑΤΩΝ; ΑΛΓΟΡΙΘΜΟΙ ΣΥΜΒΟΛΟΣΕΙΡΩΝ; ΥΠΟΛΟΓΙΣΙΜΟΤΗΤΑ; ΥΠΟΛΟΓΙΣΤΙΚΗ ΠΟΛΥΠΛΟΚΟΤΗΤΑ; ΔΟΜΕΣ ΔΕΔΟΜΕΝΩΝ; ΑΥΤΟΜΑΤΑ; ΘΕΩΡΙΑ ΓΡΑΦΩΝ; ΤΥΠΙΚΕΣ ΓΛΩΣΣΕΣ; ΓΡΑΜΜΑΤΙΚΕΣ; ΠΑΡΑΛΛΗΛΟΙ ΑΛΓΟΡΙΘΜΟΙ; ΚΑΤΑΝΕΜΗΜΕΝΟΙ ΑΛΓΟΡΙΘΜΟΙ; ΑΝΑΠΑΡΑΣΤΑΣΗ ΓΝΩΣΗΣ ΚΑΙ ΣΥΛΛΟΓΙΣΤΙΚΗ; ΛΟΓΙΚΗ ΚΑΙ ΚΥΚΛΩΜΑΤΑ; ΚΡΥΠΤΟΓΡΑΦΙΑ; ΛΟΓΙΚΗ; ΛΟΓΙΚΗ ΣΤΗΝ ΠΛΗΡΟΦΟΡΙΚΗ; Algorithms; Search Algorithms; Sorting Algorithms; Algorithmic Composition; Graphs; Graph Algorithms; Graph Theory; String Algorithms; Computability; Computational Complexity; Data Structures; Automata; Formal Languages; Grammars; Parallel Algorithms; Distributed Algorithms; Knowledge Representation And Reasoning; Logic And Circuits; Logic; Logic For Computer Science

Προτασιακή λογική (ταυτολογίες, αντιφάσεις, ικανοποιησιμότητα). Αλγεβρικοί κανόνες για διάζευξη, σύζευξη και συμπλήρωμα.<br/>Κατηγορηματικός λογισμός ή πρωτοβάθμια λογική. Ποσοδείκτες (και η άρνησή τους), εναλλαγή ποσοδεικτών. Κανονική Ποσοδεικτική Μορφή. Όροι και τύποι. Ελεύθερες και δεσμευμένες μεταβλητές. <br/>Συνεπαγωγή, εγκυρότητα, πληρότητα και ορθότητα αξιωματικού συστήματος κανόνων.<br/>Ερμηνεία - μοντέλα.<br/>|- : συντακτική αποδειξιμότητα.<br/>|= : εγκυρότητα σε όλα τα μοντέλα.<br/>Θεωρήματα πληρότητας και μη πληρότητας του Goedel.