Ayhan Alkan - -

20.09.2013

ITÜ Teknokent ARI-3 Toplantı Salonu 4

20:30

Turing Makinası Ne İşe Yarar ?

  • Alan Turing ve eserine kisa giriş
  • Turing Makinası - Gödel Kanıtlaması eşlenikliği
  • Aksiyomatik sistemler ve tutarlılık sorunu
  • Gödel Kanıtlaması’nın
    • İncelenmesi
    • Bilgisayar bilimlerine etkisinin tartışılması

Ardından

Etkinliğimiz oldukça kalabalık bir katılımla gerçekleşti. Katılan herkese teşekkürler!!!


comments powered by Disqus