Selçuk University Mathematics Department General Seminars

Önermeler Teorisinin Cümleler Teorisindeki Rolü
Mustafa Çiçek
Ankara Üniversitesi, Turkey
Özet : Cümleler teorisinde tümdengelim yöntemi ile yapılan ispatlarda mantıksal açıdan soru işareti olarak kalan bazı noktaların açıklığa kavuşturulması hususunda önermeler teorisinin aksiyomatik sonuçlarının önemli rol oynadığına dair uyarı niteliğindeki bazı ispat teknikleri anlatılacaktır. Anahtar Kelimeler : Cümleler Teorisi, Önermeler Teorisi, Aksiyomatik Sonuçlar, İspat Teknikleri
  Tarih : 19.10.2018
  Saat : 14:30
  Yer : Selçuk Üniversitesi Fen Fakültesi Matematik Bölümü M-2 Sınıfı
  Dil : Turkish
  Web : https://www.selcuk.edu.tr/fen/matematik/Web/Sayfa/Ayrinti/63641/tr
  Ek Dosya : Özet
    Yazdır