File:CoqProofOfDecidablityOfEqualityOnNaturalNumbers.png
Πρωτότυπο αρχείο (1.016 × 735 εικονοστοιχεία, μέγεθος αρχείου: 74 KB, τύπος MIME: image/png)
Λεζάντες
Λεζάντες
Σύνοψη
[επεξεργασία]
| Περιγραφή |
English: A screenshot of the Coq proof assistant in the middle of a proof of the decidability of equality of the natural numbers. |
| Ημερομηνία | |
| Πηγή | Έργο αυτού που το ανεβάζει |
| Δημιουργός | Roconnor |
Αδειοδότηση
[επεξεργασία]
Coq
[επεξεργασία]
Αυτή η απεικόνιση οθόνης (screenshot) είτε δεν περιέχει μέρη ή απεικονίσεις προγραμμάτων υπό πνευματικά δικαιώματα, είτε ο δημιουργός το έχει ελευθερώσει υπό μια ελεύθερη άδεια χρήσης (που μπορεί να υποδεικνύεται κάτω από αυτή την σήμανση), και συνεπώς ακολουθεί τις οδηγίες αδειοδότησης για screenshots του Wikimedia Commons. Μπορείτε να την χρησιμοποιήσετε ελεύθερα σύμφωνα με την συγκεκριμένη άδεια. Άδεια Ελεύθερου Λογισμικού:
|
Αυτή η βιβλιοθήκη είναι free software. Μπορείτε να την αναδιανείμετε και/ή να την τροποποιήσετε, υπό τους όρους της GNU Lesser General Public License'' όπως δημοσιεύθηκε από το Ίδρυμα Ελευθέρου Λογισμικού είτε με την έκδοση 2.1 της άδειας χρήσης σας (είτε με επιλογή) με οποιαδήποτε μεταγενέστερη έκδοση. Αυτή η βιβλιοθήκη διανέμεται με την ελπίδα ότι θα είναι χρήσιμη, αλλά χωρίς οποιαδήποτε εγγύηση , χωρίς καν την σιωπηρή εγγύηση της εμπορευσιμότητας ή καταλληλότητας για συγκεκριμένο σκοπό ». Βλέπε έκδοση 2.1 και έκδοση 3 του το GNU Lesser General Public License για περισσότερες λεπτομέρειες. |
Σημείωση: αν το screenshot εμφανίζει έργα που δεν είναι απευθείας αποτέλεσμα του ίδιου του κώδικα του προγράμματος, όπως κείμενο ή γραφικά που δεν είναι μέρος του προγράμματος, η άδεια για αυτά τα έργα πρέπει να υποδεικνύεται ξεχωριστά.
Proof shown
[επεξεργασία]
|
Εγώ, ο κάτοχος των πνευματικών δικαιωμάτων αυτού του έργου, δημοσιεύω αυτό το έργο ως κοινό κτήμα. Αυτό ισχύει σε παγκόσμια κλίμακα. Σε ορισμένες χώρες αυτό μπορεί να μην είναι νομικά εφικτό. Αν ναι: Παραχωρώ σε οποιονδήποτε το δικαίωμα να χρησιμοποιήσει αυτό το έργο "για οποιονδήποτε σκοπό", χωρίς κανέναν όρο, εκτός και αν τέτοιοι όροι τίθενται από την νομοθεσία |
Ιστορικό αρχείου
Πατήστε σε μια ημερομηνία/ώρα για να δείτε το αρχείο όπως εμφανιζόταν εκείνη την χρονική στιγμή.
| Ημερομηνία/Ώρα | Μικρογραφία | Διαστάσεις | Χρήστης | Σχόλιο | |
|---|---|---|---|---|---|
| τρέχον | 21:43, 9 Φεβρουαρίου 2010 | | 1.016 × 735 (74 KB) | Roconnor (συζήτηση | Συνεισφορά) | {{Information |Description={{en|1=A screenshot of the Coq proof assistant in the middle of a proof of the decidability of equality of the natural numbers.}} |Source={{own}} |Author=Roconnor |Date=2009-08-19 |Permission= |other_versions= |
Δεν μπορείτε να αντικαταστήσετε αυτό το αρχείο.
Χρήση αρχείου
Δεν υπάρχουν σελίδες που χρησιμοποιούν αυτό το αρχείο.
Καθολική χρήση αρχείου
Τα ακόλουθα άλλα wiki χρησιμοποιούν αυτό το αρχείο:
- Χρήση σε el.wikipedia.org
- Χρήση σε en.wikipedia.org
- Χρήση σε et.wikipedia.org
- Χρήση σε fr.wikipedia.org
- Χρήση σε ja.wikipedia.org
- Χρήση σε ru.wikipedia.org
- Χρήση σε zh.wikipedia.org
