Ilmu formal: Perbedaan antara revisi

Konten dihapus Konten ditambahkan
Taylorbot (bicara | kontrib)
sesudah pemindahan 3 tahun yang lalu | t=492 su=29 in=31 at=29 -- only 32 edits left of totally 62 possible edits | edr/ovr=000/000 | clean up (3) : tab&trailspc&reduceol&killreddot & {{Sains}}--(ci=3,1x)-->{{Ilmu}} | "{{sains|cTopic=f" -> "{{Ilmu|cTopic=fo"
Tidak ada ringkasan suntingan
Tag: Suntingan perangkat seluler Suntingan peramban seluler
 
(2 revisi perantara oleh pengguna yang sama tidak ditampilkan)
Baris 1:
{{bedakan|Ilmu budaya}}
{{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 50 ⟶ 51:
 
[[Kategori:Ilmu formal| ]]
 
{{Ilmu-stub}}
{{Logika-stub}}
{{Matematika-stub}}
{{Komputer-stub}}