Prof. Dr.-Ing. Roland Harig

Honorarprofessor

Kontakt

Prof. Dr.-Ing. Roland Harig
E-6 Elektrische Energietechnik
  • Elektrische Energietechnik
Sprechzeiten
nach Vereinbarung
Harburger Schloßstraße 22a,
21079 Hamburg
Gebäude HS22a, Raum 2.010

Frühere Tätigkeit

bis 03/2015
Leiter des Forschungsbereichs Optische Messtechnik (Infrarotmesstechnik) am Institut für Messtechnik / TUHH

Publikationen

TUHH Open Research (TORE)

2012

2011

2008

Lehrveranstaltungen

Stud.IP
link to course in Stud.IP Studip_icon
Mengenlehre und mathematische Logik (VL)
Subtitle:
Diese Lehrveranstaltung ist Teil des Moduls: Mengenlehre und mathematische Logik
Semester:
SoSe 24
Course type:
Lecture
Course number:
lv2332_s24
Lecturer:
unbekannte Lehrperson
Description:
  • Grundbegriffe der Mathematischen Logik und Modelltheorie
  • Syntax & Semantik der Prädikatenlogik der ersten Stufe
  • Gödelscher Vollständigkeitssatz & Kompaktheitssatz
  • Löwenheim-Skolem-Sätze
  • Grundbegriffe der Mengenlehre & Zermelo-Fraenkel Axiome
  • Ordinalzahlen & Kardinalzahlen
  • Auswahlaxiom & seine Äquivalenzen
Performance accreditation:
445 - Mengenlehre und mathematische Logik<ul><li>445 - Mengenlehre und mathematische Logik: Klausur schriftlich</li></ul><br>m1556 - Mengenlehre und mathematische Logik<ul><li>p1489 - Mengenlehre und mathematische Logik: Klausur schriftlich</li></ul>
ECTS credit points:
6
Stud.IP informationen about this course:
Home institute: Universität Hamburg (UniHH)
Registered participants in Stud.IP: 1