Συστήματα αποδείξεων μηδενικής γνώσης
Συνήθως, για την απόδειξη της ορθότητας ενός ισχυρισμού, καλούμαστε να παρουσιάσουμε μία διαδικασία η οποία χρησιμοποιεί κάποια αρχικά δεδομένα για να καθορίζει μία σειρά από "λογικά" βήματα , τα οποία μας οδηγούν στο συμπέρασμα ότι ο ισχυρισμός αληθεύει. Διαισθητικά, ένα συμβατικό σύστημ...
Αποθηκεύτηκε σε:
| Κύριος συγγραφέας: | |
|---|---|
| Άλλοι συγγραφείς: | |
| Γλώσσα: | el_GR |
| Δημοσίευση: |
2022
|
| Θέματα: | |
| Διαθέσιμο Online: | http://hdl.handle.net/11610/24164 |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
καταχωρήστε σχόλιο πρώτοι!