Don't know if anyone had seen it yet, but hope it will be helpful for programmers:
The Mathematics of MTG
The Mathematics of MTG (articles)
Re: The Mathematics of MTG (articles)
Looks like an interesting read, thanks for sharing!