آشنایی بامنطق ریاضی./تألیف: هربرت بی اندرتون.

˘☘⤸.
〖‌ ᤩ Ⓟⓓⓕ

╯╭دانلود pdf:
╮╰کتاب: آشنایی بامنطق ریاضی.
╯╭تألیف: هربرت بی اندرتون.
╮╰مترجم: غلامرضا خسروشاهی-محمد رجبی.
╯╭تعداد صفحات‌: ۳۴۲.
╮╰کلیک: دانلـــ📥ـــــود

معرفی نویسنده:
هربرت بروس اندرتون یک ریاضیدان آمریکایی بود. او استاد برجسته ریاضیات در UCLA و عضو سابق دانشکده‌های ریاضیات و منطق و روش‌شناسی علوم در دانشگاه کالیفرنیا، برکلی بود. اندرتون همچنین به نظریهٔ بازگشت، نظریهٔ تعریف پذیری، مدل‌های تحلیل، پیچیدگی محاسباتی و تاریخ منطق کمک کرده است. وی دکترای خود را به دست آورد. در هاروارد در سال ۱۹۶۲٫ وی از سال ۱۹۶۱ تا زمان مرگ عضو انجمن ریاضی آمریکا بود.

معرفی کتاب:
کتاب منطق ریاضی در چهار فصل نگاشته شده است که برخورداری ریاضی با افکار و قضایای اساسی منطق را عرضه می‌دارد و به عنوان کتاب درسی برای یک درس ریاضی مقدماتی در منطق تدوین شده است. این کتاب به ارائه مفاهیم و غذای منطق و توضیح اهمیت آن‌ها و رابطه آن‌ها با بقیهٔ پژوهش‌های ریاضی می‌پردازد. مخاطبین این اثر کسانی هستند که قبلا منطق نخواند است اما تجربیات چندی در استدلال ریاضی دارند. در این کتاب علاوه بر متن و مثال‌های متنوع و جامع که یادگیری را تسهیل می‌بخشد. کتاب حاضر دارای ۱۵۰ تمرین باشد که در پایان هر بخش آمده است تا بتواند سیر یادگیری را هموار و کامل‌تر کند.

· · ── · 𖥸 · ── · ·