Önermeler Teorisinin Cümleler Teorisindeki Rolü

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

İLETİŞİM

Akademik biriminizin veya ç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

E-Posta Listesine Abone Ol

DESTEK VERENLER

31. Journees Arithmetiques Konferansı Organizasyon Komitesi

Web sitesinin masraflarının karşılanması ve hizmetine devam edebilmesi için siz de bağış yapmak, sponsor olmak veya reklam vermek için lütfen iletişime geçiniz.

ONLİNE ZİYARETÇİLER

turkmath.org

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

Önermeler Teorisinin Cümleler Teorisindeki Rolü

İLETİŞİM

DESTEK VERENLER

ONLİNE ZİYARETÇİLER