آموزشگاه حلقه منطق۱۴۰۰/۱/۲۷ ۱۷:۳۱:۳۱

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

تنها آموزشگاه تخصصی منطق در ایران

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

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

نحوه‌ی شرکت در کلاس‌ها

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

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

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

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

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

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

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

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

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

سخنرانی‌های ماهانه

 سخنرانعنوانتاریخساعتضبط
۱عامر آمیختهمنطق چیست: ساده اما دقیق۱۰/۱۱/۹۹۱۹:۰۰اعتبار تا ۱۸/۱۱/۹۹
۲عامر آمیختهتفاوت‌های منطق قدیم و منطق جدید۲۲/۱۲/۹۹۱۸:۰۰
۳سید احمد میرصانعی۱۸:۰۰

کلاس‌های گروه فلسفه

فلسفه

  • فلسفه منطق
  • فلسفه زبان
  • فلسفه ریاضی
  • فلسفه تحلیلی

منطق صوری

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

منطق غیرصوری (منطق کاربردی)

  • تفکر انتقادی
  • مغالطات
  • روش‌شناسی

کلاس منطق موجهات گزاره‌ای

استادمحمد ظفری
منبعبخش اول (۹ فصل اول) کتاب «منطق موجهات» اثر ضیاء موحد
پیشنیازکتاب «درآمدی به منطق جدید» ضیاء موحد
تعداد جلسات۸ جلسه
مدت هر جلسه۹۰ تا ۱۲۰ دقیقه متغیر
تعداد دانشجویان۵ تا ۱۵ نفر
هزینه ثبت نام۱۵۰ هزار تومان
منطق موجهات (به معنای عام) یکی از حوزه‌های مشترک و بنیادین منطق فلسفی، منطق ریاضی و منطق کامپیوتر است. به علاوه منطق موجهات سنگ بنای منطق فلسفی است. در این کلاس منطق موجهات را با هدف بکار بردن در استدلال‌های فلسفی (در رشته فلسفه) خواهید آموخت.

کلاس منطق موجهات محمولی

استادمحمد ظفری
منبعبخش دوم (۵ فصل دوم) کتاب «منطق موجهات» اثر ضیاء موحد
پیشنیاز ۱کتاب «درآمدی به منطق جدید» ضیاء موحد
پیشنیاز ۲بخش اول (۹ فصل اول) کتاب «منطق موجهات» ضیاء موحد
تعداد جلسات۶ جلسه
مدت هر جلسه۹۰ تا ۱۲۰ دقیقه متغیر
تعداد دانشجویان۵ تا ۱۵ نفر
هزینه ثبت نام۱۵۰ هزار تومان

کلاس فلسفه منطق

استادمحمد ظفری
منبع

The Blackwell Guide to Philosophical Logic, Lou Goble, 2001

پیشنیازآشنایی با منطق جدید
تعداد جلسات۸ جلسه
مدت هر جلسه۹۰ دقیقه
تعداد دانشجویان۵ تا ۱۲ نفر
هزینه ثبت نام۲۰۰ هزار تومان

کلاس تفکر انتقادی

استادسید احمد میرصانعی
منبع ۱مجموعه راهنمای اندیشه‌ورزان، ریچارد پل، لیندا الدر، مهدی خسروانی (مترجم و بازنویس)
منبع ۲Crıtıcal Reasonıng: A Practical Introduction, 3rd edition, Anne Thomson ,2009
مخاطبینبرای تمامی رشته‌ها و مقاطع
تعداد جلسات۱۰ جلسه
مدت هر جلسه۹۰ دقیقه
تعداد دانشجویان۶ تا ۱۷ نفر
هزینه ثبت نام۲۰۰ هزار تومان

کلاس مبانی منطق کلاسیک

استادسید احمد میرصانعی
منبع ۱«مبانی منطق جدید»، لطف الله نبوی
منبع ۲«درآمدی نو بر منطق نمادین»، پل تیدمن، هاوارد کهین، رضا اکبری (مترجم)، جلد ۱ (گزاره‌ها) و جلد ۲ (محمولات)
پیشنیاز آشنایی با منطق جدید
تعداد جلسات۱۶ جلسه
مدت هر جلسه۹۰ دقیقه
تعداد دانشجویان۷ تا ۱۷ نفر
هزینه ثبت نام۲۰۰ هزار تومان

کلاس منطق موجهات گزاره‌ای

