Bibliography | Förster, Eric: Automatisiertes Finden von Gegenbeispielen algebraischer und formalsprachlicher Eigenschaften. University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Bachelor Thesis No. 65 (2018). 37 pages, german.
|
Abstract | 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.
|
Full text and other links | Volltext
|
Department(s) | University of Stuttgart, Institute of Formal Methods in Computer Science, Theoretical Computer Science
|
Superviser(s) | Kufleitner, PD Dr. Manfred; Fleischer, Lukas |
Entry date | May 16, 2019 |
---|