Code ensembles: MAP decoding, word MAP and symbol MAP (section 6.1)
Demonstration of the channel coding theorem (direct statement): word MAP decoding, symbol MAP decoding (Section 6.3)
Reference book: "Information, physics, and
computation" by Mezard and Montanari