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

Spezielle Themen der Mathematik (M39): Resolutionsverfahren in der Aussagenlogik - Detailseite

  • Funktionen:
  • Online Belegung noch nicht möglich oder bereits abgeschlossen
Grunddaten
Veranstaltungsart Vorlesung Veranstaltungsnummer 3314437ÜWP
Semester WiSe 2019/20 SWS 2
Rhythmus Moodle-Link  
Veranstaltungsstatus Freigegeben für Vorlesungsverzeichnis  Freigegeben  Sprache deutsch
Belegungsfrist - Eine Belegung ist online erforderlich
Veranstaltungsformat Präsenz

Termine

Gruppe 1
Tag Zeit Rhythmus Dauer Raum Raum-
plan
Lehrperson Status Bemerkung fällt aus am Max. Teilnehmer
Fr. 09:00 bis 11:00 wöch Johann von Neumann-Haus - 1.114 Rudower Chaussee 25 (RUD25) - (Unterrichtsraum) Puhle findet statt     5
Gruppe 1:
Zur Zeit keine Belegung möglich


Zugeordnete Person
Zugeordnete Person Zuständigkeit
Puhle, Christof , Dr.rer.nat. verantwortlich
Studiengänge
Abschluss Studiengang LP Semester
Master of Science  Mathematik Hauptfach ( POVersion: 2009 )   -  
Master of Science  Mathematik Hauptfach ( Vertiefung: kein LA; POVersion: 2014 )   -  
Prüfungen / Module
Prüfungs- bzw. Modulnummer Modul
2460 Überfachlicher Wahlpflichtbereich 1

Prüfungsformen:
PT Projekttutorien, M mündlich, S schriftlich, KL Klausur, HA Hausarbeit, B Bachelorarbeit, MT Masterarbeit, P Praktikum, FS Forschungsseminar, MP Modulabschlussprüfung, PS Proseminar, EX Exkursion, ME Mündliche Prüfung und Expose
Zuordnung zu Einrichtungen
Einrichtung
Mathematisch-Naturwissenschaftliche Fakultät, Institut für Mathematik

Strukturbaum

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