next up previous contents
Next: Datalog Først Up: Informatik = Matematik Datalogi Previous: Abstraktion og Sprog

Informatik

Vi formulerer informatik, lidt slagordsagtigt, som:

Informatik =
Matematik Datalogi Anvendelse

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.





Dines Bjorner
Fri Sep 5 08:26:58 MET DST 1997