Satslogik och algoritmer
I kapitlet satslogik och algoritmer introducerar vi s.k. påståenden och på vilka olika sätt man kan kombinera (sätta samman) dessa med hjälp av logiska operatorer såsom “och” (konjuktion), “eller” (disjunktion), “icke” (negation) och “om…så” (implikation).
Påståendena kan antingen vara sanna eller falska. Beroende på vilken operator som binder samman flera påståenden och huruvida de olika påståendena är sanna eller inte så kan man se om det sammansatta påståendet är sant eller falskt.
Här introducerar vi även algoritmer som används för att bl.a. kunna programmera vår grafräknare. En algoritm är som ett slags recept eller instruktionslista på hur man löser en viss uppgift. Vi går in på de vanligaste kommandona på grafräknaren t.ex. Disp och Input – hur man hittar dem och vad de betyder.