It's exhaustive, concrete, logically ordered, and pedagogically consistent. It has its virtues. You explain by enumerating the maximal compact extension of cases rather than providing an intension and making your reader generate all that work. Maybe it's good if they do, but how would a book give feedback if they fail? By providing an instance in the extension to compare to...
Comments
It's exhaustive, concrete, logically ordered, and pedagogically consistent. It has its virtues. You explain by enumerating the maximal compact extension of cases rather than providing an intension and making your reader generate all that work. Maybe it's good if they do, but how would a book give feedback if they fail? By providing an instance in the extension to compare to...