Suche - DAES - TU Dortmund

Suche
Personensuche

Suchergebnisse filtern

Ergebnisse pro Seite:

146 Ergebnisse

1. Computer Science
2. Studies
3. During studies
4. POen, MHB, etc.
M.Sc. Inf.

Nebenfachbestimmungen Nebenfach Elektrotechnik Nebenfach Logistik Nebenfach Maschinenbau Nebenfach Mathematik Nebenfach Philosophie Nebenfach Robotik Nebenfach Statistik Nebenfach Wirtschaftswissenschaften …
1. MS
2. Teaching
3. Vorherige Semester
Sommersemester 2021 LS4

Sommersemester 2021 Vorlesungen & Übungen Mathematik für Informatik 2 Veranstalter Veranstaltungsnummer SWS Termine Vorlesung Prof. Dr. Peter Buchholz 040503 4 Online-Veranstaltung Veranstaltungsnummer …
1. LOGIC-IN
2. Meldung: 2.2.2023
SchwentickFest

eit großer Labore, aber auch nicht in Elfenbeintürmen statt. Vielmehr entsteht das Ergebnis, mathematische Sätze und ihre Beweise, meistens in interaktiven Prozessen, im intensiven Austausch einer Gruppe …
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. Computer Science
2. Studies
3. Study programs
Bachelor Informatik

an. Formale Grundlagen-Zyklus (hellblau) Die Informatik benutzt formale Methoden, die Sie in den Mathematik- und Theorie-Veranstaltungen erlernen, um praktische Probleme analysieren und effizient lösen zu [...] vorbereitet, können Sie nach Ihren Interessen wählen, z.B. Elektrotechnik, Logistik, Maschinenbau, Mathematik, Philosophie, Physik, Rehabilitationstechnologie, Statistik, Theoretische Medizin, Wirtschafts …
1. Computer Science
2. Studies
3. During studies
NF-AF

Informatik. Dienstleistungsinformatik Enterprise Computing Elektrotechnik Logistik Maschinenbau Mathematik Musik Philosophie Physik Process Automation Rehabilitationstechnologie Robotik Statistik Theoretische …
1. LOGIC-IN
2. Personen
3. Retired
4. Prof. Dr.-Ing. Dr. h. c. Claudio Moraga
Curriculum Vitae

Dortmund wurde Prof. Dr. Moraga 1985 auf eine Professur für Rechnerarchitektur am Fachbereich Mathematik und Informatik der Universität Bremen berufen. 1986 übernahm Prof. Dr. Moraga eine Professur am …
1. Computer Science
2. Meldung: 18.9.2024
KION-Stiftungsprofessur für Sichere Autonome Systeme besetzt

Bereichen Maschinenbau, Mathematik und Informatik gearbeitet. Nach seiner Promotion 2017 war er an der Universität Paderborn zunächst als Postdoc am Institut für Industriemathematik tätig und wechselte 2021 …
1. Computer Science
2. Studies
3. Before studies
4. Orientation offers
Studien- und Berufswahlmessen / Berufsorientierungstage

Dortmund oder als Fakultät. Auf jeden Fall berät die Studienfachberatung bei der Schülerakademie Mathematik und Informatik Münster (SMIMS), die jedes Jahr nach den Sommerferien stattfindet. …