High school trigonometry and introductory differential & integral calculus are not the kind of books being described in this discussion.
The example in the original post is books about group theory (or the group theory sections of abstract algebra books more generally). I can attest that this subject is very rarely described in textbooks with clear examples shown before definitions and theorems; usually the presentation is entirely abstract, following a pure definition–theorem–proof kind of structure. But many other areas of pure mathematics at the undergraduate level and above are presented in a similar fashion.
(I recommend Nathan Carter’s book Visual Group Theory for a lovely counter-example to the prevailing trend, which starts with the concrete, and is very accessible. http://web.bentley.edu/empl/c/ncarter/vgt/)
We used to "run through" books like that. Their reasoning was to prove a theorem you only need the definitions/axioms. They really wanted us to be able to grasp the truths of a logical system from just its theorems and definitions. It was horrifically difficult. (Not all professors taught that way there.)
I feel that a lot of blame lies at modern academias curriculums. They feel every student needs to graduate in X number of years with a pretty long list of courses. It leaves little time for students who need or want more time with topics.
The example in the original post is books about group theory (or the group theory sections of abstract algebra books more generally). I can attest that this subject is very rarely described in textbooks with clear examples shown before definitions and theorems; usually the presentation is entirely abstract, following a pure definition–theorem–proof kind of structure. But many other areas of pure mathematics at the undergraduate level and above are presented in a similar fashion.
(I recommend Nathan Carter’s book Visual Group Theory for a lovely counter-example to the prevailing trend, which starts with the concrete, and is very accessible. http://web.bentley.edu/empl/c/ncarter/vgt/)