File:CoqProofOfDecidablityOfEqualityOnNaturalNumbers.png
Algfail (1016 × 735 pikslit, faili suurus: 74 KB, MIME tüüp: image/png)
Pealdised
Sisukord
Lühikirjeldus[muuda]
KirjeldusCoqProofOfDecidablityOfEqualityOnNaturalNumbers.png |
English: A screenshot of the Coq proof assistant in the middle of a proof of the decidability of equality of the natural numbers. |
Kuupäev | |
Allikas | Üleslaadija oma töö |
Autor | Roconnor |
Litsents[muuda]
Coq[muuda]
This screenshot either does not contain copyright-eligible parts or visuals of copyrighted software, or the author has released it under a free license (which should be indicated beneath this notice), and as such follows the licensing guidelines for screenshots of Wikimedia Commons. You may use it freely according to its particular license. Free software license:
See teek on vaba tarkvara; tohid seda taaslevitada ja/või selle põhjal teisendeid luua vastavalt Vaba Tarkvara Fondi avaldatud GNU Vähem Üldise Avaliku Litsentsi versioonis 2.1 või (sinu valikul) hilisemas seatud tingimustele. Seda teeki levitatakse lootuses, et see on kasulik, aga igasuguse tagatiseta, ka kaudse tagatiseta teose turustatavuse või müügikõlblikkuse kohta. Üksikasjad leiad GNU Vähem Üldise Avaliku Litsentsi versioonidest 2.1 ja 3. http://www.gnu.org/licenses/lgpl.htmlLGPLGNU Lesser General Public Licensetruetrue |
Note: if the screenshot shows any work that is not a direct result of the program code itself, such as a text or graphics that are not part of the program, the license for that work must be indicated separately.
Proof shown[muuda]
Public domainPublic domainfalsefalse |
Selle teose autoriõiguste valdajana annan selle teose avalikku omandisse. See kehtib üleilmselt. Kui see pole mõnes riigis õiguslikult võimalik: Annan kõigile õiguse seda teost kasutada ükskõik mille jaoks, ilma ühegi tingimuseta, kui seadus neid just ei sea. |
Faili ajalugu
Klõpsa kuupäeva ja kellaaega, et näha sel ajahetkel kasutusel olnud failiversiooni.
Kuupäev/kellaaeg | Pisipilt | Mõõtmed | Kasutaja | Kommentaar | |
---|---|---|---|---|---|
viimane | 9. veebruar 2010, kell 21:43 | 1016 × 735 (74 KB) | Roconnor (arutelu | kaastöö) | {{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= |
Sa ei saa seda faili üle kirjutada.
Faili kasutus
Seda faili ei kasuta ükski lehekülg.
Globaalne failikasutus
Järgmised muud vikid kasutavad seda faili:
- Faili kasutus vikis el.wikipedia.org
- Faili kasutus vikis en.wikipedia.org
- Faili kasutus vikis et.wikipedia.org
- Faili kasutus vikis fr.wikipedia.org
- Faili kasutus vikis ja.wikipedia.org
- Faili kasutus vikis ru.wikipedia.org
- Faili kasutus vikis zh.wikipedia.org