حلقه منطق on Clubhouse
Description
Logic is the study of the methods and principles used to distinguish correct from incorrect reasoning
منطق مطالعه‌ی آن روش‌ها و اصول است که در تمیز استدلال (دلیل‌آوری) صحیح از استدلال غلط بکار می‌رود.
دعوت به همکاری: اگر دانش‌آموخته‌ی منطق هستید، بسیار خوشحال می‌شویم که در این کلاب، اتاق برگزار کنید.
فایل‌های کلاب را از اینجا دانلود کنید:
https://plink.ir/acUqq
منطق علم استدلال (reasoning) است که مباحث آن با سه رویکرد فلسفی، ریاضی و علوم کامپیوتری دنبال می‌شود:
1️⃣ منطق در رشته‌ی فلسفه
🟢 فلسفه
⏺ فلسفه منطق
⏺ فلسفه زبان
⏺ فلسفه ریاضی
⏺ فلسفه تحلیلی
🟢 منطق صوری
⏺ منطق جدید (منطق فلسفی به معنای خاص)
- منطق کلاسیک: گزاره‌ها، محمولات مرتبه اول، محمولات مرتبه دوم و بالاتر
- منطق‌های نیمه‌کلاسیک (توسعه یافته): موجهات، زمان، معرفت، تکلیف، پویا، شرطی و …
- منطق‌های غیرکلاسیک (غیراستاندارد): شهودی، آزاد، ربط، چندارزشی، فازی، کوانتوم، خطی و …
⏺ منطق قدیم
- منطق ارسطویی
- منطق رواقی-مگاری
- منطق سینوی
⏺ تاریخ منطق
⏺ منطق تطبیقی
🟢 منطق غیرصوری (منطق کاربردی)
⏺ تفکر انتقادی
⏺ مغالطات
⏺ روش‌شناسی
2️⃣ منطق در رشته‌ی ریاضی
🟢 جبر
⏺ منطق جبری
- ساختارهای جبری منطقی
- نظریه مشبکه
- جبرهای استلزامی
- منطق جبری مجرد
⏺ جبر مجرد
- جبر جامع
- ساختارهای جبری
⏺ نظریه رسته‌ها و توپوس
🟢 منطق جدید (منطق ریاضی به معنای اخص)
⏺ منطق کلاسیک
⏺ منطق موجهات
⏺ منطق‌های غیرکلاسیک: شهودی، چندارزشی و فازی
🟢 شاخه‌های اصلی منطق ریاضی
⏺ نظریه برهان
⏺ نظریه محاسبه‌پذیری (نظریه بازگشت)
⏺ نظریه مدل
⏺ نظریه مجموعه‌ها
3️⃣ منطق در رشته‌ی علوم کامپیوتر
🟢 منطق جدید (منطق کامپیوتر به معنای خاص)
⏺ وارسی‌گر مدل: منطق‌های زمان
⏺ اثبات خودکار: منطق گزاره‌های کلاسیک، منطق موجهات، منطق شهودی و منطق خطی
⏺ درستی‌یابی نرم‌افزار: منطق هوار و منطق پویا
🟢 منطق و برنامه‌نویسی
⏺ درستی‌یابی نرم‌افزار
⏺ برنامه نویسی منطقی
⏺ معناشناسی صوری
⏺ توصیف صوری نرم‌افزار
🟢 منطق و محاسبه
⏺ نظریه پیچیدگی
⏺ محاسبات منطقی
⏺ نظریه محاسبه
⏺ منطق محاسباتی
⏺ نظریه بازگشت
🟢 منطق و هوش مصنوعی
صبر داشته باشید.: با توجه به اینکه مباحث کلاب معمولا تخصصی یا فلسفی یا آموزشی هست نیاز است مباحث واکاوی شود و بسیار اتفاق میوفتد که صحبت تنها بین چند نفر می‌چرخد. بنابراین کلاب ویژه بیان نظرات نیست. پس صبور باشید.
Last 30 Records
| Day | Members | Gain | % Gain |
|---|---|---|---|
| March 25, 2024 | 1,268 | +24 | +2.0% |
| February 04, 2024 | 1,244 | +72 | +6.2% |
| December 21, 2023 | 1,172 | +10 | +0.9% |
| November 09, 2023 | 1,162 | -2 | -0.2% |
| October 10, 2023 | 1,164 | -1 | -0.1% |
| September 10, 2023 | 1,165 | 0 | 0.0% |
| August 12, 2023 | 1,165 | -2 | -0.2% |
| July 11, 2023 | 1,167 | +2 | +0.2% |
| June 17, 2023 | 1,165 | -35 | -3.0% |
| December 24, 2022 | 1,200 | +100 | +9.1% |
| July 12, 2022 | 1,100 | +100 | +10.0% |
| July 06, 2022 | 1,000 | -200 | -16.7% |
| June 29, 2022 | 1,200 | +100 | +9.1% |
| May 07, 2022 | 1,100 | +100 | +10.0% |
| April 17, 2022 | 1,000 | +10 | +1.1% |
| April 10, 2022 | 990 | +22 | +2.3% |
| April 03, 2022 | 968 | +18 | +1.9% |
| March 27, 2022 | 950 | +7 | +0.8% |
| March 19, 2022 | 943 | -57 | -5.7% |
| March 11, 2022 | 1,000 | +396 | +65.6% |
| November 24, 2021 | 604 | +42 | +7.5% |
| November 21, 2021 | 562 | +26 | +4.9% |
| November 17, 2021 | 536 | +21 | +4.1% |
| November 12, 2021 | 515 | +5 | +1.0% |
| November 10, 2021 | 510 | +11 | +2.3% |
| November 07, 2021 | 499 | +26 | +5.5% |
| November 01, 2021 | 473 | +16 | +3.6% |
| October 28, 2021 | 457 | +5 | +1.2% |
| October 26, 2021 | 452 | +204 | +82.3% |
| August 23, 2021 | 248 | +1 | +0.5% |
