Εμφανίζονται 1 - 20 Αποτελέσματα από 33 για την αναζήτηση '"Proof"', χρόνος αναζήτησης: 0,04δλ Περιορισμός αποτελεσμάτων
  1. 1
    Ανάλυση της λειτουργίας και των δυνατοτήτων των ηλεκτρονικών ψηφιακών νομισμάτων
    Θέματα: “…Proof of Work…”
    Λήψη πλήρους κειμένου
    Πτυχιακή Εργασία
  2. 2
    100 Mathematical proof /
    ανά Garnier, Rowan
    Έκδοση 1996
    Θέματα: “…Proof theory…”
    Βιβλίο
  3. 3
    Proceedings of the 2015 Conference on Certified Programs and Proofs
    Έκδοση 2015
    Θέματα: “…Proof theory…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  4. 4
    Αυστριακή οικονομική σχολή και κρυπτονομίσματα
    Θέματα: “…Proof of work…”
    Λήψη πλήρους κειμένου
  5. 5
    Proceedings of the ACM SIGPLAN 2014 Workshop on Programming Languages meets Program Verification
    Έκδοση 2014
    Θέματα: “…Proof theory…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  6. 6
    Proceedings of ACM conference on Proving assertions about programs
    Έκδοση 1972
    Θέματα: “…Proof theory…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 7
    Proceedings of the Eighth ACM SIGPLAN international workshop on Logical frameworks & meta-languages: theory & practice
    Έκδοση 2013
    Θέματα: “…Proof theory…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  8. 8
    Μαθηματική απόδειξη και επίλυση προβλήματος στο λύκειο
    ανά Λύρη, Αναστασία
    Έκδοση 2014
    Θέματα: “…Mathematical proof…”
    Λήψη πλήρους κειμένου
    Thesis
  9. 9
    Proceedings of the 3rd ACM Workshop on Attacks and Solutions in Hardware Security Workshop
    Έκδοση 2019
    Θέματα: “…Tamper-proof and tamper-resistant designs…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  10. 10
    An Introduction to the Language of Mathematics
    ανά Mynard, Frédéric, Mynard, Frédéric
    Έκδοση 2018
    Θέματα: “…Proof theory.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 11
    ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ: Εισαγωγή
    Θέματα: “…Logic Completeness Undecidability Proof Theory Curry-howard Isomorphism…”
    Λήψη πλήρους κειμένου
    7
  12. 12
    Η λογική των προτάσεων, προτασιακός λογισμός
    Θέματα: “…Logic Completeness Undecidability Proof Theory Curry-howard Isomorphism…”
    Λήψη πλήρους κειμένου
    7
  13. 13
    Αποδεικτικό σύστημα
    Θέματα: “…Logic Completeness Undecidability Proof Theory Curry-howard Isomorphism…”
    Λήψη πλήρους κειμένου
    7
  14. 14
    Σύστημα Hilbert
    Θέματα: “…Logic Completeness Undecidability Proof Theory Curry-howard Isomorphism…”
    Λήψη πλήρους κειμένου
    7
  15. 15
    Συστήματα Gentzen
    Θέματα: “…Logic Completeness Undecidability Proof Theory Curry-howard Isomorphism…”
    Λήψη πλήρους κειμένου
    7
  16. 16
    Υπολογισιμότητα, αναδρομικές συναρτήσεις
    Θέματα: “…Logic Completeness Undecidability Proof Theory Curry-howard Isomorphism…”
    Λήψη πλήρους κειμένου
    7
  17. 17
    Τα Θεωρήματα μη πληρότητας του Gödel
    Θέματα: “…Logic Completeness Undecidability Proof Theory Curry-howard Isomorphism…”
    Λήψη πλήρους κειμένου
    7
  18. 18
    Συστήματα Tableaux
    Θέματα: “…Logic Completeness Undecidability Proof Theory Curry-howard Isomorphism…”
    Λήψη πλήρους κειμένου
    7
  19. 19
    Πρωτοβάθμια κατηγορηματική Λογική
    Θέματα: “…Logic Completeness Undecidability Proof Theory Curry-howard Isomorphism…”
    Λήψη πλήρους κειμένου
    7
  20. 20
    Λάμβδα λογισμός και αποδείξεις, ισομoρφισμός Curry-Howard
    Θέματα: “…Logic Completeness Undecidability Proof Theory Curry-howard Isomorphism…”
    Λήψη πλήρους κειμένου
    7
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email