Bilgisayarlı İspat Yazılımları – Uygulamaları

bilgisayarlı ispat yazılımları ve uygulamaları

Galatasaray Matematik Kulübü olarak, 8 Ocak 2021 Cuma günü,
değerli hocamız Prof. Dr. Muhammed Uludağ’ın bilgileri ve
yüzlerce katılımcıyla bir söyleyişi gerçekleştirdik. Bu söyleşi
sayesinde Muhammed Uludağ ile matematiğin aksiyomatik
temellerinden, ispat sağlama yazılımlarına ve yapay zekâ
uygulamalarına giden bir gezintiye çıktık.

Total
0
Shares
Bir cevap yazın

E-posta hesabınız yayımlanmayacak. Gerekli alanlar * ile işaretlenmişlerdir