برنامه کارشناسی ارشد منطق و محاسبات انگلیسی زبان در دانشگاه صنعتی وین جهت تحصیل در اتریش به مبانی، ساختار و طراحی عوامل هوشمند می پردازد. و همچنین شامل عناصر اصلی علم کامپیوتر نظری کلاسیک است.

نمای کلی:
هدف کار در زمینه برنامه کارشناسی ارشد منطق و محاسبات در دانشگاه صنعتی وین، هم درک اصولی است که رفتار هوشمند را ممکن می‌سازد و هم توسعه روش‌هایی که منجر به طراحی عوامل هوشمند می‌شود. فرضیه اصلی این است که استدلال هوشمند در نهایت چیزی بیش از یک نوع محاسبه (محاسبه) نیست. این برنامه کارشناسی ارشد به زبان انگلیسی ارائه می شود.
فعالیت حرفه ای:
فرصت‌هایی برای فارغ‌التحصیلان در تحقیقات پایه در دانشگاه‌ها یا سازمان‌های صنعتی و در تحقیق و توسعه کاربردی در کسب‌وکارهای صنعتی یا دانشگاه‌های فرعی یافت می‌شود. علاوه بر این، فارغ‌التحصیلان معمولاً در نقش‌های تحلیلی و مشاوره در زمینه‌هایی مانند مهندسی سیستم‌های رسمی، سیستم‌های وب و معنایی، لجستیک، تحقیقات عملیاتی و مخابرات یافت می‌شوند. پس از کسب چندین سال تجربه حرفه ای، فارغ التحصیلان می توانند سمت های مدیریتی را نیز بر عهده بگیرند.

دوره ها شامل:
نظریه پیچیدگی
الگوریتم
تکنیک های بهینه سازی اکتشافی
فرا قضایای الگوریتمی