"informatikk" er et 11-bokstavers substantiv som brukes som synonym for "formalvitenskapene". formalvitenskapene betyr: Studiet av datateknologi og informasjonssystemer.