DDP Computational Logic (Erasmus-Mundus)

Masterstudium

Letztes Update: 12.07.2019
Bereich: Datenbanken, Netzwerkdesign und -administration 135, Mathematik 33
Umfang 4 Semester
Sprache:
Deutsch
Abschluss: Dipl.- Ing. (= Master of Science, MSc)
Studientyp:
Präsenzstudium
Anwesenheit:
Vollzeit
Kosten: prinzipiell keine Studiengebühr
Website: https://www.tuwien.at/stu...

Aktuell:

Die TU Wien ist bestrebt, angehende Studierende in der Entscheidungsphase für ihr Studium zu unterstützen und gleichzeitig das hohe Niveau und die international anerkannte Qualität beim Studium und in der Lehre sicherzustellen.

Ab dem Wintersemester 2019/20 wird es daher flächendeckend für alle Bachelorstudien an der TU Wien entweder Aufnahme- bzw. Auswahlverfahren (bei Bachelorstudien mit Studienplatzbeschränkung) oder eine Studien-Vorbereitungs- und Reflexionsphase (VoR-Phase) bei Bachelorstudien ohne Studienplatzbeschränkung geben. Details zur VoR-Phase finden Sie hier

Über das Studium:

The European Master’s Program in Computational Logic is an international distributed Master of Science study program implemented by the computer science departments of five cooperating universities: Technische Universität Dresden, Universidade Nova de Lisboa, Libera Universitá di Bolzano, Universidad Politécnica de Madrid, and Vienna University of Technology.

Werbung
BOWLDANCE - Neues Afterwork in Wien

Komm am Do., 21.11.2019 ins Plus Bowling Center in Wien zu unserem einmaligen Afterwork Erlebnis: Tanzen, bowlen, networken - und das bei freiem Eintritt UND kostenlosem Bowling! Infos auf https://bowl.dance.

Fächer:

Diesen Fächern begegnest du u.a. im Studienplan:

Advanced Digital Design, Algorithmen, Algorithmen auf Graphen, Analyse von Algorithmen, Architectures for Telecom Services, Codegeneratoren, Computer Aided Verification, Computer Architecture, Datenmodellierung, Datenstrukturen, Dependable Distributed Systems, Dependable Systems, Dezentrale Automation, Didaktik, Digitale Signalverarbeitung, Diskrete Mathematik, Distributed Real-Time Systems Engineering, Distributed Systems Technologies, Echtzeit-Programmiersprachen, Echtzeitprogrammierung in ADA, Echtzeitsysteme, Embedded Systems Engineering, Fehlerkorrigierende Codes, Formale Methoden der Informatik, Formale Verifikation von Software, Gender Studies, Hardware-Software Codesign, Home and Building Automation, Impulstechnik, Informatik, Informatikpraktikum 1, Informatikpraktikum Networked Embedded Systems, Informations- und Codierungstheorie, Kommunikation, Komplexitätstheorie, Logik, Mathematik, Mathematische Logik, Mediation, Mobile Kommunikation, Operations Research, Präsentation, Real-Time Scheduling, Regelungssysteme, Requirementsanalyse und -spezifikation, Robotik, SAT Solving und Erweiterungen, Satellitennavigation, Semantik von Programmiersprachen, Sensor Networks, Signale und Systeme, Simulation, Software in Kommunikationsnetzen, Statistik verteilte Algorithmen für fehlertolerante Echtzeitsysteme, Technik der Kommunikationsnetze, Technische Informatik, Testen von Embedded Systems, The Java Virtual Machine in Hardware, Verteilte Algorithmen, Verteilte Algorithmen für Wireless Ad-Hoc Netzwerke, Verteiltes Programmieren mit Space Based Computing Middleware, Vertiefung, Wireless in Automation Systems, Zeitanalyse von sicherheitskritischen Echtzeitsystemen

Studienaufbau:

The objective of the program is to impart to the students the profound theoretical and practical knowledge required for professional practice in the field, to give them a survey of the individual disciplines of Computational Logic and to develop their ability to work according to scientific methods. In addition, the students are given the opportunity to plan their studies to fit a particular practical application. To acquire practice-oriented knowledge they may choose appropriate combinations of modules. By means of visits abroad and English as the language of instruction, the students are to be prepared for the increasing internationalism of science, commerce and industry. The focus of instruction lies in the following areas: mathematical logic, logic programming, deduction systems, knowledge representation, artificial intelligence, methods of formal specification and verification, inference techniques, syntax-directed semantics, and the relationship between theoretical computer science and logic.

Berufsaussichten / Jobs:

Computational Logic is of increasing importance for dealing with the complexity of modern computer-supported systems and worldwide on the rise. Today‘s information technology is witnessing a change - and the change is omnipresent. Especially the Internet is a scientific invention that has influenced the way we think and act. The more all this transfuses into our lives, the more mind boggling it becomes for the computer scientists to handle various key issues involved in data security, transactions, network computing, network architecture, computer architecture, complex software, distributed platforms and in short - every little aspect which affects our present day computer society.

Einstiegsvoraussetzungen:

Aufbauend auf ein Bachelorstudium der Informatik oder Wirtschaftsinformatik führen die Masterstudien zu einer Vertiefung und Spezialisierung.

Aktuelle Veranstaltungen


Hol dir unseren Academic Informer:

Mit dem Studium.at Newsletter verpasst du nichts mehr: Hochschul-& Wissenschafts-News, Jobs, Events und Sonderangebote für Studierende. Jederzeit abbestellen.


tutor18

Studium.at Logo

© 2010-2019  Hörsaal Advertainment GmbH

Kontakt - Werbung & Mediadaten - Datenschutz - Impressum

Studium.at versichert, sämtliche Inhalte nach bestem Wissen und Gewissen recherchiert und aufbereitet zu haben.
Für etwaige Fehlinformationen übernimmt Studium.at jedenfalls keine Haftung.