Syensya nga pormal

Iton Syensya nga pormal usa nga sanga hin syensya nga nag-aaram hin mga disiplina han pinulungan pormal nga nanginginlabot ha mga sistema pormal, sugad han lohika, matematika, estadistika, syensya pan-kompyuter nga teyorya, artificial intelligence, game theory, teyorya hin mga sistema, teyorya hin pag-desiyon, ngan mga linggwistika nga teyorya. Kun diin man an mga syensya naturales ngan mga syensya pankatiringban in nanginginano han mga sistema pisikal ngan mga sistema pankatiringban, nga nagamit hin empirical nga pamaagi, an mga syensya nga pormal naman in mga higamit hin pinulungan nga nanginginano han mga pan-instruktura nga abstract nga naghuhulagway hin mga sistema hin mga simbolo. An syensya pormal in nabulig han natural ngan pankatiringban nga mga syensya pinaagi hin paghatag hin impormasyon nga may panginlabot han mga istruktura han mga urhi nga duha ha paghulagway han kalibutan, ngan kun ano nga mga inferensya nga mahihimo ha ira.