IsaMorph on Linux-jakelu live-CD (perustuen Morphixin) mukana interaktiivinen lause prover Isabelle.
Tämä tarkoittaa, voit käynnistää CD ja saada täysin toimintakykyinen "lause osoittautumassa" ympäristö asentamatta GNU / Linuxin tai Isabelle. Just lisätä CD tietokoneeseen ja viisi minuuttia myöhemmin ensimmäisen lauseen todistettu.
Kaikki ohjelmat jakautuvat IsaMorph ovat ilmaisia ohjelmistoja. Tämä tarkoittaa sitä, että käyttöjärjestelmä ja sovellukset sisältyvät tähän CD voi vapaasti kopioida, muokata ja jakaa. Joten voit vapaasti antaa kopiot ystävillesi tai työtovereiden.
Aseta CD-levy CD-asemaan Intel-yhteensopiva tietokone tai kannettava. Nyt käynnistä tietokone. Varmista, että ensimmäiseksi käynnistyslaitteeksi on CD. Tätä, saatat joutua muuttamaan BIOS-asetuksia tietokoneen.
Jos et ole perehtynyt siihen, saada apua järjestelmän ylläpitäjältä tai joku, joka tietää, miten se tehdään. Kun tietokone käynnistyy käynnistystä, se etsii CD asemaan. Valikko tulee näkyviin jonkin ajan kuluttua.
Vain paina Enter-näppäintä tai odota jonkin aikaa. Tietokone jatkaa käynnistymään CD ja toivottavasti antaa sinulle graafisen näytön samanlainen kuin mitä olet perehtynyt. Voit klikata valikosta vasemmassa yläkulmassa ja käynnistä sovelluksia.
IsaMorph sisältää täysin toimiva Isabelle ympäristön tukeminen todistaminen ja dokumenttien luomisen, tämä kuuluu:
Isabelle (versio 2005)
Interaktiivinen lause prover Isabelle 2005 ainakin seuraavat logiikat koottu: HOL, HOL-Complex, ZF, FOL, ja Pure. Niinpä, kun käynnistyksen IsaMorph voit heti todistaa teoreemojen missään näistä logiikan. CD sisältää offline-version Isabelle n opetusohjelmia ja teoria dokumentointi.
HOL-TestGen (versio 1.1.1)
Koetinkivi generaattori määrittely perustuu yksikkötestauksen. Se on rakennettu päälle specfication ja lause osoittautumassa ympäristö Isabelle / HOL.
Proof General (versio 3.6pre)
Tehokas käyttöliittymä Isabelle.
SML of New Jerseyn (versio 110,56)
Standard ML ympäristö käytetään kerättäessä ja toteuttaa Isabelle.
GNU Emacs (versio 22.0.50)
GNU Emacs editor joka rakentaa yhdessä Proof Yleiset pääkäyttöliittymä Isabelle.
teTeX (versio 2.0.2)
Täydellinen LaTeX ympäristö käytetty sukupolven todisteita asiakirjoja.
Muut ohjelmat
Lisäksi CD sisältää myös erilaisia sovelluksia varten yhteiseen käyttöön. Se sisältää käyttäjäystävällisen työpöydän (Gnome) Internet-selain (Mozilla), ja niin edelleen. Vain katsomaan valikosta selvittää paljon enemmän. Yritin minimoimaan määrää ei Isabelle tietyn ohjelmiston minimoimaan latauskoon.
Mitä uutta tässä julkaisussa:
Kommentteja ei löytynyt