Seite: 1 2 ()

Advanced topics of mathematical logic. In this semester the main emphasis will on the foundations of set theory. 

Internet-Praktikum II - Wintersemester 2017/18

Praktikum: Prof. Dr. Michael Menth 
Betreuung: Mark Schmidt, Andreas Stockmayer

Anmeldung

  • Die Anmeldung zum Praktikum im Prüfungssekretariat ist erst am Ende des Semesters möglich.
  • Es gilt folgendes Prozedere:
    1. Anmeldung vom 09.-27.01.2018 über Moodle.
    2. Bis 03.02.2018 findet die Zulassung statt.
    3. Das Praktikum ist auf 12 Teilnehmer begrenzt und war im letzten Jahr mehrfach überzeichnet. 
      Als Auswahlkriterium werden u.a. Leistungen in der Vorlesung "Grundlagen des Internets" herangezogen.
    4. Nach Erhalt eines positiven Bescheids können sich Interessenten innerhalb einer Woche zur Teilnahme am Praktikum verbindlich anmelden. 
      Das ist für diese Veranstaltung ausnahmsweise zu diesem Zeitpunkt noch möglich.
    5. Erfolgt trotz Zulassung keine Anmeldung, wird der Praktikumsplatz anderweitig vergeben.

Durchführung

  • Das Internet-Praktikum II findet als Blockveranstaltung in den Semesterferien vom 19.02.-16.03.2018 statt.
  • Das Internet-Praktikum II besteht aus einem Theorie- und und einem Praxisteil.

Praktikumstermine

  • Einführunsvorlesungen zu den Versuchen: 19.02.2018 und 28.02.2018
  • Theorie-Teil: jeweils am Tag vor dem eigentlichen Versuch
  • Versuche: 20.02.-06.03.2018
  • Testate: 12.-13.03.2018
  • Nachholzeitraum für Versuche: 08.-09.03.2018

Die genauen Termine werden zeitnah bekannt gegeben.


Dies ist die Moodle Seite für die Mathe I Vorlesung, hier bekommen Sie ihre Übungsblätter und können Ihre Punkte einsehen.

INF3481:  Es werden die Grundlagen der Aussagen- und Prädikatenlogik behandelt und zentrale Theoreme bewiesen, insbesondere der Vollständigkeitssatz der Prädikatenlogik erster Stufe.

Dozent: Sebastian Schreiber (SySS) und Mitarbeiter


Dieser Kurs findet als Blockveranstaltung in der vorlesungsfreien Zeit statt.


Vorausgesetzt wird das Wissen zu Netzwerksicherheit aus der Vorlesung Kommunikationsnetze. Die Veranstaltung Pentesting findet vom 19.03.-23.03.2018 von 8.30-17.30 Uhr im A301 statt und besteht aus Vorlesungs- und Übungseinheiten.


Die Anzahl der Teilnehmer ist auf 30 begrenzt. Darum gibt es ein Auswahlverfahren für das sich Interessenten im Zeitraum 09.-27.01.2018 mit den geforderten Informationen anmelden müssen. Bewerber mit unvollständigen Angaben können nicht berücksichtigt werden. Die Benachrichtigung über die Zulassung erfolgt bis Freitag, 03.02.2018.


Die Liste der zugelassenen Bewerber wird von uns ans Prüfungssekretariat weitergegeben, womit diese automatisch für die Klausur angemeldet sind. Wer nicht an der Klausur teilnehmen möchte, möge sich bitte rechtzeitig per Email im Prüfungssekretariat abmelden. Die Klausur dauert 60 Minuten. Sofern Nachprüfungen notwendig sein sollten, werden Form (mündlich/schriftlich) und Termin noch bekanntgegeben.

Compact seminar on advanced topics in mathematical and philosophical logic

Seite: 1 2 ()