در تئوری اطلاعات، قضیه کدینگ منبع شانون (و یا قضیه کدینگ بدون نویز) محدودیت حداکثر فشرده سازی داده ها و معنای عملیاتی آنتروپی شانون را مشخص می کند.
قضیه کدینگ منبع شانون نشان می دهد که نمیتوان داده ها چنان فشرده کرد که بدون آن که اطلاعات از دست برود ،کد ریت (متوسط تعداد بیت در هر نماد) کمتر از آنتروپی شانون منبع شود.
کدینگ منبع یک نگاشت از (دنباله) نمادها از یک منبع اطلاعات به دنباله ای از نمادها (معمولاً بیت) است به طوری که که منبع نمادها را بتوان دقیقاً از بیت های دودویی به دست آورد (کدینگ lossless)
در نظریه اطلاعات از منبع برنامه نویسی قضیه (شانون در سال 1948) غیررسمی آمده است که (مککی 2003). 81, پوشش:فصل 5):
قضیه کدینگ منبع شانون نشان می دهد که نمیتوان داده ها چنان فشرده کرد که بدون آن که اطلاعات از دست برود ،کد ریت (متوسط تعداد بیت در هر نماد) کمتر از آنتروپی شانون منبع شود.
کدینگ منبع یک نگاشت از (دنباله) نمادها از یک منبع اطلاعات به دنباله ای از نمادها (معمولاً بیت) است به طوری که که منبع نمادها را بتوان دقیقاً از بیت های دودویی به دست آورد (کدینگ lossless)
در نظریه اطلاعات از منبع برنامه نویسی قضیه (شانون در سال 1948) غیررسمی آمده است که (مککی 2003). 81, پوشش:فصل 5):
wiki: قضیه کدینگ منبع شانون