استادمحمد ظفری
منبعبخش اول (۹ فصل اول) کتاب «منطق موجهات» اثر ضیاء موحد
پیشنیازکتاب «درآمدی به منطق جدید» ضیاء موحد
تعداد جلسات۸ جلسه
مدت هر جلسه۹۰ تا ۱۲۰ دقیقه متغیر
تعداد دانشجویان۵ تا ۱۵ نفر
هزینه ثبت نام۱۵۰ هزار تومان
منطق موجهات (به معنای عام) یکی از حوزه‌های مشترک و بنیادین منطق فلسفی، منطق ریاضی و منطق کامپیوتر است. به علاوه منطق موجهات سنگ بنای منطق فلسفی است. در این کلاس منطق موجهات را با هدف بکار بردن در استدلال‌های فلسفی (در رشته فلسفه) خواهید آموخت.

کلاس منطق موجهات محمولی

استادمحمد ظفری
منبعبخش دوم (۵ فصل دوم) کتاب «منطق موجهات» اثر ضیاء موحد
پیشنیاز ۱کتاب «درآمدی به منطق جدید» ضیاء موحد
پیشنیاز ۲بخش اول (۹ فصل اول) کتاب «منطق موجهات» ضیاء موحد
تعداد جلسات۶ جلسه
مدت هر جلسه۹۰ تا ۱۲۰ دقیقه متغیر
تعداد دانشجویان۵ تا ۱۵ نفر
هزینه ثبت نام۱۵۰ هزار تومان

کلاس فلسفه منطق

استادمحمد ظفری
منبع

The Blackwell Guide to Philosophical Logic, Lou Goble, 2001

پیشنیازآشنایی با منطق جدید
تعداد جلسات۸ جلسه
مدت هر جلسه۹۰ دقیقه
تعداد دانشجویان۵ تا ۱۲ نفر
هزینه ثبت نام۲۰۰ هزار تومان

کلاس تفکر انتقادی

استادسید احمد میرصانعی
منبع ۱مجموعه راهنمای اندیشه‌ورزان، ریچارد پل، لیندا الدر، مهدی خسروانی (مترجم و بازنویس)
منبع ۲Crıtıcal Reasonıng: A Practical Introduction, 3rd edition, Anne Thomson ,2009
مخاطبینبرای تمامی رشته‌ها و مقاطع
تعداد جلسات۱۰ جلسه
مدت هر جلسه۹۰ دقیقه
تعداد دانشجویان۶ تا ۱۷ نفر
هزینه ثبت نام۲۰۰ هزار تومان

کلاس مبانی منطق کلاسیک

استادسید احمد میرصانعی
منبع ۱«مبانی منطق جدید»، لطف الله نبوی
منبع ۲«درآمدی نو بر منطق نمادین»، پل تیدمن، هاوارد کهین، رضا اکبری (مترجم)، جلد ۱ (گزاره‌ها) و جلد ۲ (محمولات)
پیشنیاز آشنایی با منطق جدید
تعداد جلسات۱۶ جلسه
مدت هر جلسه۹۰ دقیقه
تعداد دانشجویان۷ تا ۱۷ نفر
هزینه ثبت نام۲۰۰ هزار تومان

کلاس‌های گروه ریاضی

جبر

  • منطق جبری:
    • ساختارهای جبری منطقی
    • نظریه مشبکه
    • جبرهای استلزامی
    • منطق جبری مجرد
  • جبر مجرد
    • جبر جامع
    • ساختارهای جبری
  • نظریه رسته‌ها و توپوس

منطق جدید (منطق ریاضی به معنای اخص)

  • منطق کلاسیک
  • منطق موجهات
  • منطق‌های غیرکلاسیک: شهودی، چندارزشی و فازی

شاخه‌های اصلی منطق ریاضی

  • نظریه برهان
  • نظریه محاسبه‌پذیری (نظریه بازگشت)
  • نظریه مدل
  • نظریه مجموعه‌ها

کلاس جبر ۱ (مبانی جبر): جبر مجرد (ساختارهای جبری)

استادمهدیه نوری
منبعA First Course in Abstract Algebra, John B. Fraleigh, Victor J Katz, 2020
منبع فارسیجبر مجرد، هرشتاین، ترجمه عالم‌زاده، ۱۳۹۹
پیشنیازریاضی دبیرستانی (ریاضیات پایه)
تعداد جلسات۱۲ جلسه
مدت هر جلسه۹۰ دقیقه
تعداد دانشجویان۶ تا ۱۲ نفر
هزینه ثبت نام۱۵۰ هزار تومان
این درس پیشنیاز همه‌ی درس‌های جبر است. برای دانشجویان ریاضی یک درس اساسی و ضروری است اما برای دانشجویان فلسفه یک درس مفید است.

کلاس جبر ۲: جبر جهانی

