Bereich: | Datenbanken, Netzwerkdesign und -administration 157, Mathematik 39 |
Umfang | 4 Semester |
Sprache: |
Deutsch |
Abschluss: | Dipl.- Ing. (= Master of Science, MSc) |
Studientyp: |
Präsenzstudium |
Anwesenheit: | Vollzeit |
Kosten: | prinzipiell keine Studiengebühr (außer ÖH-Beitrag) |
Website: | https://www.tuwien.at/stu... |
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
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.
Diesen Fächern begegnest du u.a. im Studienplan:
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.
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.
Aufbauend auf ein Bachelorstudium der Informatik oder Wirtschaftsinformatik führen die Masterstudien zu einer Vertiefung und Spezialisierung.
© 2010-2021 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.