Home > Master > Informatik > Innere Stadt > Master European Masters Program in Computational Logic - Innere Stadt - Wien

Master European Masters Program in Computational Logic

Unverbindlich in kontakt treten Technische Universität Wien (TU Wien)

Um die Anfrage zu senden, müssen sie die Datenschutzpolitik akzeptieren

Informationen über Master European Masters Program in Computational Logic - Mit Anwesenheitspflicht - Innere Stadt - Wien

  • Ziele
    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.
  • Anforderungen
    absolviertes Bachelorstudium
  • Titel
    Dipl.- Ing. (= Master of Science, MSc)
  • Inhalt
    Dauer: 4 Semester

    Umfang: 120 ECTS
          
    The European Masters 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 Technische Universität Wien.

    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.

Ähnliche Angebote die in Bezug zu Ihrer Anfrage "Informatik" stehen

Diese Webseite verwendet Cookies. Wenn Sie weiterhin navigieren, verstehen wir das Sie der Nutzung einverstanden sind. Vehr sehen  |