Küme teorisi,mantık, bağıntı ve fonksiyonlar ve temel kavramlar.Kafes Yapıları ve Boole Cebri,Graf Teorisi,Algoritmalar ve Turing Makinaları

Mantık önermelerin doğruluğunu kanıtlamak için kullanılır. Önermenin ne olduğu ile ilgilenmek yerine bazı kurallar koyar ve böylece önermenin genel formunun geçerli olup olmadığını yargılar. Mantığın bize sağladığı kurallar, belirtilen aşamalardan çıkan sonucun tutarlı olup olmadığını veya sonucun doğruluğunun ispatlanması aşamasındaki basamaklarda hatalı bir kısmın bulunup bulunmadığını değerlendirmemizi sağlar.

Yorumlar (0)

Bu yorumun beslemesine abone olun

Yorumlari goster/gizle

Yorum formunu goster/gizle

Yorum yaz

Isim

E-posta

Website

Baslik

Yorum

daha kucuk | daha buyuk

E-posta ile takip (sadece kayitli kullanicilar)

Okudum ve kabul ediyorum Kullanim sartlari.

Yorum Ekle