استادمهدیه نوری
منبعA Course in Universal Algebra, Stanley Burris, H.P. Sankappanavar, 2010
پیشنیازجبر ۱ (مبانی جبر): جبر مجرد (ساختارهای جبری)
تعداد جلسات۱۰ جلسه
مدت هر جلسه۹۰ دقیقه
تعداد دانشجویان۶ تا ۱۲ نفر
هزینه ثبت نام۱۲۵ هزار تومان

کلاس نظریه مشبکه ۱

استادمهدیه نوری
منبعLattice Theory: Foundation, George Gratzer, 2011
پیشنیازجبر ۱ (مبانی جبر): جبر مجرد (ساختارهای جبری)
تعداد جلسات۱۰ جلسه
مدت هر جلسه۹۰ دقیقه
تعداد دانشجویان۶ تا ۱۲ نفر
هزینه ثبت نام۱۲۵ هزار تومان

کلاس نظریه مدل ۱ (مبانی نظریه مدل)

استادمهدیه نوری
منبعIntroduction to Model Theory, Philipp Rothmaler, 2014
پیشنیاز ۱منطق مرتبه اول
پیشنیاز ۲جبر ۱ (مبانی جبر): جبر مجرد (ساختارهای جبری)
تعداد جلسات۱۰ جلسه
مدت هر جلسه۹۰ دقیقه
تعداد دانشجویان۶ تا ۱۲ نفر
هزینه ثبت نام۱۲۵ هزار تومان

کلاس‌های گروه علوم کامپیوتر

منطق جدید (منطق کامپیوتر به معنای خاص)

  • وارسی‌گر مدل: منطق‌های زمان
  • اثبات خودکار: منطق گزاره‌های کلاسیک، منطق موجهات، منطق شهودی و منطق خطی
  • درستی‌یابی نرم‌افزار: منطق هوار و منطق پویا

منطق و برنامه‌نویسی

  • درستی‌یابی نرم‌افزار
  • برنامه نویسی منطقی
  • معناشناسی صوری
  • توصیف صوری نرم‌افزار

منطق و محاسبه

  • نظریه پیچیدگی
  • محاسبات منطقی
  • نظریه محاسبه
  • منطق محاسباتی
  • نظریه بازگشت

منطق و هوش مصنوعی

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

عامر آمیخته
عامر آمیختهمدیر آموزشگاه و استاد گروه فلسفه
منطق فلسفی (کلاسیک، توسعه یافته و غیرکلاسیک)
دکتری منطق فلسفی – تربیت مدرس – ۹۹
کارشناس ارشد منطق فلسفی – تربیت مدرس – ۹۳
کارشناس ریاضی محض – ۹۰
سید احمد میرصانعی
سید احمد میرصانعیاستاد گروه فلسفه
منطق فلسفی (کلاسیک، توسعه یافته و غیرکلاسیک)، منطق تطبیقی، منطق قدیم و تاریخ منطق، فلسفه منطق و فلسفه محض
دانشجوی دکتری منطق فلسفی – تربیت مدرس – ورودی ۹۸
مدرس دانشگاه از سال ۱۳۹۰
کارشناس ارشد منطق فلسفی – تربیت مدرس – ۹۰
کارشناس فلسفه – ۸۶
مرجان مظفری
مرجان مظفریمدیر فنی آموزشگاه
کارشناس ارشد کشاوری ۹۳
مدیر فروش و مدیر بخش پشتیبانی شرکت «ریسمان تجارت ایرانیان»
امیر حسین بهادری
امیر حسین بهادریاستاد گروه فلسفه
منطق فلسفی (موجهات، معرفت، خلاف واقع، چندارزشی، ربط) – فلسفه منطق – منطق قدیم
دانشجوی دکتری منطق فلسفی – اصفهان – ورودی ۹۸
کارشناس ارشد فلسفه علم – اصفهان – ۹۲
کارشناس مهندسی الکترونیک – ۸۹
مهدیه نوری
مهدیه نوریاستاد گروه ریاضی
جبر مجرد – جبر جهانی – نظریه مدل – منطق جبری (جبر هیتینگ، نظریه مشبکه) – هندسه جبری
دانشجوی دکتری منطق ریاضی – تبریز – ورودی ۹۴
کارشناس ارشد توپولوژی – ارومیه – ۸۸
کارشناس ریاضی محض – ۸۶
محمد ظفری
محمد ظفریاستاد گروه فلسفه
منطق موجهات و فلسفه منطق
دانشجوی ارشد منطق فلسفی – علامه – ورودی ۹۸
کارشناس زبان عربی ۹۸

رفتن به بالا