Beschreibung (für Gruppe 1)

Im Proseminar (Gruppe1) werden die folgenden Themen behandelt:

• Das Proseminar führt in die wichtigsten Konzepte und Methoden des wissenschaftlichen Arbeitens ein. Es werden die Prinzipien des wissenschaftlichen Schreibens dargestellt, wobei im Besonderen auf das Erstellen von Bachelor- und Seminararbeiten, sowie Masterarbeiten eingegangen wird.
• Das Proseminar bietet auch eine umfassende Einführung in das Textsystem LaTeX an, sodass die Absolventen und Absolventinnen in der Lage sind ihre Arbeiten in LaTeX zu verfassen.
• Schließlich wird (kurz) auf Präsentationstechniken eingegangen. Das Hauptaugenmerk des Proseminars liegt allerdings darauf die Fertigkeit wissenschaftliche Texte zu schreiben, zu vermitteln.

Empfohlene Literatur

Norbert Franck, Joachim Stary
Die Technik wissenschaftlichen Arbeitens: Eine praktische Anleitung
UTB, Stuttgart; Auflage: 16

Walter Schmidt, Jörg Knappen, Hubert Partl, Irene Hyna
LaTeX 2e-Kurzbeschreibung,
Version 2.3, 10. April 2003

Harald Zankl
How to Write a Thesis,
Notiz, 2010

Ian Parberry
A Guide for New Referees in Theoretical Computer Science,
SIGACT News, 20(4):92­99, 1989

Alan J. Smith
The task of the referee
IEEE Computer, 23(4):65­71, 1990

Graham Cormode
How NOT to review a paper: The tools and techniques of the adversarial reviewer
SIGMOD Record, 37(4), 2008

Aktuelle Seminararbeiten

In der Folge finden Sie die Seminararbeitsthemen für das Sommersemester 2015. Eine Liste früherer Seminararbeiten ist verfügbar.

• "Who is Who" in Computational Logic
  Martin Agreiter
• "Who is Who" in Datenbanken und Informationssysteme
  Martin Nocker
• "Who is Who" in Distributed and Parallel Systems
  Patrick Summerer
• "Who is Who" in Intelligent and Interactive Systems
  Daniel Witsch
• "Who is Who" in Interaktive Grafik und Simulation
  David Peer
• "Who is Who" in Quality Engineering
  Michael Thurner
• "Who is Who" in Security and Privacy
  Sabrina Schmitzer
• "Who is Who" in Semantic Web
  Bojan Cvjetkovic
• "Who is Who" in Algebra
  Martin Hartl
• "Who is Who" in Angewandte Mathematik
  Manuel Schischkoff
• "The History of the History of Software"
  Patrick Deutsch
• Knuth's Kritik an "The History of the History of Software"
  Sarah Walch
• "Enigma - Das Geheimnis" und "Ein streng geheimes Leben", eine Gegenüberstellung
  Barbara Pritzi
• Ada Lovelace
  Matteo Melchiori
• Grace Hopper
  Andreas Moritz
• Sophie Wilson
  Philipp Wirtenberger
• Maryam Mirzakhani
  Ulrich Lobis
• Warum gibt es TeX bzw. LaTeX?
  Gerald Kofler
• Künstliche Intelligenz und militärische Forschung
  Matthias Kapferer
• Verwendung von IT im Manhatten Projekt
  Christina Kohl
• Ein Überblick über Programmierparadigmen
  Tamara Gabasch
• ``Disambiguating Databases''
  Roland Rendl
• SAT Solver und theoretische Ineffizienz
  Sebastian Gandler
• Anwendungsgebiete von Formalen Methoden
  Sarah Schröcker
• Geschichte und Bedeutung des Hoare Kalküls
  Maximilian Peintner
• XML und JSON, eine Gegenüberstellung
  Emanuel Pörnbacher
• Vergleich von XPath, XSLT, XQuery
  Philipp Pobitzer
• "Data Languages"
  Huda Al-Qazzaz
• Geschichte der angewandten Informatik
  Prem David
• Geschichte der theoretischen Informatik
  Fabian Mitterwallner