Yes - these notes are definitely from 6.042. I TA'ed the class a couple of times as these notes were being developed. In my opinion, they are fantastic. Entertaining and engaging, while still maintaining an appropriate level of mathematical rigor.