Suche - DAES - TU Dortmund

Suche
Personensuche

1995 Ergebnisse

1. Fakultät Statistik
2. Department
3. Events
4. Absolventenfeiern
Absolventenfeier 2009

und fand im Campus-Treff (Vogelpothsweg 120, direkt hinter der S-Bahn-Station, gegenüber vom Mathematikgebäude) statt. Der Festvortrag, wie immer aus den Reihen des Alumni-Vereins, wurde von Herrn Prof. …
1. IADS
2. Meldung: 18.10.2024
Neue Veröffentlichung: Silvia-Iris Beutel /Hans Anand Pant – Lernen ohne Noten

Fachbezogener Erkenntnistransfer am Leibniz-Institut für die Pädagogik der Naturwissenschaften und Mathematik (IPN) in Kiel. …
1. Physik
2. Meldung: 4.10.2021
Physik-Helpdesk

Studierende der Physik und Medizinphysik in den ersten Studiensemestern zu unterstützen. Neben einem mathematischen Selbststest, einem Auffrischungskurs und einem Physik-Vorkurs bietet die Fakultät Physik, in …
1. UB
2. Search & Media
3. Our Printed Collection
4. Shelf Marks
FOS (Sammlung Forschungsstelle Schule)

Fremdsprachen Js SGG Geschichte, Gesellschaftswissenschaften, Philosophie Js SGK Kunst, Musik Js SGM Mathematik, Wirtschaftslehre Js SGN Naturwissenschaften Js SGR evangelische / katholische Religion Js SGS …
1. Forschungsförderung
2. Research Support Services
3. Team
Ressort Förderberatung

Fakultät entnehmen Sie die zuständige Förderberaterin, den Förderberater der u.a. Tabelle. Fak. 1 Mathematik Fak. 2 Physik Fak. 3 Chemie und Chemische Biologie Fak. 4 Informatik Fak. 5 Statistik Fak. 6 Bio- …
1. MS
2. Teaching
3. Winter term
Modelle und Methoden des OR

keine Vorhanden sein sollten Kenntnisse des Operations Research auf Bachelor-Niveau sowie gute Mathematikkenntnisse. Termin und Ort: Vorlesung: Dienstag, 8.00 – 10.00; HSG2 – HS 4 Übung: Mittwoch, 12.00 – 14 …
1. SEAL
2. Veranstaltung: 2.12.2024
Logische Methoden des Software Engineering 2

bei. Beschreibung Die Vorlesung LMSE 2 behandelt das Thema Typtheorie und deren Verbindung zur mathematischen Logik. Das zentrale Resultat der Typtheorie ("Curry-Howard-Isomorphismus") zeigt die Korrespondenz [...] intuitionistische Logik zweiter Stufe Dependent Types und Programmkorrektheitsbeweise Mechanisierung mathematischer Beweise Curry-Howard-Isomorphismus (Korrespondenz zwischen Typen und logischen Formeln) Bemerkungen …
1. SEAL
2. Veranstaltung: 1.12.2023
Logische Methoden des Software Engineering 2

Beschreibung Die Vorlesung LMSE 2 behandelt das Thema Typentheorie und deren Verbindung zur mathematischen Logik. Das zentrale Resultat der Typentheorie ("Curry-Howard-Isomporphismus") zeigt die Korrespondenz [...] intuitionistische Logik zweiter Stufe Dependent Types und Programmkorrektheisbeweise Mechanisierung mathematischer Beweise Curry-Howard-Isomorhismus (Korrespondenz zwischen Typen und logischen Formeln) Bemerkungen …
1. Physik
2. Study
3. Prospective Students
Naturwissenschaft Physik - Fakultät Physik

in der Sprache der Mathematik formuliert. Dabei beginnt ein spannender Kreislauf, der typisch ist für jede Form von Wissenschaft: Ein aus Beobachtungen abgeleitetes und mathematisch formuliertes Modell …
1. fs-wima
Barrierefreiheit

ausgenommen sind. Kontakt: Fachschaft Wirtschaftsmathematik fswima@math.tu-dortmund.de 0231 755-3096 Feedback: Wenn Sie Kontakt zur Fachschaft Wirtschaftsmathematik aufnehmen möchten, nutzen Sie bitte unser …