Logica en informatica door