Prof. Dr.-Ing. Roland Harig

Honorary Professor

Contact

Prof. Dr.-Ing. Roland Harig
E-6 Elektrische Energietechnik
  • Elektrische Energietechnik
Office Hours
nach Vereinbarung
Harburger Schloßstraße 36,
21079 Hamburg
Building HS36, Room C2 1.009

Previous activity

until 03/2015
Head of Research Area Optical Measurement Technology (Infrared Measurment Technology) at the Institute of Measurement Technology / TUHH

Publications

TUHH Open Research (TORE)

2012

2011

2008

Courses

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