Startseite < Informatik < Algorithmen Datenstrukturen / Software-Engineering < Entwicklungsmodelle Entwicklungsphasen / Web-Engineering < Web-CMS Webdesign Mashup < 8-Puzzles-Applet Pfadsuche-Applet Setty-Applet Tinyray-Applet [ DRUCK , 2004 , 2005 , 2006 , 2007 , 2008 , 2009 ] Presburger-Applet / DWZ-Applet > Werbung > > / Programmiersprachen / Künstliche Intelligenz > Schach Privates / Inhalt >
Presburger-Applet
Importieren Sie sich das Presburger-Applet für Ihre eigene Website.
Applet Das Presburger-Applet
Presburger-Applet
Das Presburger-Applet stellt einen Entscheider (Beweiser/Widerleger) für die vollständige, entscheidbare Presburger Arithmetik dar.
Beschreibung
Dieses Applet ging aus meiner Studienarbeit
  1. ‚Ein Entscheidungsverfahren für die Presburger-Arithmetik’
hervor und ermöglicht dem Theoretiker, Formeln der Presburger-Arithmetik en masse zu beweisen bzw. zu widerlegen.

Die Sprache der Formeln ist mehr oder weniger selbsterklärend gar intuitiv. Details zu dieser Formelsprache finden Sie unter Meine Studienarbeit.
Siehe auch ...
Vorliegendes Mashup befindet Sie auch auf folgender Seite:
  1. Meine Studienarbeit
    Meine Studienarbeit realisiert einen Beweiser für die Presburger Arithmetik.
Mashup Presburger-Applet als Mashup
Presburger-Applet als Mashup
Gefällt Ihnen dieses Applet, dann nutzen Sie doch dieses Applet ganz kostenlos und verpflichtungslos als Mashup, indem Sie folgenden HTML-Code in Ihre Website an einer beliebigen Stelle einbinden.
HTML-Code für das Presburger-Applet
<applet
        name="PresburgerApplet"
        codebase="http://www.stefan-baur.de/applets/sa/"
        code="presburger/ui/PresburgerApplet.class"
        archive="sa.jar"
        width="550"
        height="600">
    <param name="copyright" value="off">
    <param name="formula" value="forall x (exists y x=y+y or exists y x=y+y')">
    <param name="lookAndFeel" value="Nimbus, GTK++, Metal, Windows">
</applet>
⇑ HTML-Code für das Presburger-Applet ⇑
Konfiguration
Sie können dieses Applet Ihrer Website anpassen, indem Sie die Parameter des Applets selbst konfigurieren.
  • formula (Zeichenkette)
    Wohlgeformte Formel der Presburger-Arithmetik.
  • lookAndFeel (Zeichenkette)
    Kommaseparierte Auflistung der Swing-Motive.
Backlink-Vorschlag
<a href="http://www.stefan-baur.de/cs.web.mashup.presburger.html">
    Presburger-Applet
</a>
⇑ Backlink-Vorschlag ⇑
Bitte lesen Sie sich hierzu die Anmerkungen unter Mashup durch.
Korrektur Korrektur des Applets
Fehlerfreiheit nicht garantierbar!
Obwohl ich dieses Applet äußerst ausführlich mit JUnit getestet habe, könnten immer noch Fehlerchen vorliegen, doch funktionierte dieses Applet bislang zuverlässig und stabil. Mehr zum Softwaretest mit JUnit finden Sie unter Verifikation.
Helfen Sie mir
… Fehler aus meinem hier angebotenen Applet zu eliminieren, indem Sie mir im Folgenden den/die Fehler des vorliegenden Applets kurz beschreiben.
Nachricht

Startseite   Sitemap   Downloads   Hilfe   Impressum   Programmiersprachen  
Startseite < Informatik < Algorithmen Datenstrukturen / Software-Engineering < Entwicklungsmodelle Entwicklungsphasen / Web-Engineering < Web-CMS Webdesign Mashup < 8-Puzzles-Applet Pfadsuche-Applet Setty-Applet Tinyray-Applet [ DRUCK , 2004 , 2005 , 2006 , 2007 , 2008 , 2009 ] Presburger-Applet / DWZ-Applet > Werbung > > / Programmiersprachen / Künstliche Intelligenz > Schach Privates / Inhalt >