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

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

  • Funktionen:
  • Online Belegung noch nicht möglich oder bereits abgeschlossen
Grunddaten
Veranstaltungsart Übung Veranstaltungsnummer 33145241
Semester SoSe 2025 SWS 1
Rhythmus Moodle-Link  
Veranstaltungsstatus Freigegeben für Vorlesungsverzeichnis  Freigegeben  Sprache englisch
Belegungsfristen - Eine Belegung ist online erforderlich
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
Fr. 13:00 bis 15:00 14tgl. 3.011 (Seminarraum 20)
Stockwerk: EG

alttext alttext 		Johann-von-Neumann-Haus - Rudower Chaussee 25 (RUD 25)

Außenbereich nutzbar Innenbereich eingeschränkt nutzbar Parkplatz vorhanden Leitsystem im Außenbereich Barrierearmes WC vorhanden Barrierearme Anreise mit ÖPNV möglich 		Puhle findet statt     30
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 ( Vertiefung: kein LA; POVersion: 2014 )     -  
Programmstud.-o.Abl.  Chemie Programm ( POVersion: 1999 )     -  
Programmstud.-o.Abl.  Geographie Programm ( POVersion: 1999 )     -  
Programmstud.-o.Abl.  Informatik Programm ( POVersion: 1999 )     -  
Programmstud.-o.Abl.  Mathematik Programm ( POVersion: 1999 )     -  
Programmstud.-o.Abl.  Physik Programm ( POVersion: 1999 )     -  
Programmstud.-o.Abl.MA  Chemie Programm ( POVersion: 1999 )     -  
Programmstud.-o.Abl.MA  Geographie Programm ( POVersion: 1999 )     -  
Programmstud.-o.Abl.MA  Global Change Geography Programm ( POVersion: 1999 )     -  
Programmstud.-o.Abl.MA  Informatik Programm ( POVersion: 1999 )     -  
Programmstud.-o.Abl.MA  Mathematik Programm ( POVersion: 1999 )     -  
Programmstud.-o.Abl.MA  Optical Sciences Programm ( POVersion: 1999 )     -  
Programmstud.-o.Abl.MA  Physik Programm ( POVersion: 1999 )     -  
Programmstud.-o.Abl.MA  Polymer Science Programm ( POVersion: 1999 )     -  
Programmstud.-o.Abl.MA  Urbane Geographien Programm ( POVersion: 1999 )     -  
Zuordnung zu Einrichtungen
Einrichtung
Mathematisch-Naturwissenschaftliche Fakultät, Institut für Mathematik

Strukturbaum

Keine Einordnung ins Vorlesungsverzeichnis vorhanden. Veranstaltung ist aus dem Semester SoSe 2025. Aktuelles Semester: WiSe 2025/26.
Ansprechpartner:innen | Barrierefreiheit | Impressum | Datenschutzerklärung
Humboldt-Universität zu Berlin | Unter den Linden 6 | D-10099 Berlin