علوم کامپیوتر: مبانی محاسبات

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