"War Time Proofs and Futuristic Programs" by Valeria de Paiva
Neden izlemeli?
Curry-Howard ilişkisinin tarihsel gelişimini ve Kurt Gödel’in 1940’larda yaptığı çalışmalardan nasıl yeni açıklamalar çıkabileceğini öğrenmek isteyenlere uygun. Teorik bilgisayar bilimi, tip teorisi ve programlama dilinin temelleri hakkında derinlemesine kavrayış sağlayarak mantık ile programlama arasındaki bağları daha iyi anlamanıza yardımcı olur.
Opendart Akademi
Bu konuyu canlı derste, gerçek projelerle öğrenin → Tüm Eğitimlerimiz
Eğitmen eşliğinde, canlı online veya sınıf içi; bireysel ve kurumsal seçenekler. Tüm eğitimler
