آموزشگاه حلقه منطق، تنها آموزشگاه تخصصی منطق در ایران است. ما کلاس‌های آنلاینو حضوری (در تهران) منطق در شاخه‌های فلسفه، ریاضی و علوم کامپیوتر داریم. در این نوشته این آموزشگاه را به طور کامل معرفی خواهم کرد. (اساتید، درس‌ها، نحوه ثبت‌نام و …)
- صفحه اصلی آموزشگاه حلقه منطق: logiccircle.ir/academy
- کانال تلگرامی آموزشگاه: LogicCircleAca
- وبلاگ آموزشگاه
به صورت کلی در جهان، منطق با سه رویکرد فلسفی، ریاضی و علوم کامپیوتر دنبال می‌شود. ازین جهت رشته دانشگاهی منطق نیز در سه گروه ۱. فلسفه ۲. ریاضی و ۳. علوم کامپیوتر قرار می‌گیرد. به عبارت دیگر گرایش منطق در این سه رشته قرار می‌گیرد. در رشته منطق فلسفی، منطق را با رویکرد، انگیزه‌ها و اهداف فلسفی دنبال می‌کنیم. مشابهاً در رشته‌های منطق ریاضی و منطق کامپیوتر، منطق را برای کارکردهای ریاضیاتی و علوم کامپیوتری آن مورد مطالعه قرار می‌دهیم.
منطق در رشته‌های فلسفه، ریاضی و کامپیوتر
منطق علم استدلال است. در آموزشگاه حلقه منطق درس‌‌های متنوعی در شاخه‌های مختلف منطق ارائه خواهیم داد. کلاس‌های ما را می‌توان به صورت زیر تقسیم‌بندی کرد:
منطق در رشته‌ی فلسفه
- فلسفه
- فلسفه منطق
- فلسفه زبان
- فلسفه ریاضی
- فلسفه تحلیلی
- منطق صوری
- منطق جدید (منطق فلسفی به معنای خاص)
- منطق کلاسیک: گزاره‌ها، محمولات مرتبه اول، محمولات مرتبه دوم و بالاتر
- منطق‌های نیمه‌کلاسیک (توسعه یافته): موجهات، زمان، معرفت، تکلیف، پویا، شرطی و …
- منطق‌های غیرکلاسیک (غیراستاندارد): شهودی، آزاد، ربط، چندارزشی، فازی، کوانتوم، خطی و …
- منطق قدیم: ارسطویی، رواقی-مگاری و سینوی
- تاریخ منطق
- منطق تطبیقی
- منطق جدید (منطق فلسفی به معنای خاص)
- منطق غیرصوری (منطق کاربردی)
- تفکر انتقادی
- مغالطات
- روش‌شناسی
منطق در رشته‌ی ریاضی
- جبر
- منطق جبری: ساختارهای جبری منطقی، نظریه مشبکه، جبرهای استلزامی و منطق جبری مجرد
- جبر مجرد: جبر جامع، ساختارهای جبری و …
- نظریه رسته‌ها و توپوس
- منطق جدید (منطق ریاضی به معنای اخص)
- منطق کلاسیک
- منطق موجهات
- منطق‌های غیرکلاسیک: شهودی، چندارزشی و فازی
- شاخه‌های اصلی منطق ریاضی
- نظریه برهان
- نظریه محاسبه‌پذیری (نظریه بازگشت)
- نظریه مدل
- نظریه مجموعه‌ها
منطق در رشته‌ی علوم کامپیوتر
- منطق جدید (منطق کامپیوتر به معنای خاص)
- وارسی‌گر مدل: منطق‌های زمان
- اثبات خودکار: منطق گزاره‌های کلاسیک، منطق موجهات، منطق شهودی و منطق خطی
- درستی‌یابی نرم‌افزار: منطق هوار و منطق پویا
- منطق و برنامه‌نویسی
- درستی‌یابی نرم‌افزار
- برنامه نویسی منطقی
- معناشناسی صوری
- توصیف صوری نرم‌افزار
- منطق و محاسبه
- نظریه پیچیدگی
- محاسبات منطقی
- نظریه محاسبه
- منطق محاسباتی
- نظریه بازگشت
- منطق و هوش مصنوعی
توجه کنید که منطق در رشته‌ی ریاضی حد وسطی برای منطق در رشته‌ی فلسفه و علوم کامپیوتر است. برای دیدن وضعیت رشته‌ی منطق در دانشگاه‌های ایران می‌توانید این نوشته را ببینید.
اعضای آموزشگاه حلقه منطق
- مدیر آموزشگاه:
- دکتر عامر آمیخته
- تلگرام: Amer_Amikhteh
- تلفن: ۰۹۳۷۴۶۳۶۸۳۵
اساتید آموزشگاه حلقه منطق
| مقطع | رشته | گرایش | دانشگاه | سال | |
|---|---|---|---|---|---|
| عامر آمیخته | دکتری | فلسفه | منطق | تربیت مدرس | ۹۹ |
| سید احمد میرصانعی | دکتری | فلسفه | منطق | تربیت مدرس | ورودی ۹۸ |
| امیرحسین بهادری | دکتری | فلسفه | منطق | اصفهان | ورودی ۹۸ |
| محمد مظاهری | ارشد | فلسفه | منطق | علامه | ورودی ۹۸ |
ثبت ديدگاه