Eğitim programı hakkında
“Yazılım geliştirmedeki matematiksel problemler”: Yazılım geliştirmede “matematiksel problemler” denildiğinde, matematik ile programlamanın kesişiminde ortaya çıkan zorluklar kastedilir — yani yalnızca kod yazmanın değil, matematiksel bir fikri biçimsel bir dile doğru şekilde aktarmanın, programın doğru çalıştığını kanıtlamanın veya hesaplama problemini verimli bir şekilde çözmenin gerektiği durumlar. Çözüm çoğu zaman biçimsel yöntemlerin, gelişmiş test süreçlerinin, özel kütüphanelerin ve disiplinler arası bir yaklaşımın (matematik + bilgisayar bilimi + ilgili uygulama alanı) kullanılmasında yatar.













