rumus logika matematika

Logika matematika berhubungan erat dengan ilmu komputer dan logika filosofis. rumus ekor hk Tema utama dalam logika matematika antara lain adalah kekuatan ekspresif dari logika formal dan kekuatan deduktif dari sistem pembuktian formal Logika matematika sering dibagi ke dalam cabang-cabang dari: Teori himpunan Teori model Teori rekursi Teori pembuktian