To a subclass of computer programs; computation is more general than logic. There are lots of programs that can't be typed but still do useful work.