Ilmu formal: Perbedaan antara revisi

Konten dihapus Konten ditambahkan

Revisi per 9 Oktober 2016 09.13 sunting HsfBot (bicara \| kontrib) Bot 1.172.010 suntingan k Clean up, replaced: teoritis → teoretis (3) using AWB ← Revisi sebelumnya		Revisi terkini sejak 10 Agustus 2023 12.46 sunting balikkan 180.251.150.98 (bicara) Tidak ada ringkasan suntingan Tag: Suntingan perangkat seluler Suntingan peramban seluler
(4 revisi perantara oleh 3 pengguna tidak ditampilkan)
Baris 1: {{bedakan\|Ilmu budaya}} {{~~sains~~Ilmu\|cTopic=formal}} '''Ilmu formal''' adalah disiplin yang terkait dengan [[sistem formal]] seperti [[logika]], [[matematika]], [[statistika]], [[ilmu komputer teoretis]], [[teori informasi]], [[teori permainan]], [[teori sistem]], [[teori pengambilan keputusan]], dan [[linguistika]]. Baris 49 ⟶ 50: * [http://www.math.uni-bonn.de/people/fotfs/ Interdisciplinary conferences — ''Foundations of the Formal Sciences''] [[Kategori:Ilmu formal\|F ]] {{Ilmu-stub}} {{Logika-stub}} {{Matematika-stub}} {{Komputer-stub}}