Logika matematika adalah cabang logika dan matematika yang mengandung kajian matematis logika dan aplikasi kajian ini pada bidang-bidang lain di luar 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.
Langganan:
Posting Komentar (Atom)
1 komentar:
MGM Resorts International - JTM Hub
› hotel › 대전광역 출장마사지 mgmresorts-indi 아산 출장안마 › hotel › mgmresorts-indi Aug 11, 2021 — Aug 서산 출장마사지 11, 군포 출장안마 2021 MGM Resorts International is a global leader in luxury hotels, resorts and amenities. With a portfolio of more than 50 global 동두천 출장마사지 destinations
Posting Komentar