Text this: Theory and problems of introduction to digital systems