- معلم: Helga Unseld
نتائج البحث: 388
- معلم: Theresa Breitenberger
- معلم: Veronika Kruse
- معلم: Marina Meißner
- معلم: Kathrin Nilsson
- معلم: Tina Junge
- معلم: Tina Junge
- معلم: Tina Junge
- معلم: Tina Junge
- معلم: Tina Junge
- معلم: Luzia Hofer
- معلم: Sophie Kellerer
- معلم: Marina Meißner
- معلم: Sophie Kellerer
- معلم: Marina Meißner
- معلم: Luzia Hofer
- معلم: Luzia Hofer
- معلم: Tina Junge
- معلم: Tanja Tröger
- معلم: Theresa Breitenberger
- معلم: Veronika Kruse
- معلم: Kathrin Nilsson
- معلم: Helga Unseld
- معلم: Laura Gabler
- معلم: Kathrin Nilsson
- معلم: Luzia Hofer
- معلم: Kathrin Nilsson
- معلم: Sophie Kellerer
- معلم: Kathrin Nilsson
- معلم: Theresa Breitenberger
- معلم: Alexandra Berghofer
- معلم: Theresa Breitenberger
- معلم: Sophie Kellerer
- معلم: Veronika Kruse
- معلم: Tina Junge
- معلم: Helga Unseld
- معلم: Tina Junge
- معلم: Theresa Breitenberger
- معلم: Veronika Kruse
- معلم: Theresa Breitenberger
- معلم: Sophie Kellerer
- معلم: Veronika Kruse
- معلم: Kathrin Nilsson
- معلم: Theresa Breitenberger
- معلم: Sophie Kellerer
- معلم: Veronika Kruse
- معلم: Tina Junge
- معلم: Tanja Tröger
- معلم: Helga Unseld
- معلم: Alexandra Berghofer
- معلم: Veronika Kruse
- معلم: Tina Junge
- معلم: Tanja Tröger
- معلم: Helga Unseld
- معلم: Theresa Breitenberger
- معلم: Sophie Kellerer
- معلم: Veronika Kruse
- معلم: Sophie Kellerer
- معلم: Kathrin Nilsson
- معلم: Tanja Tröger
- معلم: Helga Unseld
- معلم: Alexandra Berghofer
- معلم: Tina Junge
- معلم: Veronika Kruse
- معلم: Theresa Breitenberger
- معلم: Veronika Kruse
- معلم: Theresa Breitenberger
- معلم: Veronika Kruse
- معلم: Alexandra Berghofer
- معلم: Veronika Kruse
- معلم: Alexandra Berghofer
- معلم: Alexandra Berghofer
- معلم: Theresa Breitenberger
Seminar zum Mathematikunterricht in der Grundschule - Schwerpunkt Förderung - A (Unseld) [WiSe22/23]
- معلم: Helga Unseld
Seminar zum Mathematikunterricht in der Grundschule - Schwerpunkt Förderung - D (Unseld) [WiSe22/23]
- معلم: Helga Unseld
- معلم: Tina Junge
TESTKURS - nur zu Übungszwecken angelegt!
- معلم: Alexandra Berghofer
- معلم: Sophie Kellerer
- معلم: Tina Junge
- معلم: Helga Unseld
- معلم: Helga Unseld
- معلم: Tina Junge
- معلم: Kathrin Nilsson
- معلم: Tanja Tröger
- معلم: Helga Unseld
- معلم: Sophie Kellerer
- معلم: Tanja Tröger
- معلم: Laura Gabler
- معلم: Sophie Kellerer
- معلم: Kathrin Nilsson
- معلم: Kathrin Nilsson
- معلم: Helga Unseld
- معلم: Laura Gabler
- معلم: Tanja Tröger
- معلم: Helga Unseld
- معلم: Tina Junge
- معلم: Tanja Tröger
- معلم: Helga Unseld
- معلم: Tina Junge
- معلم: Tanja Tröger
- معلم: Helga Unseld
- معلم: Sophie Kellerer
- معلم: Kathrin Nilsson
- معلم: Tina Junge
- معلم: Tina Junge
- معلم: Tina Junge
- معلم: Kathrin Nilsson
- معلم: Tina Junge
- معلم: Tanja Tröger
- معلم: Helga Unseld
- معلم: Tina Junge
- معلم: Tina Junge
Basic Information
- Language: English
- Prerequisite courses
- Formal Languages and Complexity (must)
- Logic and Discrete Structures (must)
- Formal Specification and Verification (recommended)
- Software Verification (recommended)
- SAT Solving (recommended)
- Date: Thursday, 10:15-11:45
- Location: Seminar Room 133, Oettingenstr. 67
- First meeting: 2024-04-18 (about the detailed seminar organization and expectations)
Content
Model checking is an important research field in computer science where automatic solutions to the following problem are studied: Given a computational model and a specification, decide whether the model satisfies the specification or not. In practice, a computational model can be a digital circuit (hardware) or a program (software). A specification can be a safety property requiring that errors never happen during the execution of the model. Compared to testing, model checking can guarantee the correctness of a computational model with mathematical rigor. Model checking is rooted in a solid theoretical foundation and requires advanced software engineering for tool implementation. The inventors of model checking won the 2007 Turing Award, and leading technology companies use model-checking techniques to assure the quality of their products.
Goal
The goal of this seminar is to learn the mathematical foundation and understand the working of state-of-the-art algorithms for hardware and software model checking. At the end of this seminar, students should become familiar with the background knowledge of model checking and able to explain a scientific publication on model checking in oral and written forms.
Organization
The seminar will consist of three phases:
- Reading sessions: In the first phase, we will recap the mathematical foundation of model checking. Students will be divided into groups. Each group will be assigned a topic and lead the discussion on the topic in one seminar session.
- Weekly meetings: In the second phase, each student will be assigned a publication on an algorithm for model checking. Students will have weekly meetings with the mentors to report their progress. Mentors will guide students to read and understand the algorithms in the publications.
- Final presentation and report: In the final phase, students will present the algorithms assigned to them and write a report explaining them with examples and analysis.
Team
References
- معلم: Dirk Beyer
- معلم: Po-Chun Chien
- معلم: Niann-Tzer Li
Basic Information
- Language: English
- Prerequisite courses
- Formal Languages and Complexity (must)
- Logic and Discrete Structures (must)
- Formal Specification and Verification (recommended)
- Software Verification (recommended)
- SAT Solving (recommended)
- Date: Thursday, 16:15-17:45
- Location: Seminar Room 067, Oettingenstr. 67
- First meeting: 2023-10-19 (about the detailed seminar organization and expectations)
- IMPORTANT: Absence from the first meeting will lead to a failing grade in the seminar.
Content
Model checking is an important research field in computer science where automatic solutions to the following problem are studied: Given a computing model and a specification, decide whether the model satisfies the specification or not. In practice, a computing model can be a digital circuit (hardware) or a program (software). A specification can be a safety property requiring that errors never happen during the execution of the computing model. Compared to testing, model checking can guarantee the correctness of computing systems with mathematical rigor. Model checking is rooted in a solid theoretical foundation and requires advanced software engineering for tool implementation. The inventors of model checking won the 2007 Turing Award, and leading technology companies use model-checking techniques to assure the quality of their products.
Goal
The goal of this seminar is to learn the mathematical foundation and understand the working of state-of-the-art algorithms for hardware and software model checking. At the end of this seminar, students should become familiar with the background knowledge of model checking and able to explain a scientific publication on model checking in oral and written forms.
Organization
The seminar will consist of three phases:
- Reading lectures: In the first phase, we will recap the mathematical foundation of model checking. Students will be divided into groups. Each group will be assigned a topic and lead the discussion on the topic in one seminar session.
- Weekly group meetings: In the second phase, each student will be assigned a publication on an algorithm for model checking. Students will have weekly meetings with the mentors to report their progress. Mentors will guide students to read and understand the algorithms in the publications.
- Final presentation and report: In the final phase, students will present the algorithms assigned to them and write a report explaining them with examples and analysis.
Team
References
- معلم: Dirk Beyer
- معلم: Po-Chun Chien
- معلم: Niann-Tzer Li
The seminar on Data Ethics is part of the MSc Data Science program at Ludwig-Maximilians-Universität (LMU) Munich. The course will be lead by Prof. Dr. Dieter Kranzlmüller and Fabio Genz.
Contents: The seminar is one part of the module Data Ethics and Data Security, which covers basic legal and ethical questions and challenges of data security. This course helps the students to prepare lectures on ethical and legal aspects of data ethics. Students are introduced to the technical, legal, and ethical issues of data security, especially when dealing with personal data or when planning experiments in Data Science.
Objective: Students will reflect on standard procedures and problems of data protection and learn technical methods to handle data responsibly.
![](https://moodle.lmu.de/pluginfile.php/1570005/course/overviewfiles/Vorschlag%20Data%20Ethics_1.jpg)
- معلم: Fabio Genz
- معلم: Dieter Kranzlmüller
The seminar on Data Ethics is part of the MSc Data Science program at Ludwig-Maximilians-Universität (LMU) Munich. The course will be lead by Prof. Dr. Dieter Kranzlmüller and Fabio Genz.
Contents: The seminar is one part of the module Data Ethics and Data Security, which covers basic legal and ethical questions and challenges of data security. This course helps the students to prepare lectures on ethical and legal aspects of data ethics. Students are introduced to the technical, legal, and ethical issues of data security, especially when dealing with personal data or when planning experiments in Data Science.
Objective: Students will reflect on standard procedures and problems of data protection and learn technical methods to handle data responsibly.
![](https://moodle.lmu.de/pluginfile.php/1994820/course/overviewfiles/Vorschlag%20Data%20Ethics_1.jpg)
- معلم: Fabio Genz
- معلم: Dieter Kranzlmüller
The seminar on Data Ethics is part of the MSc Data Science program at Ludwig-Maximilians-Universität (LMU) Munich. The course will be lead by Prof. Dr. Dieter Kranzlmüller and Fabio Genz.
Contents: The seminar is one part of the module Data Ethics and Data Security, which covers basic legal and ethical questions and challenges of data security. This course helps the students to prepare lectures on ethical and legal aspects of data ethics. Students are introduced to the technical, legal, and ethical issues of data security, especially when dealing with personal data or when planning experiments in Data Science.
Objective: Students will reflect on standard procedures and problems of data protection and learn technical methods to handle data responsibly.
- معلم: Fabio Genz
- معلم: Dieter Kranzlmüller
- معلم: Tobias Rolfes
- معلم: Simon Weixler
Gödel's incompleteness theorems are celebrated results in mathematical logic that significantly impact on computing. A seminar's first aim is to get a grasp of Gödel's incompleteness theorems' proofs. A seminar's second aim ist to directly approach Gödel's incompleteness theorems from Gödel's article of 1938, helped if needed from introduction to (modern version of) the proofs of Gödel's incompleteness theorems. The seminar's third and last aim ist to grasp the meaning of Gödel's incompleteness theorems - and to debunk some widespread esoteric "understandings" of these theorems.
- معلم: Francois Bry
This course covers advanced techniques for automatic software verification, especially those in the field of software model checking. It continues the Bachelor course Formal Verification and Specification (FSV). Knowledge from FSV is helpful but not mandatory. This course can be used for the specialization "Programming, Software Verification, and Logic" in the MSc computer science (cf. German site on specializations).
Topics
The course will cover the following topics:
- Mathematical foundation for software verification
- Configurable program analysis
- Strongest postcondition
- Predicate abstraction with a fixed precision
- Craig interpolation and abstraction refinement (CEGAR)
- Predicate abstraction with precision adjustment
- Bounded model checking and k-induction
- Observer automata
- Verification witnesses
- Test generation and symbolic execution
- Cooperative verification
- Project: implementing a software verifier (2 weeks)
Reference Materials
- Combining Model Checking and Data-Flow Analysis (Chapter 16 in the Handbook of Model Checking)
- A Unifying View on SMT-Based Software Verification
Organization
The course consists of weekly lectures and tutorials. Important announcements are sent via Moodle messages.
Time Slots and Rooms
- Lecture: 08:15 - 09:45, Wednesday, in Room 061, Oettingenstr. 67 (by Prof. Dr. Dirk Beyer)
- Tutorial: 14:15 - 15:45, Thursday, in C 022, HGB (by Marek Jankola and Niann-Tzer Li, Ph.D.)
The first lecture session on 2024-04-17 will be about the detailed course organization and expectations. The first tutorial session will be on 2024-04-18.
Enrolment
Please enroll yourself with the key: t1/F0al,KdUzqgbf6-JW
- معلم: Dirk Beyer
- معلم: Marek Jankola
- معلم: Niann-Tzer Li
„Gute Beherrschung von Rechtschreibung und Grammatik“ – laut einer repräsentativen Umfrage des Allensbach-Instituts halten Eltern dieses für das wichtigste Lernziel in der Schule. Es folgen Dinge wie: Allgemeinbildung, Selbstbewusstsein, Mathematik- oder Englischkenntnisse und nicht zuletzt auch Respekt vor Lehrkräften. Das gesellschaftliche Interesse an diesem Gegenstand ist hoch; dennoch wird Grammatik- oder Rechtschreibunterricht häufig mit Langeweile und dem Auswendiglernen von Regeln (z. B. Kommasetzung) assoziiert. Damit Sie als angehende Lehrkraft unabhängig von Ihrer Schulart einen freudebringenden und effektiven Grammatikunterricht durchführen können, benötigen Sie linguistisches Fachwissen sowie fachdidaktische Kompetenzen. Das Seminar hat zum Ziel, eben dieses Fachwissen zu reaktivieren und Ihnen fachdidaktische Inhalte näherzubringen, mit denen Sie kompetent im Fach Deutsch unterrichten können.
Als Voraussetzung für das Proseminar benötigen Sie linguistisches Grundlagenwissen. Die Bereiche Phonetik und Phonologie, Morphologie, Graphematik, Syntax und Semantik und Pragmatik sollten Ihnen schon einmal begegnet sein.
![](https://moodle.lmu.de/pluginfile.php/468111/course/overviewfiles/GIF-2020-04-06-17-23-29.gif)
- معلم: Maurice Fürstenberg
- معلم: Selina Hirn
- معلم: Michael Rödel
- معلم: Alexander Wurst
The topics covered in these lectures are applications of functional analysis techniques to various areas of mathematics. In particular, we will focus on applications to quantum mechanics and the calculus of variations.
Enrolment key: STRFA
- معلم: Emanuela Giacomelli
- معلم: Christian Hainzl
Modul 6: Konfrontative Bearbeitung von Traumafolgesymptomen (non-komplexe PTBS) und Behandlung komplexer Traumafolgestörungen einschließlich Dissoziativer Störungen, jeweils Teil 2 am 16. und 17. April 2021
Behandlung komplexer Traumafolgestörungen einschließlich Dissoziativer Störungen Teil 2
Im letzten Modul wird den Teilnehmenden EMDR als weitere evidenzbasierte Vorgehensweise theoretisch und praktisch vermittelt. Dabei werden sowohl die theoretischen, empirischen und praktischen Grundlagen Inhalte sein als auch der spezifische Einsatz von EMDR bei komplexen Traumafolgestörungen, die Integration von EMDR mit schonender (ressourcenorientierter) Behandlung von Traumafolgestörungen und die Besonderheiten in der Behandlung dissoziativer Störungen.
Dozierende: Prof. Dr. Martin Sack, Prof. Dr. Thomas Ehring
- معلم: Thomas Ehring
Course Description
In this lecture, we will consider various classes of stochastic processes that may differ in their state spaces and underlying index sets with a special focus on Gaussian, Lévy and Markov processes. In summary, the lecture will be divided into three core topics: the construction, the path behaviour and the probabilistic analysis of general stochastic processes.
- Master students of Mathematics and Financial and Insurance Mathematics
- Probability theory and measure and integration theory
- Processes
- معلم: Alexander Kalinin
Physikalische Gesetze werden in der Sprache der Mathematik
formuliert. Die Vorlesung "T0: Rechenmethoden für Physiker" bietet eine
zügige Einführung in diese Sprache. Sie richtet sich an
Physikstudent*innen im ersten Studiensemester und behandelt die im
Bachelor-Physikstudium benötigten mathematischen Konzepte und Methoden.
Diese werden mit intuitiven Argumenten begründet - für mathematisch
rigorose Beweisen wird auf die 'echten' Mathe-Vorlesungen M1-M3
verwiesen. Ziel der T0-Vorlesung ist das zügige, anwendungsbezogene
Erlernen des mathematischen 'Handwerks' (Sicherheit, Geläufigkeit und
Schnelligkeit im Umgang mit Standardrechenmethoden).
![](https://moodle.lmu.de/pluginfile.php/1753604/course/overviewfiles/FotoAdBookCover.jpg)
- Dozent*in: Anxiang Ge
- Dozent*in: Marcel Gievers
- Dozent*in: Andreas Gleis
- Dozent*in: Johannes Halbinger
- Dozent*in: Kathrin Higgen
- Dozent*in: Oleksandra Kovalska
- Dozent*in: Mathias Pelz
- Dozent*in: Nepomuk Ritz
- Dozent*in: Markus Scheb
- Dozent*in: Jan von Delft
Testkurs zur Einarbeitung der Mitarbeiterinnen und Mitarbeiter des Mathematischen Instituts
- معلم: Gitta Kutyniok
- معلم: Mariia Seleznova
- معلم: Daniel Sommerhoff
- معلم: Manuela Mosburger
- معلم: Michael Riedmaier
- معلم: Manuela Mosburger
- معلم: Thea Schinkel
- معلم: Dirk Deckert
- معلم: Kaan Savas
- معلم: Anna Warlimont
Das Modul vertieft die Kenntnisse der Grundlagen der Computerlinguistik. Diese Grundlagen umfassen linguistische Grundlagen (Morphologie, Syntax, Semantik), mathematische Grundlagen (Logik, Formale
Sprachen, lineare Algebra, Wahrscheinlichkeitstheorie) und informatische
Grundlagen (Komplexität, Programmieren, Parsing). Die Grundlagen in
diesen drei Bereichen werden in der Übung an Beispielen konkretisiert und mittels umfangreicher Ubungsaufgaben von den Studierenden eingeübt.
- معلم: Barbara Plank
- معلم: Philipp Weber-Genzel
Modul 4: Konfrontative Bearbeitung von Traumafolgesymptomen (non-komplexe PTBS) Teil 1 am 23. und 24. Oktober 2020
Die traumafokussierte KVT nach Ehlers als Behandlungsverfahren mit hoher Evidenz wird detailliert hinsichtlich ihres empirischen und theoretischen Hintergrunds vermittelt. Die Teilnehmenden lernen insbesondere die folgenden Therapiebausteine kennen: imaginatives Nacherleben, imaginative Strategien zur Aktualisierung der Traumaerinnerung, Imagery Rescripting, kognitive Techniken und Verhaltensexperimente. Weitere Themen sind die individuelle Therapieplanung sowie der Umgang mit Schwierigkeiten in der konfrontativen Bearbeitung und Traumafolgesymptomen.
Dozent: Prof. Dr. Thomas Ehring
- معلم: Thomas Ehring
- معلم: Ana Semm
- معلم: Larissa Wolkenstein
Modul 5: Behandlung komplexer Traumafolgestörungen einschließlich Dissoziativer Störungen Teil 1 am 15. und 16. Januar 2021
Aufbauend auf den Techniken aus Modul 2 soll das Vorgehen der DBT-PTBS vermittelt werden. Hierzu gehören folgende Aspekte: Erstellung einer Behandlungsplanung und Behandlungshierarchie unter besonderer Berücksichtigung von Suizidalität, Selbstverletzung, Substanzmissbrauch, Ess-Brech-Anfällen und anderen problematischen Verhaltensweisen; Erarbeitung von Techniken zur Behandlung von dysfunktionalen Verhaltensweisen, Etablierung von Alternativstrategien, Verbesserung der Emotionsregulation und der interpersonellen Fertigkeiten; Psychoedukation und Behandlung von Dissoziation; Erarbeitungen von Voraussetzungen für traumafokussierte Interventionen; Indikation und Kontraindikation für das imaginative Nacherleben; Durchführung des imaginativen Nacherlebens unter Berücksichtigung dissoziativer Symptome.
Darüber hinaus wird auf die Erstellung eines Behandlungsleitfadens für Patient*innen mit hoher Dissoziationsneigung eingegangen.
- معلم: Thomas Ehring
- معلم: Antonia Nauerz
- معلم: Ana Semm
Deutsch zu unterrichten ist besonders wichtig, besonders schön ─ und es ist besonders anstrengend.
Und
dabei muss man noch nicht einmal an die zeitaufwändigen Korrekturen
denken. Im Rahmen eines Projekts, das die Ermittlung entscheidender
Probleme der Unterrichtsplanung im Fach Deutsch zum Ziel hat, beschreibt
ein zum Zeitpunkt der Befragung 37jähriger Gymnasiallehrer die zentrale
Herausforderung – gerade im Vergleich zu den Fächern Englisch und
Ethik, die er auch unterrichtet – so:
"Die größte
Herausforderung des Faches Deutsch und der größte Unterschied zu einer
Fremdsprache ist aus meiner Sicht die große didaktisch-methodische
Offenheit. Das beginnt bei der Jahresplanung und setzt sich vor allem
bei den großen Feldern Literaturunterricht und Schreibdidaktik fort, wo
der Lehrer unheimlich viel auswählen, verwerfen, entscheiden, anpassen
und didaktisch gestalten kann und meistens muss. Das ist Segen und Fluch
zugleich, weil es einerseits die Kreativität anspricht und großen Spaß
macht, aber andererseits – wie auch die Korrektur – sehr aufwändig ist."
Bei
fast allen befragten Lehrkräften lässt sich genau dieser Kern in ihrer
Antwort auf die Frage nach der zentralen Herausforderung entdecken: Eine
Seminarlehrerin an der Realschule berichtet, dass vor allem
Berufsanfänger große Probleme bei der Erstellung eigener
Kompetenzverteilungspläne für das Fach Deutsch haben, da in vielen
Bereichen keine chronologisch zwingende Reihenfolge des Lehrstoffes
vorgegeben sei. Das bedeute große Freiheiten, aber eben auch große
Probleme. Und eine junge Grundschullehrerin sagt, dass sie zwar in
Deutsch in der Regel nur eine Wochenstunde mehr unterrichte als in
Mathe, die Vorbereitung aber zwei- bis dreimal so viel Zeit beanspruche.
Klar wird anhand dieser Beispiele: Wer Deutsch unterrichtet, gehört zu den Lehrkräften, die am härtesten arbeiten – und das Studium bereitet auf diese speziellen Herausforderungen kaum vor. Das ist der Grund dafür, dass es diesen Podcast gibt.
- معلم: Lisa Lorenz
- معلم: Michael Rödel
- معلم: Florian Eberhardt
- معلم: Jakob Hernandez
- معلم: Andreas Herz
- معلم: Thomas Nägele
- معلم: Sophie Kellerer
- معلم: Sophia Trenkle
- معلم: Sophie Kellerer