آموزشگاه حلقه منطق

آموزشگاه حلقه منطق، تنها آموزشگاه تخصصی منطق در ایران است. ما کلاس‌های آنلاین منطق در شاخه‌های فلسفه، ریاضی و علوم کامپیوتر داریم. در این نوشته این آموزشگاه را به طور کامل معرفی خواهم کرد. (اساتید، درس‌ها، نحوه ثبت‌نام و …)

به صورت کلی در جهان، منطق با سه رویکرد فلسفی، ریاضی و علوم کامپیوتر دنبال می‌شود. ازین جهت رشته دانشگاهی منطق نیز در سه گروه ۱. فلسفه ۲. ریاضی و ۳. علوم کامپیوتر قرار می‌گیرد. به عبارت دیگر گرایش منطق در این سه رشته قرار می‌گیرد. در رشته منطق فلسفی، منطق را با رویکرد، انگیزه‌ها و اهداف فلسفی دنبال می‌کنیم. مشابهاً در رشته‌های منطق ریاضی و منطق کامپیوتر، منطق را برای کارکردهای ریاضیاتی و علوم کامپیوتری آن مورد مطالعه قرار می‌دهیم.

رشته منطق

منطق در رشته‌های فلسفه، ریاضی و کامپیوتر

منطق علم استدلال است. در آموزشگاه حلقه منطق درس‌‌های متنوعی در شاخه‌های مختلف منطق ارائه خواهیم داد. کلاس‌های ما را می‌توان به صورت زیر تقسیم‌بندی کرد:

منطق در رشته‌ی فلسفه

  • فلسفه
    • فلسفه منطق
    • فلسفه زبان
    • فلسفه ریاضی
    • فلسفه تحلیلی
  • منطق صوری
    • منطق جدید (منطق فلسفی به معنای خاص)
      • منطق کلاسیک: گزاره‌ها، محمولات مرتبه اول، محمولات مرتبه دوم و بالاتر
      • منطق‌های نیمه‌کلاسیک (توسعه یافته): موجهات، زمان، معرفت، تکلیف، پویا، شرطی و …
      • منطق‌های غیرکلاسیک (غیراستاندارد): شهودی، آزاد، ربط، چندارزشی، فازی، کوانتوم، خطی و …
    • منطق قدیم: ارسطویی، رواقی-مگاری و سینوی
    • تاریخ منطق
    • منطق تطبیقی
  • منطق غیرصوری (منطق کاربردی)
    • تفکر انتقادی
    • مغالطات
    • روش‌شناسی

منطق در رشته‌ی ریاضی

  • جبر
    • منطق جبری: ساختارهای جبری منطقی، نظریه مشبکه، جبرهای استلزامی و منطق جبری مجرد
    • جبر مجرد: جبر جامع، ساختارهای جبری و …
    • نظریه رسته‌ها و توپوس
  • منطق جدید (منطق ریاضی به معنای اخص)
    • منطق کلاسیک
    • منطق موجهات
    • منطق‌های غیرکلاسیک: شهودی، چندارزشی و فازی
  • شاخه‌های اصلی منطق ریاضی
    • نظریه برهان
    • نظریه محاسبه‌پذیری (نظریه بازگشت)
    • نظریه مدل
    • نظریه مجموعه‌ها

منطق در رشته‌ی علوم کامپیوتر

  • منطق جدید (منطق کامپیوتر به معنای خاص)
    • وارسی‌گر مدل: منطق‌های زمان
    • اثبات خودکار: منطق گزاره‌های کلاسیک، منطق موجهات، منطق شهودی و منطق خطی
    • درستی‌یابی نرم‌افزار: منطق هوار و منطق پویا
  • منطق و برنامه‌نویسی
    • درستی‌یابی نرم‌افزار
    • برنامه نویسی منطقی
    • معناشناسی صوری
    • توصیف صوری نرم‌افزار
  • منطق و محاسبه
    • نظریه پیچیدگی
    • محاسبات منطقی
    • نظریه محاسبه
    • منطق محاسباتی
    • نظریه بازگشت
  • منطق و هوش مصنوعی

