ریاضیات کامپیوتر

ریاضیات کامپیوتر جنبه‌های مختلف ریاضیات، از جمله مروری گسترده بر ریاضیات محاسباتی را بررسی می‌کند. این کتاب شامل تعاریف پدیده‌های قابل پیش‌بینی، نظریه مدل‌ها و گروه‌ها، مدل‌های برنامه‌نویسی، مقدمه‌ای بر اثبات رسمی به کمک کامپیوتر، نظریه اثبات، گروه کاری در مورد دروس اصلی، نظریه مدل متناهی، محاسبه‌پذیری و ناتمامیت، مدل‌های برنامه‌نویسی، ترکیب‌کننده، منطق ریاضی، مبانی محاسبات است. به خواننده بینشی در مورد توسعه تاریخچه آن می‌دهد تا نظریه عمومی الگوریتم‌ها، توابع بازگشتی، مقدمه‌ای بر پیچیدگی، نظریه مدل‌ها و کاربردهای متناهی، تأیید تقریبی و پیچیدگی، کار بر روی دروس اساسی، منطق فشرده مقدماتی را درک کند.