麦克威廉斯定理(MacWilliams theorem)是关于编码理论中的一个重要结论，它给出了线性码C与它的对偶码C⊥的重量计数子之间的相互联系，这个定理由麦克威廉斯(F.J.MacWilliams)于1962年得到，范·林特(J.H.van Lint)于1971年利用特征标理论给出了该定理的一个简洁证明，若C⊥的重量计数子已知，则该定理给出了关于n+1个未知数A0，A1，…，An的n+1个方程的线性方程组，从而可解方程组求得线性码C的重量计数子。编码理论中一个最基本的结论是属于F.J.MacWiUiams(1963)的，它给出了一个线性码的重量计数子与其对偶码的重量计数子之间的关系。