Zusätzliche WahlLVAs für SoSe2013

Posted on 05.02.2013 by someone

In der Studienkommissionssitzung wurden zusätzliche Wahl-LVAs für das Sommersemester 2013 beschlossen. Es sind noch nicht alle LVA-Nummern bekannt bzw. die LVAs in TISS eingetragen. Dies sollte sich im Laufe der nächsten Wochen ändern.

Die LVAs sind:

  • VU 3.0 ECTS End User ProgrammingTISS
    • Modul “Computersprachen und Programmierung”
  • VO 3.0 ECTS Planning in Artificial Intelligence
    • Masterstudium Computational Intelligence 066 931
    • Masterstudium Computational Logic 066 011 Doktoratskolleg “Mathematical Logic in Computer Science”
  • VU 6.0 ECTS GPU Architectures and Computing (Bartocci/E182)
    • Master Technische Informatik
    • Master Software Engineering
  • VO 3.0 ECTS 389.152 Network SecurityTISS
    • Wahlmodul Dependable Distributed Real-Time Systems
  • 185.A08 Cognitive User Interfaces 2013STISS
    • 066 931 Computational Intelligence
    • 066 932 Visual Computing
    • 066 935 Medieninformatik
    • 066 936 Medizinische Informatik
    • 066 937 Software Engineering & Internet Computing
  • VU 6.0 ECTS Software Model Checking
    • SE: Formale Methoden und Theoretische Informatik
    • CI: Programming Languages and Verification
  • VU 6.0 ECTS IC3-based Model Checking
    • SE: Formale Methoden und Theoretische Informatik
    • CI: Programming Languages and Verification
  • VU 3.0 ECTS Universal Algebra for Computer Scientists
    • SE: Formale Methoden und Theoretische Informatik
    • CI: Logic, Mathematics and Theoretical Computer Science
  • VU 3.0 ECTS Computer Science in (La)TeX – (La)TeX in Computer Science
    • SE: Formale Methoden und Theoretische Informatik
    • CI: Programming Languages and Verification

Zusätzlich hat ein Studienkollege bei Prof. Pichler angefragt und bestätigt bekommen, dass die LVAs ‘Discrete Mathematics VO’ sowie ‘Discrete Mathematics UE’ als Wahllehrveranstaltungen in den Modulen “Algorithmik” oder “Formale Methoden und Theoretische Informatik” nutzbar sind.

Die beiden Lehrveranstaltungen werden regulär für den Master-Studienplan Technische Informatik im Wintersemester angeboten. Du solltest sicherheitshalber vorab mit Pro f. Pichler reden (E-mail genügt), damit dieser bzw. das Dekanat auch etwas schriftliches hat, auf das du dich beim Einreichen in der Zukunft beziehen kannst.