|
Auf dieser Seite sind ein paar Aufgaben, die ich wärend meines Studiums gelöst habe, zum downloaden bereitgestellt.
Alle hier veröffentlichten Daten stehen, wenn nicht anders ausgewiesen, unter
GNU GENERAL PUBLIC LICENSE.
Diplom
In meiner Diplomarbeit habe ich den Berechnungsaufwand und die Erfüllbarkeit bei Antwortmengenprogrammierung untersucht. (Titel: "Untersuchung des Berechnungsaufwands bei Antwortmengenprogrammierung") Dies geschah unter anderem durch statistische Untersuchungen mithilfe von zufällig generierten logischen Programmen. Leider sind die Daten die in dabei generiert wurden relativ umfangreich, weshalb sie nicht über diese Webseite herunterladbar sind. Auf wunsch kann ich aber diese Daten zusenden (per Post auf einer DVD).
Erstellt unter: Betriebssystem: SUSE Linux 9.0 Complier: gpp 3.3
| Datei | Größe | Beschreibung | zuletzt aktualisiert |
|---|
| diplom.ps | 3,9 MB |
Die Ausarbeitung zu meiner Diplomarbeit im ps-Format. | 02.12.05 |
| diplom_ps.zip | 1,0 MB |
Die Ausarbeitung zu meiner Diplomarbeit im ps-Format in einer komprimierten zip-Datei. | 02.12.05 |
| diplom.pdf | 2,7 MB |
Die Ausarbeitung zu meiner Diplomarbeit im pdf-Format. | 02.12.05 |
| diplom_pdf.zip | 2,5 MB |
Die Ausarbeitung zu meiner Diplomarbeit im pdf-Format in einer komprimierten zip-Datei. | 02.12.05 |
| diplomtext.zip | 1,3 MB |
Der Quellkode der Ausarbeitung mit zugehörigen Bildern. | 02.12.05 |
| ausarbeitung_quelltext.zip | 62 KB |
Der Quellkode der Ausarbeitung ohne zugehörigen Bildern. | 02.12.05 |
| diplom_gen_doku.zip | 22,7 MB |
Die Daten meiner Diplomarbeit ohne die Daten der erzeugten Testreihen. Hier gibt es die Ausarbeitung mit Quelltext und Bildern, die Generatoren und Tools zu den Testreihen und weiteren einige Grafiken. | 02.12.05 |
Prolog Aufgaben
Erstellt unter: SWI Prolog
| Datei | Größe | Beschreibung | zuletzt aktualisiert |
|---|
| Resolution.zip | 74 KB |
Prologrealisierung eines Resolutionsbeweisers mit Docu und Beispielen. | 06.06.04 |
| AW.zip | 30 KB |
Prologrealisierung eines Antwortmengenberechners für logische Programme ohne Variablen mittels des Cn Operators mit Beispielen. | 06.06.04 |
| CSP.zip | 27 KB |
Prologrealisierung eines CSP (Constrain Satisfaction Solver). | 06.06.04 |
| ID3.zip | 35 KB |
Prologrealisierung des ID3 Algorithmusses zum erzeugen von Entscheidungsbäumen. | 06.06.04 |
| datenbank.pl* | 698 B |
Prologrealisierung einer einfachen Datenbank. | 06.06.04 |
| fam2.pl* | 1,2 KB |
Prologrealisierung einer einfachen Datenbank mit Beispiel Familenrelationen/-daten. | 06.06.04 |
| io.pl* | 3,1 KB |
Prologbeispiel für Datei Ein- und Ausgaben. | 06.06.04 |
| liste.pl* | 440 B |
Prologbeispiel für ein paar einfache Listenoperationen. | 06.06.04 |
| listen.pl* | 3,3 KB |
Prologbeispiel für ein einfache Listenoperationen. | 06.06.04 |
| all.zip | 166 KB |
Alle oben aufgeführten Prologbeispiele zusammen. | 06.06.04 |
*Die Endung ".txt" ist nur für den Download und kann gelöscht werden.
Cognitiv robotics project und RAP
Hierbei handelt es sich um ein Projekt das im Rahmen des
Wissenverarbeitungslehrstuhls der Universität Potsdam entstanden ist. Es geht dabei um die Steuerung
eines Legolog Roboters und Planungsaufgaben. RAP steht für: "reactiv action language", also eine reaktive
Aktionsbeschreibungssprache. Reaktiv meint dabei die Fähigkeit auf aktuelle Änderungen der Umwelt zu reagieren.
Erstellt unter: Betriebssystem: SUSE Linux 9.0 Complier: gpp 3.3; Eclips Prolog
| Datei | Größe | Beschreibung | zuletzt aktualisiert |
|---|
| Cognitiv_Robotics.ppt | 516 KB |
Die Folien zu dem Projekt, nützlich als Kurzbeschreibung worum es dabei geht. | 18.04.05 |
| Cognitiv_Robotics.zip | 249 KB |
Die gleichen Folien als zip Archiv. | 18.04.05 |
| RAP.zip | 104 KB |
Mein Quellcode zum Projekt. Ich hatte nur den RAP Teil. Informationen, wie es gestartet wird, ist in der readme Datei zu finden.
Alle Texte sind allerdings auf Englisch. | 18.04.05 |
Graphentheorie in NuPRL
Die Ausarbeitung "Graphentheorie in NuPRL" (183 KB) zur Vorlesung "Automatisierte Logik und Programmierung II" wurde für eine Implementierung der Graphentheorie in NuPRL (186 KB) geschrieben. Das Projekt ,inklusive Ausarbeitung, wurden von Andre Neumann und mir zusammen verfasst.
|
|
