Die Veranstaltung findet online synchron statt.
Profil: SQ

Profil: SQ
Die Vorlesung findet online synchron zum genannten Zeitpunkt statt.

Set theory and model theory

Intuitively, a set is a collection of all elements that satisfy a certain property. This intuition, however, is false! The following example is known as Russell's Paradox. Consider the set S whose elements are exactly those that are not members of themselves: S = { X : X is not element of X }. Is S an element of S? If S is an element of S, then S is not an element of S. On the other hand, if S is not an element of S, then S belongs to S. In either case we have a contradiction. We must revise our intuitive notion of a set. In the first part of the lecture we develop axiomatic set theory (ZFC) in the framework of first-order logic, which forms the foundation of modern mathematics. We cover the axioms of set theory, ordinal numbers and induction and recursion over well-founded relations, cardinal numbers and the axiom of choice.

In the second part of the lecture we turn to classical topics of first-order model theory. Model theory studies classes of mathematical structures, such as groups, fields, or graphs, from the point of view of mathematical logic. Many notions, such as homomorphisms, substructures, or free structures, that are commonly studied in specific fields of mathematics are unified by the general approach of model theory. We study ways to construct models with desired properties from first-order theories and the expressive power of first-order logic.

MPO 2012 Profil: KIKR, MC
MPO 2020 Schwerpunkt: IMA-AI, IMVP-VMC
Es ist ein Präsenzanteil geplant zur genannten Zeit.

Die Veranstaltung hat Präsenztermine geplant.
MPO 2012 Profil: KIKR
MPO 2020 Schwerpunkt: IMAP-DMI, IMAP-VMC.
English or German.
Over the past two decades, VR has established itself as an important tool in several industries, such as manufacturing (e.g., automotive, airspace, ship building), architecture, and pharmaceutical industries. During the past few years, we have been witnessing the second "wave" of VR, this time in the consumer, in particular, in the entertainment markets.

Some of the topics to be covered (tentatively):
• Introduction, basic notions of VR, several example applications
• VR technologies: displays, tracking, input devices, scene graphs, game engines
• The human visual system and Stereo rendering
• Techniques for real-time rendering
• Fundamental immersive interaction techniques: fundamentals and principles, 3D navigation, user models, 3D selection, redirected walking, system control
• Complex immersive interaction techniques: world-in-miniature, action-at-a-distance, magic lens, etc.
• Particle systems
• Spring-mass systems
• Haptics and force feedback
• Collision detection
• Acoustic rendering
The assignments will be mostly practical ones, based on the cross-platform game engine Unreal. Participants will start developing with "visual programming", and later use C++ to solve the assignments.
You are encouraged to work on assignments in small teams.
https://cgvr.cs.uni-bremen.de/teaching/

Profil/ Schwerpunkt: KIKR
Schwerpunkt nach MPO 2020: IMA-AI

MPO 2012 Profil: SQ, DMI, MC.
MPO 2020 Schwerpunkt: AI
Die Veranstaltung findet online an folgenden Terminen statt:
5.11. um 16-18h ; 19.11. um 16-18h ; 27.11. um 14-16h ; 18.12. um 14-17h; 4.2. um 16-18h;
19.2. um 13-17h

Profil: SQ, DMI, MC.

Profil/ Schwerpunkt: SQ
Die Veranstaltung hat einen Präsenztermin.
Die Vorlesung ist online.

Die Veranstaltung findet online zu den genannten Zeiten statt.
Profil: KIKR.

4 SWS, Profil: DMI
Kurzbeschreibung unter: http://dimeb.informatik.uni-bremen.de/FabLab/GenerativeDesign.pdf
Online-Meeting mittwochs 14-16h und 2 Std Übungen im FabLab wöchentlich in Kleingruppen. Die Organisation und Vereinbarung dieser Termine erfolgt über StudIP sowie das Online-Meeting am Mittwoch.

Informal Seminar
for those Students whose thesis work I advise: Bachelor & Master levels, Digital Media, Design, Informatik
2 SWS, 0 CP, every second week hopefully in one of the Rooms in MZH Thursday 14-16
Meetings scheduled: 05 Nov, 19 Nov, 03 Dec, 17 DCec, 14 Jan, 28 Jan, 11Feb

The seminar provide a chance for graduating students to present aspects of their thesis work and discuss it. Besides, we take up any topic of relevence to thesis work.

Veranstaltung für Doktoranten, jeden 1. Montag im Monat von 14-16h in Raum 5300.