show episodes
 
Besonderer Themenschwerpunkt beim WKE 2016 ist der Bereich E-Government. Durch die Etablierung neuer gesetzlicher Richtlinien ergeben sich gerade für den öffentlichen Dienst sowohl auf IT-technischer als auch auf organisatorischer und politischer Ebene neue Chancen und Herausforderungen. Bürgerportale wie Bayern Online, Initiativen und Angebote zur Nutzung von Open Data, aber auch politische Vorgaben zum verstärkten Einsatz von Online-Bürgerbeteiligung sind Gegenstand der Vorträge. Aktuelle ...
 
Spannungen, Formänderungen, Stoffgesetz (kleine Deformationen, isotropes und homogenes Material) Spannungen und Verformungen gerader, schlanker Träger unter Zug, Biegung, Torsion und Querkraftschub Energiemethoden - Verfahren von Mohr, Satz von Castigliano Elastische Stabilität - Knicken von Stäben Einführung in die Elastizitätstheorie (mehrachsige Spannungszustände, Spannungstransformation, spezifische Dehnungs- und Gestaltänderungsenergie) Festigkeitsnachweis (Materialprüfung, Festigkeitsh ...
 
Aussagenlogik: Syntax und Semantik Automatisches Schließen: Resolution Formale Deduktion: Korrektheit, Vollständigkeit Prädikatenlogik erster Stufe: Syntax und Semantik Automatisches Schließen: Unifikation, Resolution Quantorenelimination Anwendung automatischer Beweiser Formale Deduktion: Korrektheit, Vollständigkeit
 
Fehleranalyse (Gleitpunktdarstellung, Rundung, Fehlerfortpflanzung, Kondition, Gutartigkeit) Polynominterpolation (Dividierte Differenzen, Interpolationsfehler) Asymptotische Entwicklungen und Extrapolation (Richardson-Extrapolation) Numerische Integration (Newton-Cotes-Formel, Romberg-Integration, Gaußsche Integration) Lineare Gleichungssysteme (Gaußscher Algorithmus, LR-Zerlegung, Cholesky-Zerlegung, Matrixnormen, Fehlerabschätzungen) Nichtlineare Gleichungssysteme (Fixpunktsätze, Konverge ...
 
Inhalt: Termersetzungssysteme, Normalisierung, Konfluenz Getypter und ungetypter Lambda-Kalkül Semantik von Programmiersprachen, Anfänge der Bereichstheorie Datentypen, Kodatentypen, Induktion und Koinduktion, Rekursion und Korekursion Programmverifikation, Floyd-Hoare-Kalkül Reguläre Sprachen und endliche Automaten Beschriftete Transitionssysteme, Bisimulation und Temporallogik
 
Spannungen, Formänderungen, Stoffgesetz (kleine Deformationen, isotropes und homogenes Material) Spannungen und Verformungen gerader, schlanker Träger unter Zug, Biegung, Torsion und Querkraftschub Energiemethoden - Verfahren von Mohr, Satz von Castigliano Elastische Stabilität - Knicken von Stäben Einführung in die Elastizitätstheorie (mehrachsige Spannungszustände, Spannungstransformation, spezifische Dehnungs- und Gestaltänderungsenergie) Festigkeitsnachweis (Materialprüfung, Festigkeitsh ...
 
Aussagenlogik: Syntax und Semantik Automatisches Schließen: Resolution Formale Deduktion: Korrektheit, Vollständigkeit Prädikatenlogik erster Stufe: Syntax und Semantik Automatisches Schließen: Unifikation, Resolution Quantorenelimination Anwendung automatischer Beweiser Formale Deduktion: Korrektheit, Vollständigkeit
 
Inhalt: Termersetzungssysteme, Normalisierung, Konfluenz Getypter und ungetypter Lambda-Kalkül Semantik von Programmiersprachen, Anfänge der Bereichstheorie Datentypen, Kodatentypen, Induktion und Koinduktion, Rekursion und Korekursion Programmverifikation, Floyd-Hoare-Kalkül Reguläre Sprachen und endliche Automaten Beschriftete Transitionssysteme, Bisimulation und Temporallogik
 
Loading …
show series
 
Loading …

Kurzanleitung

Google login Twitter login Classic login