Bitte benutzen Sie diese Kennung, um auf die Ressource zu verweisen:
http://dx.doi.org/10.18419/opus-10199
| Autor(en): | Förster, Eric |
| Titel: | Automatisiertes Finden von Gegenbeispielen algebraischer und formalsprachlicher Eigenschaften |
| Sonstige Titel: | Automatic construction of counterexamples for algebraic and language-theoretic properties |
| Erscheinungsdatum: | 2018 |
| Dokumentart: | Abschlussarbeit (Bachelor) |
| Seiten: | iii, 29 |
| URI: | http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-ds-102169 http://elib.uni-stuttgart.de/handle/11682/10216 http://dx.doi.org/10.18419/opus-10199 |
| Zusammenfassung: | 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. |
| Enthalten in den Sammlungen: | 05 Fakultät Informatik, Elektrotechnik und Informationstechnik |
Dateien zu dieser Ressource:
| Datei | Beschreibung | Größe | Format | |
|---|---|---|---|---|
| Bachelorarbeit_Eric_Förster.pdf | 1,46 MB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repositorium sind urheberrechtlich geschützt.