Du er velkommen til at downloade hele bogen her! (Ca. 11 MB).
Af Professor Hanne Riis Nielson, Professor Flemming Nielson, Adjunkt Sebastian Nanz og Henrik Pilegaard.
Et sted i en europæisk lufthavn star en colaautomat, hvor en cola koster 3€. Automaten accepterer kun 1€ og 2€ mønter og fungerer meget enkelt: Først trykker man pa ”cola” knappen, og derefter indkaster man mønter. Hvis man skal have byttepenge, giver automaten disse mønter tilbage, inden den afleverer colaen. Det er pa overfladen et meget simpelt forløb, men hvordan finder automaten ud af, om man har betalt det rigtige beløb? For at svare på dette skal vi bygge en model for, hvordan colaautomaten virker. Modellen vil fokusere pa de dele, vi er interesserede i, og den vil ignorere en lang række andre aspekter. Vi ønsker at forstå logikken i colaautomaten, og vi er derfor ikke interesserede i tekniske detaljer, som f.eks. hvordan automaten kender forskel på en 1€ mont og en 2€ mønt for slet ikke at tale om alle mulige andre mønter.