O riyaziyat, sistemalar nazariyesi ve nazariy informatika iliminden ibaret.