Florian Strobel

M.Sc.
Wissenschaftlicher Mitarbeiter

Kontakt

Florian Thorsten Lutz Strobel
E-6 Elektrische Energietechnik
  • Elektrische Energietechnik
Harburger Schloßstraße 22a,
21079 Hamburg
Gebäude HS22a, Raum 2.014
Tel: +49 40 42878 2750
Logo

Forschungsprojekt

DISEGO
Kritische Komponenten für den verteilten und sicheren Netzbetrieb

DISEGO

Kritische Komponenten für den verteilten und sicheren Netzbetrieb

Bundesministerium für Wirtschaft und Klimaschutz (BMWK); Laufzeit: 2022 bis 2025

Publikationen

TUHH Open Research (TORE)

2023

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

Betreute Abschlussarbeiten

laufende
beendete