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