de morgan yasası
-
küme teorisinin onemli teoremlerinden biri
-
soyut matematik derslerinin vaz geçilmezlerindendir. küme ailelerinin birleşim ve kesişimlerinin değilleriyle ilgili teoremlerden oluşur. (yazım şekli el vermediğinden göstermek biraz zor ama şöyle bir şeyler: (uai)'=n(ai)' , (nai)'=u(ai)' (a' lar büyük i' ler indis olarak yazılır)
-
kümelerle sınırlı değil, mantıksal önermeler için de aynı şekilde iş görüyor:
~(a v b) = ~a ^ ~b
~(a ^ b) = ~a v ~b
~ not, ^ and, v or olmak üzere. ayrıca ikiden fazla önermeler de gruplanabilir. -
programlama yaparken şöyle bir kod yazdığımı fark ettim:
if !ready_to_work && !force_to_work; stop
bu bana bir şekilde tanıdık geliyor, tuhaf bir güdüyle buradaki "&&" yani "ve", bir şekilde "||" yani "veya" olmalı gibi geliyor bana. düşündüm düşündüm, neden bu şekilde yazmam gerektiğine bir türlü uyanamadım. sonra sorunun temel mantıkla ilişkili olduğunu hatırlayınca ufak bir araştırmayla aslında şöyle yazmam gerektiğini anladım:
if !(ready_to_work || force_to_work); stop
daha okunaklı, ne anlatmak istediğini daha iyi ifade ediyor.
sonra bilgisayar mühendisliği öğrencilerinin temel mantık dersi almadığını, alsalar da havadan sudan bir ders olarak geçirdiklerini hatırladım. biraz kendimce güldüm.
ekşi sözlük kullanıcılarıyla mesajlaşmak ve yazdıkları entry'leri
takip etmek için giriş yapmalısın.
hesabın var mı? giriş yap