bn:03306759n
Noun Concept
Categories: Τυπικές μέθοδοι, Λογική για Υπολογιστές, Σημασιολογία γλωσσών προγραμματισμού
EL
αξιωματική σημασιολογία
EL
Αξιωματική σημασιολογία ονομάζεται μια προσέγγιση της απόδειξης της ορθότητας προγραμμάτων, η οποία βασίζεται στη μαθηματική λογική. Wikipedia
Definitions
Relations
Sources
EL
Αξιωματική σημασιολογία ονομάζεται μια προσέγγιση της απόδειξης της ορθότητας προγραμμάτων, η οποία βασίζεται στη μαθηματική λογική. Wikipedia