2024 Συγγραφέας: Elizabeth Oswald | [email protected]. Τελευταία τροποποίηση: 2024-01-13 00:05
Η λογική Hoare είναι ένα επίσημο σύστημα με ένα σύνολο λογικών κανόνων για τον αυστηρό συλλογισμό σχετικά με την ορθότητα των προγραμμάτων υπολογιστών. Προτάθηκε το 1969 από τον Βρετανό επιστήμονα υπολογιστών και λογικό Tony Hoare, και στη συνέχεια βελτιώθηκε από τον Hoare και άλλους ερευνητές.
Τι είναι οι τρίπλες Hoare;
Ένα τριπλό Hoare έχει τρία μέρη, μια προϋπόθεση P, μια δήλωση προγράμματος ή μια σειρά από προτάσεις S και μια μετασυνθήκη Q. Συνήθως γράφεται με τη μορφή. {P} S {Q} Η σημασία είναι "αν το P είναι αληθές πριν από την εκτέλεση του S, και αν η εκτέλεση του S τερματιστεί, τότε το Q είναι αληθές μετά".
Σε τι χρησιμοποιείται η λογική Hoare;
Ο στόχος της λογικής Hoare είναι να παρέχει ένα επίσημο σύστημα συλλογισμού σχετικά με την ορθότητα του προγράμματος. Η λογική Hoare βασίζεται στην ιδέα μιας προδιαγραφής ως σύμβασης μεταξύ της υλοποίησης μιας λειτουργίας και των πελατών της. Η προδιαγραφή αποτελείται από μια προϋπόθεση και μια μετασυνθήκη.
Τι είναι το Hoare;
Το
Hoare είναι ένα αγγλικό επώνυμο που προέρχεται από τη μέση αγγλική γλώσσα hor(e) που σημαίνει γκριζομάλλης ή ασπρομάλλη. Αξιοσημείωτα άτομα με το επώνυμο περιλαμβάνουν: Albert Alfred Hoare, γνωστός ως Bert Hoare (1874–1962), πολιτικός της Νότιας Αυστραλίας. Des Hoare (γεν. 1934), Αυστραλός αθλητής του κρίκετ. … John Gurney Hoare (1810–1875), Άγγλος παίκτης κρίκετ και …
Είναι η λογική Hoare ολοκληρωμένη;
Η απάντηση είναι ναι, και δείχνει ότι η Hoare λογική είναι καλή. Η ευρωστία είναι σημαντική γιατί λέειότι η λογική Hoare δεν μας επιτρέπει να αντλήσουμε ισχυρισμούς μερικής ορθότητας που στην πραγματικότητα δεν ισχύουν. Η απόδειξη της ορθότητας απαιτεί επαγωγή στις παραγώγους στο ⊢ {P} c {Q} (παραλείπουμε αυτήν την απόδειξη).
Συνιστάται:
Ποιος είναι το triple r;
Ο Randall "Triple R" Reinart είναι ένας Αμερικανός παίκτης από τη Μινεσότα που στηρίζει τον Kirby και είναι γνωστός ως ο καλύτερος Kirby στον κόσμο. Τι σημαίνει Triple r; : ένα κύκλωμα που συνήθως σχετίζεται με έναν σωλήνα κενού σε μια ηλεκτρονική συσκευή που δέχεται σήμα μίας συχνότητας και εκπέμπει σήμα τριπλάσιο από αυτό στην είσοδο.
Οι μπαταρίες triple a είναι λιθίου;
Μπαταρίες λιθίου μετάλλου (γνωστός και ως: μη επαναφορτιζόμενο λίθιο, πρωτεύον λίθιο). … Περιλαμβάνει όλες τις τυπικές μη επαναφορτιζόμενες μπαταρίες για προσωπικές φωτογραφικές μηχανές φιλμ και ψηφιακές φωτογραφικές μηχανές (AA, AAA, 123, CR123A, CR1, CR2, CRV3, CR22, 2CR5, κ.
Ξεκλειδώνει αυτοκίνητα με το triple a;
Η δωρεάν υπηρεσία κλειδώματος είναι ένα πλεονέκτημα της συνδρομής AAA. Μπορείτε επίσης να καλέσετε απευθείας έναν κλειδαρά - μερικοί θα αναλάβουν τα λουκέτα αυτοκινήτων - αλλά φυσικά θα πρέπει να πληρώσετε από την τσέπη σας για τις υπηρεσίες τους.
Τι είναι το triple sec;
Το Triple sec είναι ένα λικέρ με γεύση πορτοκάλι που προέρχεται από τη Γαλλία. Περιέχει 15-40% αλκοόλη κατ' όγκο. Παρασκευάζεται με εμποτισμό αποξηραμένων φλοιών πορτοκαλιού σε οινόπνευμα για τουλάχιστον 24 ώρες πριν υποβληθεί σε διαδικασία απόσταξης τριών σταδίων.
Ποιος είπε αυτή τη φράση να είναι ή να μην είναι αυτό είναι το ερώτημα;
Ενώ Ουίλιαμ Σαίξπηρ φήμη βασίζεται κυρίως στα έργα του, έγινε διάσημος πρώτα ως ποιητής. Ποιος είπε πρώτος να είσαι ή να μην είσαι; Πλήρες κείμενο: "To Be, or Not to Be, That Is the Question" Ο περίφημος μονόλογος "