توجه کنید که منطق در رشته‌ی ریاضی حد وسطی برای منطق در رشته‌ی فلسفه و علوم کامپیوتر است. برای دیدن وضعیت رشته‌ی منطق در دانشگاه‌های ایران می‌توانید این نوشته را ببینید.

اعضای آموزشگاه حلقه منطق

  • مدیر آموزشگاه:
    • دکتر عامر آمیخته
    • تلگرام: Amer_Amikhteh
    • تلفن: ۰۹۳۷۴۶۳۶۸۳۵
  • مدیر فنی:
    • خانم مرجان مظفری
    • تلگرام: Marjan_Mozafari
    • تلفن: ۰۹۱۱۲۶۹۳۷۸۳

اساتید آموزشگاه حلقه منطق

 مقطعرشتهگرایشدانشگاهسال
عامر آمیختهدکتریفلسفهمنطقتربیت مدرس۹۹
سید احمد میرصانعیدکتریفلسفهمنطقتربیت مدرسورودی ۹۸
امیرحسین بهادریدکتریفلسفهمنطقاصفهانورودی ۹۸
محمد مظاهریارشدفلسفهمنطقعلامهورودی ۹۸
اطلاعات بیشتر در مورد اساتید آموزشگاه را در صفحه‌ی اصلی آموزشگاه ببینید.

نحوه‌ی شرکت در کلاس‌های آموزشگاه حلقه منطق

چگونه در پنل آموزشگاه ثبت‌نام کنم؟۱۳۹۹/۱۱/۴ ۲۰:۳۲:۲۷

اگر برای بار اول می‌خواهید در کلاس‌ها شرکت کنید ابتدا نیاز است که در پنل آموزشگاه ثبت نام کنید. یعنی حساب کاربری داشته باشید. برای این منظور به روش زیر عمل کنید:

  1. بر روی منو (آیکون ۳ خط در بالا سمت راست) کلیک کنید.
  2. بر روی دکمه‌ی «ثبت نام» کلیک کنید.
  3. در صفحه‌ی جدید، موارد خواسته شده را وارد کنید و بر روی دکمه‌ی «ثبت‌نام» کلیک کنید.
  4. ترجیحاً یک عکس از خود بارگزاری کنید تا استاد شما را راحت‌تر بشناسد و ارتباط بهتری برقرار کند. برای این منظور این‌گونه عمل کنید:
    1. بر روی دکمه‌ی «ویرایش» کلیک کنید.
    2. در صفحه‌ی جدید بر روی آیکون فرد ناشناس (بالای نام و نام خانوادگی) کلیک کنید
    3. بعد از انتخاب عکس مورد نظر خود و انجام تنظیم مورد نظر خود بر روی دکمه‌ی «بریدن تصویر» کلیک کنید.
    4. در نهایت بر دکمه‌ی «ویرایش» در پایین صفحه کلیک کنید تا تنظیمات شما ذخیره شود.
چگونه در پنل آموزشگاه حلقه منطق وارد شوم؟۱۳۹۹/۱۱/۵ ۱۳:۲۸:۵۵

اگر هم که قبلاً در پنل آموزشگاه ثبت‌نام کردید، کافی است که به این صورت وارد حساب و پنل خود شوید:

  1. بر روی منو (آیکون ۳ خط در بالا سمت راست) کلیک کنید.
  2. بر روی دکمه‌ی «ورود» کلیک کنید.
  3. در صفحه‌ی جدید بعد از وارد کردن شماره موبایل و رمز خود بر روی دکمه‌ی «ورود» کلیک کنید.
