Logika matematika: Perbedaan antara revisi
Konten dihapus Konten ditambahkan
Menolak perubahan teks terakhir (oleh 110.137.82.234) dan mengembalikan revisi 14048270 oleh Veracious |
sesudah pemindahan 3 tahun yang lalu | t=543 su=35 in=37 at=35 -- only 26 edits left of totally 62 possible edits | edr/ovr=000/000 | clean up (3) : tab&trailspc&reduceol&killreddot & {{Sains}}--(ci=3,1x)-->{{Ilmu}} | "{{sains}} '''Log" -> "{{Ilmu}} '''Logi" |
||
Baris 1:
{{
'''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 matematika|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.
| |||