Vi formulerer informatik, lidt slagordsagtigt, som:
operatoren er ikke kommutativ -- og kan ikke lede til at man flytter om på leddende, og da slet ikke tværs over ligningssymbolet (=)!
Vi har set på datalogien, og gennem det har vi nævnt dets matematiske ståsted og en lang række anvendelser.
Tilbage står at afgrænse en række roller: Hvad vil forskning i informatik sige, hvem forsker i informatik, hvad er en informatiker -- i kontrast til en datalog? Osv.