کتاب Mathematical Logic for Computer Science اثر Chung-wan Lu انتشارات World Scientific Publishing Company
0%
(0 نفر) از خریداران، این کالا را پیشنهاد کرده اند
برند :
متفرقهویژگی ها
- نوع جلد : شومیز
- نوع کاغذ : تحریر
- گروه سنی : بزرگسال
مشخصات محصول
معرفی محصول (Mathematical Logic for Computer Science (منطق ریاضی برای علوم کامپیوتر))اثر تشونگ-وون لو
کتاب منطق ریاضی برای علوم کامپیوتر نوشته چونگ-وان لو، در سال 2012 منتشر شده است. این کتاب به بررسی اصول و مبانی منطق ریاضی و کاربرد آن در علوم کامپیوتر میپردازد. نویسنده در این اثر، مفاهیم پایهای منطق گزارهای و منطق پیشنمادی را به زبان ساده تشریح کرده و سپس به بررسی کاربردهای آن در زمینههایی همچون طراحی مدارهای منطقی، زبانهای برنامهنویسی و تئوری الگوریتمها میپردازد. این کتاب به عنوان مرجعی مناسب برای دانشجویان و محققان علوم کامپیوتر در زمینه منطق ریاضی شناخته میشود
نویسنده
Chung-wan Lu
ناشر
World Scientific Publishing Company
شابک
9789971502515
موضوع
منطق، ریاضیات، علوم کامپیوتر
قطع
رقعی
نوع جلد
شومیز
نوع کاغذ
تحریر
تعداد صفحه
260
گروه سنی
بزرگسال
وزن
260 گرم
