Önermeler Teorisinin Cümleler Teorisindeki Rolü

19 Ekim 2018, 14:30

Selçuk Üniversitesi Matematik Bölümü Genel Seminerleri

Mustafa Çiçek
Ankara Üniversitesi, Türkiye

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

Matematik Türkçe
Selçuk Üniversitesi Fen Fakültesi Matematik Bölümü M-2 Sınıfı
Ek Dosya
İlgili Web Bağlantısı

selcukuniv 20.03.2020_14:07'de değişiklik yapıldı!

Yaklaşan Seminerler Seminer Arşivi

İLETİŞİM

Akademik biriminizin ya da çalışma grubunuzun ülkemizde gerçekleşen etkinliklerini, ilan etmek istediğiniz burs, ödül, akademik iş imkanlarını veya konuk ettiğiniz matematikçileri basit bir veri girişi ile kolayca turkmath.org sitesinde ücretsiz duyurabilirsiniz. Sisteme giriş yapmak için gerekli bilgileri almak ya da görüş ve önerilerinizi bildirmek için iletişime geçmekten çekinmeyiniz. Katkı verenler listesi için tıklayınız.

Özkan Değer ozkandeger@gmail.com

turkmath.org

Selçuk Üniversitesi Matematik Bölümü Genel Seminerleri

İLETİŞİM

DESTEK VERENLER

ONLİNE ZİYARETÇİLER