Revisi per 20 November 2014 07.48 sunting 39.228.139.171 (bicara) Tidak ada ringkasan suntingan ← Revisi sebelumnya		Revisi per 29 Januari 2015 07.01 sunting balikkan Dedimanullang (bicara \| kontrib) 91 suntingan Tidak ada ringkasan suntingan Tag: Suntingan perangkat seluler Suntingan peramban seluler Revisi selanjutnya →
Baris 1: LOGIC MATHEMATIC ~~{{sains}}~~ '''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. Mathematical logic is a branch of mathematics containing studies of mathematical logic and application for other fields besides mathematics. Mathematical logic It's closely related to computer science and philosophical logic. The main theme among others in mathematical logic is an an expressive strengthening from formal logic and a deductive. Logical mathematics is often divided into branches of set theory. Model theory, recursive theory, proof theory and constructive mathematics. These branches have similar basic logical results. Translated by: Dedi Manullang == Hukum logika ==

Logika matematika: Perbedaan antara revisi