Rasmiy fan
(Formal fandan yoʻnaltirildi)
Rasmiy fanlar rasmiy sistemalar bilan shugʻullanadi, misol: mantiq, matematika, statistika, nazariy informatika, axborot nazariyasi, oʻyinlar nazariyasi, tizimlar nazariyasi, qaror nazariyasi va tilshunislikning bir qismini oʻz ichiga oladi.