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: | Baris 1: | ||
{{ |
{{Ilmu}} |
||
'''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. |
'''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. |
||