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