FAU Podcasts

freie-radios.net (limited to Radio FAU Berlin)

Im Rahmen der Vorlesung werden (a) die Grundlagen der Generation von wichtigen Biosignalen im menschlichen Körper (b) die Messung von Biosignalen und c) Methoden zur Analyse von Biosignalen erläutert und dargestellt.

Medcast bietet informative und unterhaltsame Medizinische-Podcasts zu unterschiedlichen Themenfeldern. Sie sind von Studenten geschrieben und werden von Dozenten korrigiert, um die fachliche Richtigkeit zu garantieren.

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

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

In pädagogischen Kontexten spielen geschlechtliche Identitäten und sexuelle Orientierungen der beteiligten Personen eine wichtige Rolle – wenn auch oft nicht als ausdrückliches Thema. Damit Bildung gelingen kann, ist es notwendig, professionell mit dieser Vielfalt umzugehen. Dazu gehört, sexuelle Diversität überhaupt wahrzunehmen, Kenntnisse über die Entwicklung des Sexualverhaltens und der geschlechtlichen Identität zu besitzen und jeglicher Form sexueller Diskriminierung ethisch begründet ...