IT
scienze formali discipline formali Scienze astratte scienza formale
IT
La scienza formale o astratta è una branca della scienza che studia le discipline relative ai sistemi formali, come logica, matematica, statistica, informatica teorica, intelligenza artificiale, teoria dell'informazione, teoria dei giochi, teoria dei sistemi, teoria delle decisioni e linguistica teorica.
Wikipedia