4605:3715.Jul.2019EnglishInternational Drillbotics® Students Competition 2019
During the week June 11-14, 2019, the final of the 2019 SPE Drillbotics competition was held at TU Clausthal’s Drilling Simulator Celle.
3401:3912.07.2019DeutschEröffnung des Institute for Software and Systems Engineering (ISSE)
Am 3. Juli 2019 feierte das Institute for Software and Systems Engineering (ISSE) seine offizielle Eröffnung.
12702:1002.07.2019DeutschGVR-Team 2019
Auch in diesem Jahr baut das GVR-Team der TU Clausthal wieder an einem neuen Rennwagen. In diesem Film schildern Mitglieder ihre Beweggründe.
36305:03:5410.May.2019EnglishSimulation Science Workshop 2019
The second “Clausthal-Göttingen International Workshop on Simulation Science” aims to bring together researchers and practitioners from both industry and academia to report on the latest advances in simulation science.
52002:11:0030.04.2019DeutschAkademische Feierstunde SS 2019
Stimmungsvoll, motivierend, herzlich: Auf einer akademischen Feier in der Aula haben die Absolventinnen und Absolventen der TU Clausthal, die im vergangenen halben Jahr ihren Abschluss gemacht haben, ihre Zeugnisse überreicht bekommen. Insgesamt wurden an 341 Studierende der Oberharzer Universität Bachelor- oder Masterurkunden verliehen, hinzu kamen 33 Promotionsabschlüsse.
49902:03:0016.04.2019DeutschAmtseinführung des neuen Präsidenten Prof. Schachtner
Kraftvolle Musik, kurzweilige Reden, Aufbruchstimmung: Vor mehr als 250 Gästen ist Professor Dr. Joachim Schachtner am 4. April vom niedersächsischen Minister für Wissenschaft und Kultur, Björn Thümler, offiziell in das Amt des Präsidenten der Technischen Universität Clausthal eingeführt worden. Die Amtszeit Schachtners, der zuvor Vizepräsident für Informations- und Qualitätsmanagement der Universität Marburg war, beträgt zunächst sechs Jahre.
Filme
2.21805:2627.11.2012DeutschMit Humor an die Spitze
Frau Dr.-Ing. Stefanie Jauns-Seyfried ist heute Leiterin bei Volkswagen in der Abteilung Funktions- und Softwareentwicklung der Antriebselektronik.
- 12702:1002.07.2019Deutsch
GVR-Team 2019
Auch in diesem Jahr baut das GVR-Team der TU Clausthal wieder an einem neuen Rennwagen. In diesem Film schildern Mitglieder ihre Beweggründe.
14.37801:19:0314.11.2013DeutschTechnisches Zeichnen
Die Einführungsveranstaltung und die Erläuterungen zu den Übungsaufgaben 1-4 des Kurses "Technisches Zeichnen".
13.61536:1431.07.2013DeutschInstallation von Dehnungsmessstreifen
In dem Lehrfilm wird der zeitliche Verlauf einer Praktikumsveranstaltung dargestellt. Prof. Dr.-Ing. Stefan Keil erläutert das Installieren und Verschalten von Dehnungsmessstreifen bis hin zur Durchführung einer praktischen Messung. Die erste Fassung des Lehrfilms entstand 2006, eine erweiterte Fassung 2013.
- 36305:03:5410.May.2019English
Simulation Science Workshop 2019
The second “Clausthal-Göttingen International Workshop on Simulation Science” aims to bring together researchers and practitioners from both industry and academia to report on the latest advances in simulation science.
- 52002:11:0030.04.2019Deutsch
Akademische Feierstunde SS 2019
Stimmungsvoll, motivierend, herzlich: Auf einer akademischen Feier in der Aula haben die Absolventinnen und Absolventen der TU Clausthal, die im vergangenen halben Jahr ihren Abschluss gemacht haben, ihre Zeugnisse überreicht bekommen. Insgesamt wurden an 341 Studierende der Oberharzer Universität Bachelor- oder Masterurkunden verliehen, hinzu kamen 33 Promotionsabschlüsse.
Vorlesungsaufzeichnungen
8.19922:31:37SS 2016DeutschLogik und Verifikation
This course is about logic based formal methods and how to use them for verification in computer science. It rigorously defines the language and semantics of sentential logic (SL) and first-order logic (FOL). We introduce the notion of a model, and show how hardware and software systems can be modelled within this framework. We also consider semantic entailment vs. syntactic derivability of formulae and how these two notions are related through correctness and completeness. Completeness is formally proved for SL and extensively discussed for FOL (in the form of refutation completeness). Both logics are applied to important verification problems: SL and its extension LTL for verifying linear temporal properties in concurrent systems, and FOL for verifying input/output properties of programs (the Hoare calculus). We show how the resolution calculus for FOL leads to PROLOG, a programming language based on FOL. We also show that SL leads to a declarative version of PROLOG: Answer Set Programming (ASP), that can be used to solve problems expressible on the second level of the polynomial hierarchy. While ASP is not a full-fledged programming language, it can be used for many naturally ocurring problems and it allows to model them in a purely declarative way. 1. Introduction 2. Sentential Logic (SL) 3. Verification I: Reactive Systems 4. First-Order Logic (FOL) 5. Verification II: Hoare Calculus 6. From FOL to PROLOG 7. PROLOG
71.99920:55:33WS 04/05DeutschGrundlagen der Elektrotechnik I
1. Einführung 2. Grundgesetze des Gleichstromkreises Einfacher Stromkreis, Berechnung von Widerstandsnetzwerken 3. Energiebedarf elektrischer Strömung Grundgesetze, Wirkungsgrad, Anpassung, Energieumwandlung, Wirkungsgrad bei der Energieübertragung 4. Wirkungen elektrischer Strömung Wärmewirkung, chemische Wirkung, magnetische Wirkung, physiologische Wirkung, optische Wirkung 5. Elektrisches Feld Abgrenzung zum Strömungsfeld, Größen zur Feldbeschreibung Verhalten von Kapazitäten im Stromkreis, Anwendung des elektr. Feldes 6. Magnetisches Feld Einführung, Übersicht, Größen zur Feldbeschreibung, Beispiele magnetischer Felder, Materie im Magnetfeld, Induktionsgesetz, Kräfte und Energie im Magnetfeld, Vergleich E- und M-Feld 7. Leitungsmechanismus in Halbleitern Leitfähigkeit von Halbleitern, Halbleiterelemente mit einfachem PN-Übergang, Halbleiterelemente mit gesteuertem PN-Übergang 8. Grundgesetze des Wechselstromkreises Einführung, Zeigerdarstellung von Sinusgrößen, einfacher Sinusstromkreis, komplexe Sinusstromkreis-Berechnung, Schwingkreise
27.38215:59:11SS 2004DeutschGrundlagen der Elektrotechnik II
1. Grundgesetze der Dreiphasen-Sinusstromkreise Offenes und verkettetes Dreiphasensystem, Drehfelderzeugung, Drei- und Vierleiternetzbetrieb 2. Schutzmaßnahmen gegen hohe Berührungsspannungen Physiologische Wirkungen von Körperströmen, Berührungsschutzmaßnahmen, Berührungsschutz durch Schutzabschaltung 3. Leitungsmechanismus in Halbleitern Leitfähigkeit von Halbleitern, Hlableiterelemente mit einfachem PN-Übergang, Halbleiterelement mit gesteuertem PN-Übergang 4. Nichtlineare Wechselstromkreise Definitionen und Beispiele, Wechselstromkreise mit Eisendrosselspule, Wechselstromkreise bei höheren Frequenzen, Wechselstromkreise mit elektrischen Ventilen 5. Magnetische gekoppelte Wechselstromkreise Idealer Transformator, realer Transformator, realer Transformator im Betrieb, Drehstromtransformatoren
16.94219:35:17WS 06/07DeutschKonstruktionslehre I
0. Einführung in das Lehrgebiet 1. Modellvorstellungen zum Konstruktionsprozeß 2. Methoden zur Lösungsfindung 3. CAD im Konstruktionsprozeß 4. Kostenbewußtes Konstruieren 5. Konstruieren von Baureihen- und Baukastensystemen
42.79639:52:35WS 05/06DeutschKonstruktionselemente II
4.3 Reibschlüssige Verbindungen 4.4 Schraubenverbindungen 4.5 Elastische Verbindungen (Federn) 5. Antriebselemente: 5.1 Wellen und Achsen 5.2 Gleitlager 5.3 Wälzlager 5.4 Kupplungen 6. Antriebe: 6.1 Aufgaben der Antriebstechnik
31.82321:55:24WS 04/05DeutschMaschinenlehre I
1. Einführung 2. Grundlagen 2.1 Berechnung von Maschinenteilen: Spannungen, Dehnungen 2.2 Kerbwirkung 2.3 Ruhende und zeitlich veränderliche Beanspruchung 2.4 Übersicht Fertigungsverfahren 2.5 Übersicht Konstruktionsprozeß 3. Apparateelemente 4. Verbindungen und Verbindungselemente 4.1 Stoffschlüssige Verbindungen: Schweißen, Löten, Kleben 4.2 Formschlüssige Verbindungen 4.3 Reibschlüssige Verbindungen 4.4 Elastische Verbindungen: Federn 4.5 Schraubenverbindungen 5. Antriebselemente 5.1 Wellen und Achsen 5.2 Gleitlager, Schmierstoffe 5.3 Wälzlager
- 42.79639:52:35WS 05/06Deutsch
Konstruktionselemente II
4.3 Reibschlüssige Verbindungen 4.4 Schraubenverbindungen 4.5 Elastische Verbindungen (Federn) 5. Antriebselemente: 5.1 Wellen und Achsen 5.2 Gleitlager 5.3 Wälzlager 5.4 Kupplungen 6. Antriebe: 6.1 Aufgaben der Antriebstechnik
- 27.38215:59:11SS 2004Deutsch
Grundlagen der Elektrotechnik II
1. Grundgesetze der Dreiphasen-Sinusstromkreise Offenes und verkettetes Dreiphasensystem, Drehfelderzeugung, Drei- und Vierleiternetzbetrieb 2. Schutzmaßnahmen gegen hohe Berührungsspannungen Physiologische Wirkungen von Körperströmen, Berührungsschutzmaßnahmen, Berührungsschutz durch Schutzabschaltung 3. Leitungsmechanismus in Halbleitern Leitfähigkeit von Halbleitern, Hlableiterelemente mit einfachem PN-Übergang, Halbleiterelement mit gesteuertem PN-Übergang 4. Nichtlineare Wechselstromkreise Definitionen und Beispiele, Wechselstromkreise mit Eisendrosselspule, Wechselstromkreise bei höheren Frequenzen, Wechselstromkreise mit elektrischen Ventilen 5. Magnetische gekoppelte Wechselstromkreise Idealer Transformator, realer Transformator, realer Transformator im Betrieb, Drehstromtransformatoren
- 71.99920:55:33WS 04/05Deutsch
Grundlagen der Elektrotechnik I
1. Einführung 2. Grundgesetze des Gleichstromkreises Einfacher Stromkreis, Berechnung von Widerstandsnetzwerken 3. Energiebedarf elektrischer Strömung Grundgesetze, Wirkungsgrad, Anpassung, Energieumwandlung, Wirkungsgrad bei der Energieübertragung 4. Wirkungen elektrischer Strömung Wärmewirkung, chemische Wirkung, magnetische Wirkung, physiologische Wirkung, optische Wirkung 5. Elektrisches Feld Abgrenzung zum Strömungsfeld, Größen zur Feldbeschreibung Verhalten von Kapazitäten im Stromkreis, Anwendung des elektr. Feldes 6. Magnetisches Feld Einführung, Übersicht, Größen zur Feldbeschreibung, Beispiele magnetischer Felder, Materie im Magnetfeld, Induktionsgesetz, Kräfte und Energie im Magnetfeld, Vergleich E- und M-Feld 7. Leitungsmechanismus in Halbleitern Leitfähigkeit von Halbleitern, Halbleiterelemente mit einfachem PN-Übergang, Halbleiterelemente mit gesteuertem PN-Übergang 8. Grundgesetze des Wechselstromkreises Einführung, Zeigerdarstellung von Sinusgrößen, einfacher Sinusstromkreis, komplexe Sinusstromkreis-Berechnung, Schwingkreise
- 8.19922:31:37SS 2016Deutsch
Logik und Verifikation
This course is about logic based formal methods and how to use them for verification in computer science. It rigorously defines the language and semantics of sentential logic (SL) and first-order logic (FOL). We introduce the notion of a model, and show how hardware and software systems can be modelled within this framework. We also consider semantic entailment vs. syntactic derivability of formulae and how these two notions are related through correctness and completeness. Completeness is formally proved for SL and extensively discussed for FOL (in the form of refutation completeness). Both logics are applied to important verification problems: SL and its extension LTL for verifying linear temporal properties in concurrent systems, and FOL for verifying input/output properties of programs (the Hoare calculus). We show how the resolution calculus for FOL leads to PROLOG, a programming language based on FOL. We also show that SL leads to a declarative version of PROLOG: Answer Set Programming (ASP), that can be used to solve problems expressible on the second level of the polynomial hierarchy. While ASP is not a full-fledged programming language, it can be used for many naturally ocurring problems and it allows to model them in a purely declarative way. 1. Introduction 2. Sentential Logic (SL) 3. Verification I: Reactive Systems 4. First-Order Logic (FOL) 5. Verification II: Hoare Calculus 6. From FOL to PROLOG 7. PROLOG
13.38725:14:56WS 10/11DeutschInformatik III
· Grammatiken der Chomsky Hierarchie (Typ3-Typ 0) · Reguäre Ausdrücke, Satz von Kleene, · Endliche Automaten (indet.), epsilon Kanten, Pumping Lemma, · Kellerautomaten, Turingmaschinen · Busy Beaver, Halteproblem, Reduktionen, aufzaehlbar/entscheidbar · Random access machines, P/NP
-
Aufzeichnungen von Vorlesungen
In dieser Rubrik finden Sie eine Übersicht über alle verfügbaren Aufzeichnungen von Vorlesungsreihen
-
Filme zur Vorstellung von Studiengängen
In dieser Rubrik finden Sie Filme zur Vorstellung verschiedener Studiengänge der TU Clausthal.
-
Filme zur Forschung
In dieser Rubrik finden Sie Filme zu von den Instituten der TU Clausthal durchgeführten Forschungsprojekten.
