دانلود کتاب 面向计算机科学的数理逻辑系统建模与推理: 系统建模与推理
کتاب 面向计算机科学的数理逻辑系统建模与推理: 系统建模与推理 نسخه زبان اصلی
دانلود کتاب 面向计算机科学的数理逻辑系统建模与推理: 系统建模与推理 بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب 面向计算机科学的数理逻辑系统建模与推理: 系统建模与推理
نام کتاب : 面向计算机科学的数理逻辑系统建模与推理: 系统建模与推理
عنوان ترجمه شده به فارسی : 面向计算机科学的数理逻辑系统建模与推理: 系统建模与推理
سری :
نویسندگان : 胡思
ناشر : 机械工业
سال نشر : 2005
تعداد صفحات : 291
ISBN (شابک) : 7111160533 , 9787111160533
زبان کتاب : Chinese
فرمت کتاب : pdf
حجم کتاب : 15 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
نشانک بارگیری شد،\nبرای نحوه ایجاد نشانک، لطفاً با yjyouaremysunshine@163.com تماس بگیرید\nکاملا رایگان\n\nمنطق ریاضی یکی از پایه‌های علم کامپیوتر است و کاربردهای گسترده‌ای در تعیین و تأیید مدل‌ها و سیستم‌ها دارد. با افزایش پیچیدگی محصولات سخت افزاری و نرم افزاری امروزی، منطق ریاضی به ابزاری روزانه برای طراحان و توسعه دهندگان بیشتر و بیشتر تبدیل شده است.\n این کتاب به عنوان یک کتاب درسی برای دروس منطق ریاضی/روش های رسمی در کامپیوتر و رشته های مرتبط در کالج ها و دانشگاه ها، شامل منطق گزاره ای، منطق محمول، منطق مدال و عامل، نمودار تصمیم گیری باینری، بررسی مدل و تایید برنامه و غیره می باشد. در مقایسه با کتاب‌های درسی منطق ریاضی سنتی، ویژگی اصلی آن این است که تمرکز دقیقی بر موضوع مشخصات سخت‌افزار و نرم‌افزار و تأیید دارد که منعکس‌کننده توسعه جدید و نیازهای واقعی منطق ریاضی در علوم رایانه است. ویرایش دوم الگوریتم‌های رضایت‌پذیری، نظریه فشردگی و قضیه Lowenhenm-Skolem را اضافه می‌کند و زبان آلیاژ و ابزار Nusmv را معرفی می‌کند.\n از زمان انتشار، این کتاب مورد استقبال گسترده قرار گرفته و توسط چندین کشور از جمله دانشگاه پرینستون، دانشگاه کارنگی ملون، دانشگاه کمبریج، دانشگاه هامبورگ، دانشگاه تورنتو، دانشگاه Vrije و موسسه فناوری هند پذیرفته شده است. ده کالج و دانشگاه آن را به عنوان یک ماده آموزشی پذیرفته است.
فهرست مطالب :
封面 书名 版权 前言 目录 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277
توضیحاتی در مورد کتاب به زبان اصلی :
书签已装载， 书签制作方法请找 yjyouaremysunshine@163.com 完全免费 数理逻辑是计算机科学的基础之一，在模型与系统的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂，数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材，涵盖了命题逻辑，谓词逻辑、模态逻辑与 Agent、二元决策图、模型检查和程序验证等内容。与传统数理逻辑教科书相比，它的主要特色就是紧紧围绕软硬件规约和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法，紧致性理论和Lowenhenm-Skolem定理，并介绍了Alloy语言和Nusmv工具。 本书自出版以来受到广泛好评，已经被包括美国普林斯顿大学、卡内基-梅隆大学、英国剑桥大学、德国汉堡大学、加拿大多伦多大学、荷兰 Vrije大学，印度理工学院在内的多个国家几十所高校采纳为教材。
پست ها تصادفی