کتاب Mathematical Foundations of Software Engineering: A Practical Guide to Essentials اثر Gerard ORegan انتشارات مؤلفین طلایی

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