˘☘⤸.
〖 ᤩ Ⓟⓓⓕ
📔⃟↭#کتاب 📔⃟↭#منطق
❍. دانلود pdf:
❍. آشنایی با منطق ریاضی.
❍. تألیف: هربرت بیاندرتون.
❍. مترجم: خسروشاهی و رجبی.
❍. تعداد صفحات: ۳۴۲.
❍. کلیک: دانلود
· · ── · 𖥸 · ── · ·
- معرفی نویسنده:
هربرت بروس اندرتون یک ریاضیدان آمریکایی بود. او استاد برجسته ریاضیات در UCLA و عضو سابق دانشکدههای ریاضیات و منطق و روششناسی علوم در دانشگاه کالیفرنیا، برکلی بود. اندرتون همچنین به نظریهٔ بازگشت، نظریهٔ تعریف پذیری، مدلهای تحلیل، پیچیدگی محاسباتی و تاریخ منطق کمک کرده است. وی دکترای خود را به دست آورد. در هاروارد در سال 1962. وی از سال 1961 تا زمان مرگ عضو انجمن ریاضی آمریکا بود.
- معرفی کتاب:
کتاب منطق ریاضی در چهار فصل نگاشته شده است که برخورداری ریاضی با افکار و قضایای اساسی منطق را عرضه میدارد و به عنوان کتاب درسی برای یک درس ریاضی مقدماتی در منطق تدوین شده است. این کتاب به ارائه مفاهیم و غذای منطق و توضیح اهمیت آنها و رابطه آنها با بقیهٔ پژوهشهای ریاضی میپردازد. مخاطبین این اثر کسانی هستند که قبلا منطق نخواند است اما تجربیات چندی در استدلال ریاضی دارند. در این کتاب علاوه بر متن و مثالهای متنوع و جامع که یادگیری را تسهیل میبخشد. کتاب حاضر دارای ۱۵۰ تمرین باشد که در پایان هر بخش آمده است تا بتواند سیر یادگیری را هموار و کاملتر کند.
· · ── · 𖥸 · ── · ·
𝐈𝐃: @serat12k