 | MelleGRATIS EN OPEN SOURCE CRUS-PROVER PROVER VOOR MODALE LOGIC |
| Download nu | |
Melle Rangschikking & Samenvatting
Advertentie
- Vergunning:
- Freeware
- Prijs:
- FREE
- Naam uitgever:
- Andrea Mocci
- Uitgever website:
- Besturingssystemen:
- Mac OS X
- Bestandsgrootte:
- 2.2 MB
Melle Tags
Melle Beschrijving
Gratis en open source cross-platform-bewering voor modale logica MOLLE exploiteert de modale semantische tablazuurmethode. MOLLE heeft een zeer bruikbare grafische interface, met interactieve weergave van gegenereerde modellen.Note: MOLLE is een vergunning en gedistribueerd onder de voorwaarden van de Academic Free License (AFL). Vereisten: · Java Wat is er nieuw in deze release: · Bewijs formules van propositionele modale logica · Bewijs met expliciete frame-eigenschappen: {reflexiviteit} (meer te komen ...) · Visualiseer de bewijsbare tableaux en resolutie stappen · Visualiseer modellen voor voorbeelden en contribuneamples
Melle Gerelateerde software
Nstext weergave en wiskundige extensies
MODIFICEERDE NSTEXTVIEW die inline evaluatie van vergelijkingen en unit-conversies mogelijk maakt ...
279 KB
Voruby
Toegang tot het virtuele observatorium met behulp van deze set Open Source Ruby-modules ...
1 KB
