Κατηγορία:Λογική για Υπολογιστές
Pages in category "Κατηγορία:Λογική για Υπολογιστές"
- Agda
- Coq
- CTL*
- OBJ
- Αλγεβρική σημασιολογία
- Αξιώματα Πεάνο
- Αξιωματική σημασιολογία
- Γραμμική χρονική λογική
- Δηλωτική σημασιολογία
- Δομή Κρίπκε
- Έλεγχος μοντέλων
- Εξαγωγή τύπων
- Επίλυση εξισώσεων
- Θεωρία δυναμικών συστημάτων
- Λογική υπολογιστικού δένδρου
- Πολλαπλασιασμός
- Σύστημα Μωντ
- Τυπική επαλήθευση
- Τυπική σημασιολογία των γλωσσών προγραμματισμού
- Κατηγορία:Λογικές πύλες