Перейти до головного вмісту
Бокова панель
На головну
Alle Kurse
Anwendungen
Opencast iFrame Generator
Opencast Studio-Standalone
efolio
Hilfe zum VC
Erste Schritte
Getting Started
Häufig gestellte Fragen
Anleitungen für VC-Teilnehmer/innen
Anleitungen für VC-Moderator/innen
Більше
Українська (uk)
አማርኛ (am)
Afrikaans (af)
Aranés (oc_es)
Asturianu (ast)
Azərbaycanca (az)
Bahasa Indonesia (id)
Bahasa Melayu (ms)
Bosanski (bs)
Català (ca)
Català (Valencià) (ca_valencia)
Čeština (cs)
Cymraeg (cy)
Dansk (da)
Deutsch (community) (de_comm)
Deutsch (de_kids)
Deutsch (de)
Deutsch (du) (de_du)
eesti (et)
English (en_kids)
English (en)
English (pirate) (en_ar)
English (United States) (en_us)
Español - Argentina (es_ar)
Español - España (es_es)
Español - Internacional (es)
Español - México (es_mx)
Euskara (eu)
Filipino (fil)
Finlandssvenska (sv_fi)
Føroyskt (fo)
Français (Canada) (fr_ca)
Français (fr)
Gaeilge (ga)
Gàidhlig (gd)
Galego (gl)
Hausa (ha)
Hrvatski (hr)
isiZulu (zu)
Íslenska (is)
Italiano (it)
Japanese (ja_kids)
Kalaallisut (kl)
Kiswahili (sw)
Kurmanji (kmr)
Latin (la)
Latviešu (lv)
Lëtzebuergesch (lb)
Lietuvių (lt)
Lietuvių (universitetas) (lt_uni)
magyar (hu)
Māori - Tainui (mi_tn)
Māori - Waikato (mi_wwow)
Nederlands (nl)
Norsk - nynorsk (nn)
Norsk (no_gr)
Norsk (no)
O'zbekcha (uz)
Polski (pl)
Português - Brasil (pt_br)
Português - Portugal (pt)
Română (ro)
Romansh Sursilvan (rm_surs)
Samoan (sm)
Shqip (sq)
Slovenčina (sk)
Slovenščina (sl)
Soomaali (so)
Srpski (sr_lt)
Suomi (fi)
Svenska (sv)
Tagalog (tl)
Tamil (ta)
Thai (th)
Tongan (to)
Türkçe (tr)
Turkmen (tk)
VakaViti (fj)
Vietnamese (vi)
Wolof (wo)
Ελληνικά (el)
Беларуская (be)
Български (bg)
Қазақша (kk)
Македонски (mk)
Монгол (mn)
Русский (ru)
Српски (sr_cr_bo)
Српски (sr_cr)
Српски (sr)
Татар (tt)
Тоҷикӣ (tg)
Українська (uk)
ქართული (ka)
Հայերեն (hy)
עברית (he)
עברית בתי־ספר (he_kids)
اردو (ur)
العربية (ar)
سۆرانی (ckb)
فارسی (fa)
ދިވެހި (dv)
ትግርኛ (ti)
नेपाली (ne)
मराठी (mr)
हिंदी (hi)
বাংলা (bn)
ਪੰਜਾਬੀ (pan)
ગુજરાતી (gu)
தமிழ் (ta_lk)
తెలుగు (te)
ಕನ್ನಡ (kn)
മലയാളം (ml)
සිංහල (si)
ລາວ (lo)
རྫོང་ཁ (dz)
ဗမာစာ (my)
ខ្មែរ (km)
한국어 (ko)
日本語 (ja)
正體中文 (zh_tw)
简体中文 (zh_cn)
Наразі ви використовуєте гостьовий доступ
Увійти
На головну
Alle Kurse
Anwendungen
Згорнути
Розгорнути
Opencast iFrame Generator
Opencast Studio-Standalone
efolio
Hilfe zum VC
Згорнути
Розгорнути
Erste Schritte
Getting Started
Häufig gestellte Fragen
Anleitungen für VC-Teilnehmer/innen
Anleitungen für VC-Moderator/innen
JavaScript is disabled in your browser.
Many features of Moodle will be not usable or will appear to be broken.
Please enable JavaScript for the full Moodle experience.
Опції зарахування
Fakultät WIAI
Informatik
Lehrstuhl für Praktische Informatik, insbes. Softwaretechnik und Programmiersprachen
Wintersemester 2024/25
SWT-FPS-B: Foundations of Program Semantics – WiSe 2024/25
Опції зарахування
SWT-FPS-B: Foundations of Program Semantics – WiSe 2024/25
SWT-FPS-B: Foundations of Program Semantics (WiSe 2024/25)
Moderator/in:
Corinna Feldberger
Moderator/in:
Kerstin Jacob
Moderator/in:
Bernhard Luedtke
Moderator/in:
Gerald Lüttgen
Semester
:
2024/25 Wintersemester
Самореєстрація (Teilnehmer/in)
Самореєстрація (Teilnehmer/in)
Самореєстрація (Teilnehmer/in)
Гості не можуть отримати доступ до цього курсу. Будь ласка, увійдіть.
Продовжити
Impressum
|
Datenschutzerklärung
|
Kontakt
|
Urheberrecht