Bu ders kapsamında öğrenciler kategori kuramının ispat tekniklerinde kullanımını öğrenecek ve bilgisayar bilimlerinde sunulan araştırmaları değerlendirme ve bilimsel olarak kendi araştırma sonuçlarını sunabilecek bir temel bilgi ve deneyim altyapısına sahip olacaklardır.