Back
Semester | fall semester 2019 |
Course frequency | Irregular |
Lecturers |
Malte Helmert (malte.helmert@unibas.ch, Assessor)
Florian Pommerening (florian.pommerening@unibas.ch) |
Content | Selbstbezüglichkeit kommt in der Informatik, Mathematik und Logik in verschiedenen Bereichen vor: der Beweis für die Unentscheidbarkeit des Halteproblems verwendet eine Turingmaschine, die entscheiden soll, ob sie selbst anhält. Die Russellsche Antinomie zeigt ein Paradox in der "Menge aller Mengen, die sich nicht selbst enthalten". Gödels Unvollständigkeitssatz basiert vereinfacht gesagt auf der Aussage "Dieser Satz ist nicht beweisbar". In diesem Seminar werden wir uns mit verschiedenen Aspekten der Selbstbezüglichkeit theoretisch beschäftigen. Die Teilnehmer wenden ihr erworbenes theoretisches Wissen zudem direkt in einem Programmierprojekt an. |
Learning objectives | * Lesen und Verstehen wissenschaftlicher Publikationen * selbstständiges Bearbeiten eines Programmierprojektes * Vorbereiten und Präsentieren wissenschaftlicher Vorträge * Beitragen zu wissenschaftlichen Diskussionen * Schreiben und Diskutieren von wissenschaftlichen Beiträgen |
Bibliography | Wird während des Seminars bereitgestellt. |
Weblink | Seminarwebseite |
Admission requirements | Die Anzahl der Teilnehmenden ist auf 20 begrenzt. Studierende im B.Sc. oder Bachelorstudienfach Informatik/Computer Science, die noch Kreditpunkte aus einem Seminar benötigen, werden bevorzugt. Wir setzen grundlegendes Wissen aus der theoretischen Informatik voraus, wie es im Rahmen der Vorlesung "Theory of Computer Science" (10948) vermittelt wird. TeilnehmerInnen sollten zudem über grundlegende Programmierkenntnisse verfügen. |
Course application | https://services.unibas.ch/ |
Language of instruction | German |
Use of digital media | Online, mandatory |
Course auditors welcome |
Interval | Weekday | Time | Room |
---|
No dates available. Please contact the lecturer.
Modules |
Modul: Applications and Related Topics (Bachelor's degree subject: Computer Science) Modul: Informatik-Anwendung (Bachelor's degree subject: Computer Science (Start of studies before 01.08.2016)) Module Specialisation: Computational Intelligence (Bachelor's Studies: Computer Science (Start of studies before 01.08.2016)) Module Specialisation: Computer Science of Life Science (Bachelor's Studies: Computer Science (Start of studies before 01.08.2016)) Module Specialisation: Distributed Systems (Bachelor's Studies: Computer Science (Start of studies before 01.08.2016)) Module Specialisation: Enterprise Information Systems (Bachelor's Studies: Computer Science (Start of studies before 01.08.2016)) Module: Applications and Related Topics (Bachelor's Studies: Computer Science) |
Assessment format | continuous assessment |
Assessment details | Seminarteilnehmende müssen * eine schriftliche Ausarbeitung über ihr Seminarthema schreiben (30%), * einen Vortrag über das Thema halten (15%), * aktiv an den Seminardiskussionen teilnehmen (10%), * schriftliches Feedback zu einer anderen Ausarbeitung geben (10%), * eine Implementierung für ihr Programmierprojekt abgeben (20%) und * einen Vortrag über das Projekt halten (15%). Die einzelnen Aspekte werden jeweils auf einer Skala von 1.0-6.0 bewertet. Die Gesamtnote für das Seminar ist der gewichtete Durchschnitt dieser Teilnoten. Die Zahlen in Klammern geben die Gewichtung der einzelnen Komponenten an. |
Assessment registration/deregistration | Reg.: course registration, dereg: cancel course registration |
Repeat examination | no repeat examination |
Scale | 1-6 0,5 |
Repeated registration | as often as necessary |
Responsible faculty | Faculty of Science, studiendekanat-philnat@unibas.ch |
Offered by | Fachbereich Informatik |