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