Bachelorarbeit BCLR-2018-65

Bibliograph.
Daten
Förster, Eric: Automatisiertes Finden von Gegenbeispielen algebraischer und formalsprachlicher Eigenschaften.
Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik, Bachelorarbeit Nr. 65 (2018).
37 Seiten, deutsch.
Kurzfassung

In der Mathematik werden häufig Gegenbeispiele genutzt, um eine Behauptung zu widerlegen. Wir werden uns in dieser Arbeit mit dem Auffinden solcher Beispiele im Bereich der endlichen Halbgruppentheorie beschäftigen. Dabei soll zu einer gegebenen Eigenschaft eine möglichst einfache Halbgruppe mit dieser Eigenschaft gefunden werden. Zur Lösung dieses Problems entwerfen wir in dieser Arbeit geeignete Suchverfahren und Heuristiken.

Volltext und
andere Links
Volltext
Abteilung(en)Universität Stuttgart, Institut für Formale Methoden der Informatik, Theoretische Informatik
BetreuerKufleitner, PD Dr. Manfred; Fleischer, Lukas
Eingabedatum16. Mai 2019
   Publ. Institut   Publ. Informatik