MASTER
🇩🇪
Computational Logic (MSc/Dipl.)
DERECE
MASTER
DİL
English
SÜRE
2 yıl
ÜCRET
€1.500/yıl
Detaylı Bilgi İçin Danışmanla Görüş
Bu program için uygun danışman saatlerinden birini seçip birebir görüşme planlayın.
Danışman ile Görüşme Planla→Fakülte
Faculty of Computer Science
Alan
Computer Science
Öğrenim Ücreti
1500
Katılım
On Campus
Tez
Evet
Burs Özeti
EMJMD burs programı (tam burs).
Özet
Formel doğrulama, bilgi temsili, otomat teorisi ve yapay zeka mantığı konularında Uluslararası Hesaplamalı Mantık ERASMUS Mundus konsorsiyumu programı.
Genel Kabul Şartları
CS veya Matematik BSc. IELTS ≥ 6.5.
Müfredat
Mantık, bilgi temsili, otomat teorisi, sistem doğrulama, tez.
Kariyer Çıktıları
Formel doğrulama mühendisi, AI araştırmacısı, güvenli sistem tasarımcısı.
Staj Bilgisi
Formal Methods in Industry, SAP Labs, Siemens AG.