چگونه در کلاس‌های آموزشگاه ثبت‌نام کنم؟۱۳۹۹/۱۱/۴ ۲۰:۵۲:۰۳
  1. پس از ثبت نام در پنل آموزشگاه وارد آن شوید.
  2. در صفحه‌ی پروفایل خود بر روی دکمه‌ی «ثبت‌نام در کلاس» کلیک کنید.
  3. بر روی درس مورد نظر خود کلیک کنید.
  4. در صفحه‌ی درس، کلاس‌های آن درس به نمایش گذاشته می‌شود که معمولاً ۱ کلاس بیشتر نیست. مشخصات اصلی کلاس برای شما به نمایش گذاشته می‌شود. این مشخصات عبارت‌اند از:
    • نام و نام خانوادگی استاد
    • برنامه هفتگی کلاس (اگر مشخص شده باشد)
    • ظرفیت شرکت‌کنندگان
    • هزینه شرکت در کلاس
  5. برای دیدن جزئیات بیشتر کلاس و استاد مورد نظر خود به برگه‌ی کلاس‌های فعال آموزشگاه یا کانال تلگرام آموزشگاه مراجعه کنید.
  6. اگر کلاس مورد نظر شما مطلوب شما بود، می‌توانید بر روی دکمه‌ی «ثبت‌نام در کلاس» کلیک کنید.
زمان برگزاری کلاس‌ها چگونه است؟۱۳۹۹/۱۱/۵ ۱۶:۰۴:۲۵

کلاس‌ها به صورت منظم هفته‌ای یا یک‌هفته درمیان برگزار می‌شوند. گرچه در نهایت زمان برگزاری کلاس را استاد تعیین می‌کند اما دانشجوها هم می‌توانند از طریق گفتگو با استاد درباره‌ی زمان برگزاری کلاس موثر باشند.

توجه کنید که کلاس‌ها تنها بعد از تکمیل ظرفیت برگزار می‌شوند.

چگونه در کلاس‌های آموزشگاه شرکت کنم؟۱۳۹۹/۱۱/۵ ۱۶:۱۳:۱۸

پس از ثبت نام در کلاس مورد نظر و مشخص شدن برنامه‌ی هفتگی، شما قبل از برگزاری جلسه‌ی اول حداقل ۲۰٪ شهریه را پرداخت خواهید کرد. پس از آن شما در پنل خود با کلیک بر روی «کلاس‌های در حال اجرا» می‌توانید وارد کلاس آنلاین شوید. کلاس‌های ما توسط اپلیکشن تحت وب بیگ‌بلو‌باتن برگزار می‌شود. شما برای وارد شدن به کلاس به نصب هیچ برنامه‌ای نیاز ندارید و صرفاً با تلفن همراه نیز می‌توانید وارد شوید.

توسط |۱۳۹۹/۱۱/۵ ۱۱:۰۱:۱۵۱ بهمن ۱۳۹۹|آموزشگاه|بدون دیدگاه

درباره نویسنده:

به طور کلی می‌توان فعالیت‌های من رو در سه زمینه ۱. منطق ۲. شطرنج و ۳. روانشناسی موفقیت خلاصه کرد. از آنجا که عاشق زندگیم صرفاً کاری را انجام می دهم که از آن لذت ببرم؛ منطق برایم حتی بیش از شطرنج یک بازی لذت بخش مفید است که علاوه بر اینکه غذای کودک درون من است، حس عقلانیت بالغ درونم را نیز ارضاء می کند. می خواهم در جهت گسترش منطق در ایران عزیزمان موثر باشم و کمک کنم در این رشته عزیزان به کارهای گروهی بیشتر روی آورند. به علاوه به این علاقه دارم که منطق رو در موضوعات روانشناسی بالاخص روانشناسی موفقیت بکار ببرم. و از آنجا که به نظر من خواستن مهم‌ترین مسئله برای قدم گذاشتن در جاده موفقیت است، موضوع پایان‌نامه و رساله‌ام رو به آن اختصاص داده‌ام.

دیدگاه خود را بنویسید

13 + 16 =

رفتن به بالا