Formale vigyan

Formale vigyan es studa kel gwansi formale sistemas tal kom logika, matematika, statistika, teoretike compyutike vigyan, teoria de informa, teoria de geim, teoria de sistema, teoria de desida, e yoshi idyen lingwistika.