İçindekiler:
- Augustus De Morgan kimdir ve matematiğe katkıları?
- George Boole kimdir ve matematiğe katkıları?
- De Morgan kuralı nedir?
- Modern matematiksel mantığın kurucusu kabul edilen matematikçi kimdir?
- Mantığın matematiksel analizi kime ait?
- Absorbe özelliği nedir?
- Mantığın Matematik Analizi eseri kime aittir?
- Kosul önermesi nedir?
Augustus De Morgan kimdir ve matematiğe katkıları?
Augustus De Morgan (27 Haziran 1806 - ), Britanyalı
matematikçi ve mantıkçı. De
Morgan yasalarını formüle etmiş ve matematiksel tümevarım kavramını ortaya atmıştır.
George Boole kimdir ve matematiğe katkıları?
1849 yılında
matematik profesörü olan
Boole'un 1854 yılında, mantık ve olasılıklar üzerine büyük bir eseri yayınlandı. İki-değerli Aristoteles mantığını matematiksel temellere oturtan simgesel mantığı oluşturmuştu. Buna
Boole mantığı,
Boole cebiri, matematiksel mantık, simgesel mantık, vb adlar verilmektedir.
De Morgan kuralı nedir?
De Morgan kuralı "ve" ya da "veya" bağlaçları ile bağlanan iki önermenin değilini indirgemek amacı ile kullanılan bir ilişki sistemidir. ... dizisinde birinci dereceden tanımlanan önerme sembolleri yer almaktadır.
Modern matematiksel mantığın kurucusu kabul edilen matematikçi kimdir?
GOTTLOB FREGE (1848-1925) 1848 yılında Wismar'da doğmuştur. Esas çalışma alanı
modern mantık olsa da, en önemli çalışma alanı aritmetik ve kümeler üzerinedir. Frege, Aristo'dan sonra yaşanan dönemlerin en büyük mantıkçısı
kabul edilmektedir.
Mantığın matematiksel analizi kime ait?
Mathematical
Analysis of Logic'de (
Mantığın Matematiksel Analizi) George Boole'un yaptığı tam da budur. Cebir formüllerinin
mantık bağıntılarını ifade etmede kullanılabileceği fikri ilk kez onlu yaşlarında Lincoln'da özel bir okulda gözcü olarak çalışırken ve çok okuyarak kendini eğitirken aklına gelmiştir.
Absorbe özelliği nedir?
Absorbe, bir başka madde ya da oluşum tarafından çekilmiş, içine çekilmiş ve hapsedilmiş anlamına gelir. Kelime sadece fizikte değil sosyoloji biliminde de sık sık kullanılır. Etkisini ve temel özelliklerini kaybeden topluluklar ''
absorbe edilmiş'' topluluklar olarak tanımlanır.
Mantığın Matematik Analizi eseri kime aittir?
Mathematical
Analysis of Logic'de (
Mantığın Matematiksel Analizi) George Boole'un yaptığı tam da budur.
Kosul önermesi nedir?
İse (⇒): İki basit önermenin "ise" ile bağlanmasıyla oluşan ekleme
koşul önermesi denir.
Koşul önermesinde ön bileşen doğru, sonraki bileşen yanlış değer almışsa bileşik
önerme yanlış değer alır. Diğer durumlarda
önerme doğru değer alır.