AGNES -
Lehre und Prüfung online
Studierende in Vorlesung
Anmelden

Aktuelle Themen in Logik und Komplexität - Detailseite

  • Funktionen:
Grunddaten
Veranstaltungsart Seminar Veranstaltungsnummer 3313089
Semester WiSe 2015/16 SWS 2
Rhythmus Moodle-Link  
Veranstaltungsstatus Freigegeben für Vorlesungsverzeichnis  Freigegeben  Sprache deutsch
Belegungsfrist Es findet keine Online-Belegung über AGNES statt!
Veranstaltungsformat Präsenz

Termine

Gruppe 1
Tag Zeit Rhythmus Dauer Raum Gebäude Raum-
plan
Lehrperson Status Bemerkung fällt aus am Max. Teilnehmer/-innen
Mi. 15:00 bis 17:00 wöch 3.408 (Besprechungsraum)
Stockwerk: 4. OG


Johann von Neumann-Haus - Rudower Chaussee 25 (RUD25)

Außenbereich nutzbar Innenbereich eingeschränkt nutzbar Parkplatz vorhanden Leitsystem im Außenbereich Barrierearmes WC vorhanden Barrierearme Anreise mit ÖPNV möglich
Schweikardt findet statt     1000
Gruppe 1:
 


Zugeordnete Person
Zugeordnete Person Zuständigkeit
Schweikardt, Nicole , Prof. Dr.
Studiengänge
Abschluss Studiengang LP Semester
Diplom  Informatik Hauptfach ( POVersion: Provisorium )   -  
Diplom  Informatik Hauptfach ( POVersion: 2003 )   -  
Master of Education (2)  Informatik 1. Fach ( POVersion: 2007 )   -  
Master of Education (2)  Informatik 1. Fach ( POVersion: 2010 )   -  
Master of Science  Informatik Hauptfach ( POVersion: 2009 )   -  
Zuordnung zu Einrichtungen
Einrichtung
Mathematisch-Naturwissenschaftliche Fakultät, Institut für Informatik
Inhalt
Kommentar

Anhand von Originalarbeiten und ergänzender Literatur werden im Seminar aktuelle Themen im Bereich Logik und Komplexität erarbeitet.

Ziele sind das Kennenlernen neuer Forschungsergebnisse, das Verstehen wissenschaftlicher Originaltexte, die Fähigkeit zur Einordnung der Inhalte und Beweistechniken, sowie deren Wiedergabe in eigener Darstellung in einem begrenzten Zeitrahmen.

Das Seminar richtet sich an fortgeschrittene Studierende in einem Diplom- oder Masterstudiengang, die sich im Bereich Logik und Komplexität spezialisieren wollen. Die Teilnahme am Seminar setzt Kenntnisse, die in der Vorlesung "Logik und Komplexität" vermittelt werden, voraus.

Strukturbaum

Keine Einordnung ins Vorlesungsverzeichnis vorhanden. Veranstaltung ist aus dem Semester WiSe 2015/16. Aktuelles Semester: SoSe 2024.
Humboldt-Universität zu Berlin | Unter den Linden 6 | D-10099 Berlin