Logika Matematika |
Logika matematika berhubungan erat dengan ilmu komputer dan logika filosofis. 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, serta matematika konstruktif. Bidang-bidang ini memiliki hasil dasar logika yang serupa.
Sekarang langsung saja ya, silahkan KLIK DISINI
Jangan lupa nulis komentar di bawah ya sebagai rasa terima kasih anda, hehehehehe
1 komentar
Wah makasih gan
Posting Komentar
Saya sangat mengharapkan komentar dari anda