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.

Dersin Amacı

Bilgisayar bilimlerinde yer alan uygulamalar ve yeni araştırma çalışmaları için kategori kuramı gerekli temel araçları sağlar.

Recommended or Required Reading

M. Barr and C.Wells. Category Theory for Computing Science. Centre de Recherches Math_ematiques, third edition, 1999

Learning Outcomes

1. Kategori kuramının temel dili ve ispat metodlarının öğrenilmesi

2. Bilgisayar Bilimleri araştırmalarında kategorikuramını kullanma becerisini edinmek

Notlandırma

Vize 25%

Ödev 35%

Final 40%