بانيان فكر

حساب رايانه اي در تئوري و عمل با حساب رايانه اي و پياده سازي هاي مختلف كل حساب در پردازنده هاي متنوع از جمله ريز پردازنده ها سروكار دارد. اين اهميت پيشرفت نظري را در اجراي صحيح حساب در رايانه نشان مي دهد و ادعا مي كند كه چنين پياده سازي ايجاب مي كند تا ايزومورفيسم هاي مختلفي بين تعاريف مختلف عمليات حسابي ايجاد شود. اين جلد كه از هفت فصل تشكيل شده است ، با مقدمه اي بر نظريه حساب رايانه با ارائه توصيف بديهي از خصوصيات اساسي مجموعه ها و زير مجموعه ها آغاز مي شود. شبكه هاي كامل و زير شبكه هاي كامل ؛ صفحه نمايش و گرد كردن و عمليات حسابي.سپس بحث به مفاهيم رينگوئيد و وكتوئيد و همچنين مفاهيم رينگوئيدها و وكتوئيدهاي مرتب يا ضعيف مرتب مي شود. حساب فاصله اي؛ و حساب نقطه شناور. عملكردها در فضاهاي فاصله اي با استفاده از نيمگرايي مشخص مي شوند. فصل آخر نشان مي دهد كه چگونه پنج نوع داده اساسي (عدد صحيح ، واقعي ، پيچيده ، فاصله واقعي و فاصله پيچيده) را همراه با عمليات حسابي كه براي همه اين انواع در زبان هاي برنامه نويسي موجود تعريف شده ، تعبيه كنيم. اين كتاب براي دانشجويان و دست اندركاران رشته هاي علوم كامپيوتر و رياضيات كاربردي مفيد خواهد بود.فاصله واقعي و فاصله پيچيده) همراه با عمليات حسابي كه براي همه اين انواع در زبانهاي برنامه نويسي موجود موجود تعريف شده است. اين كتاب براي دانشجويان و دست اندركاران رشته هاي علوم كامپيوتر و رياضيات كاربردي مفيد خواهد بود.فاصله واقعي و فاصله پيچيده) همراه با عمليات حسابي كه براي همه اين انواع در زبانهاي برنامه نويسي موجود موجود تعريف شده است. اين كتاب براي دانشجويان و دست اندركاران رشته هاي علوم كامپيوتر و رياضيات كاربردي مفيد خواهد بود.