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

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

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

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς: 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
Διαθέσιμο Online:http://localhost:8080/jspui/handle/11419/5461

Διαδίκτυο

http://localhost:8080/jspui/handle/11419/5461

Παρόμοια τεκμήρια