Wat is informatica? Is het een ingenieurswetenschap, vergelijkbaar met de scheepsbouwkunde? Maar waar de scheepsbouwkunde concrete materialen (metaal, hout, rubber) verwerkt, is een programma of informatieverwerkend proces niet meer dan een abstractie. Waar men in de scheepsbouwkunde moet testen of iets werkt, kan men in de informatica een wiskundig bewijs leveren dat iets moet werken. Maar is informatica dan een tak van de wiskunde? Dan zou testen van een programma geheel overbodig zijn, en de praktijk leert dat dit niet het geval is. Over de wetenschappelijke achtergrond van de informatica, de methodologie en de rol van formele methoden, ga ...
Om het hele artikel te lezen dient u eerst in te loggen.
Nog niet geregistreerd?
Klik hier voor verdere informatie.