Computer-Aided Program Development Group

Seminar: Mathematische Methoden in der Informatik

Allgemeine Informationen:

Termine: 28.11., 5.12., 12.12. und 19.12. jeweils um 18 Uhr
Raum: CAP4 - R.715
Univis-Eintrag: 080168
Betreuer: R. BerghammerI. StuckeN. Danilenko
Abgabe der Ausarbeitung: Freitag, 10.01.14

 

Themenliste:

Nr. Thema Betreuer Datum
1. Relationale Grundlagen I N. Danilenko 28.11.
2. Relationale Grundlagen II N. Danilenko 28.11.
3. BDDs N. Danilenko 28.11.
4. Sozialwahl I I. Stucke 05.12.
5. Sozialwahl II I. Stucke 05.12.
6. Einfache Spiele I I. Stucke 12.12.
7. Einfache Spiele II I. Stucke 12.12.
8. Schachprobleme I R. Berghammer 19.12.
9. Schachprobleme II R. Berghammer 19.12.

 

Ausarbeitung:

Im Rahmen des Seminars ist eine Ausarbeitung des Themas in schriftlicher Form zu verfassen. Die Note für das Modul setzt sich aus der Vortragsnote und der Note der Ausarbeitung zusammen. Die Ausarbeitung soll das Verfassen wissenschaftlicher Texte üben und muss daher einigen Kriterien genügen.

  1. Einleitung

    In der Einleitung soll der Inhalt der Arbeit kurz angegeben werden. Üblicherweise werden Einleitungen im Fließtext verfasst.

  2. Gliederung

    Die Gliederung fasst in wenigen Sätzen die Struktur der Arbeit zusammen. Sie ist in der Regel der Abschluss der Einleitung.

  3. LaTeX

    Die Ausarbeitung muss in LaTeX geschrieben sein. Dies ist z. B.

    • unter Linux mit dem Programm Kile möglich, welches durch einen Paketmanager installiert werden kann
    • unter Windows durch die Verwendung von MiKTeX und TeXnicCenter, bzw. alternativ mit Kile als Modul von KDE for Windows

    möglich.

  4. Literatur

    Sämtliche von Ihnen verwendete Literatur (insbesondere die von Ihnen ausgearbeitete Quelle) ist zu zitieren. Sie können hierzu beispielsweise BiBTeX benutzen.

  5. Stil

    Verwenden Sie bitte die hier bereit gestellte Vorlage, indem Sie diese in Ihr Dokument einbinden. Die in der Vorlage bereitgestellten Befehle sind kommentiert. Sollten Sie noch Pakete benötigen, so können Sie diese ebenfalls einbinden. Achten Sie allerdings darauf, die Schrift(größe) nicht zu verändern. Verwenden Sie die Dokumentenklasse "article". Sie können sich an diesem Beispiel, welches aus dieser .tex-Datei und dieser .bib-Dateizusammensetzt, orientieren.

    Sprachlich sollten Sie sich an wissenschaftliches Deutsch halten. Achten Sie beispielsweise darauf, nicht "ich" zu schreiben. Bei Fragen zum sprachlichen Stil können Sie sich gerne an Ihren Betreuer wenden.

  6. Allgemeines

    Die Formatvorlage stellt Ihnen Möglichkeiten zur Verfügung, den eigentlichen Inhalt zu gliedern. Wenn Sie beispielsweise eine Definition angeben, so setzen Sie diese mit Hilfe der Definitionsumgebung ab.
    Achten Sie auf Ihre Rechtschreibung, sowie den Ausdruck.

  7. Abgabe

    Der Abgabeschluss für die Seminarausarbeitungen ist der 10. Januar 2014. Alle Ausarbeitungen sind fristgerecht als .pdf-Dateien an Nikita Danilenko zu senden.