• 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.
hesabın var mı? giriş yap