Logica als basis voor coderen