مشغولیت این روزهای من...
🧠 مبانی منطق در علوم کامپیوتر
وقتی از علوم کامپیوتر صحبت میکنیم، معمولاً به برنامهنویسی، الگوریتمها و دادهها فکر میکنیم؛ اما در پشت بسیاری از این مفاهیم، یک ابزار بنیادی قرار دارد: منطق.
در این درس با زبان دقیقتری برای بیان و بررسی استدلالها آشنا میشویم. از منطق گزارهای و قواعد استنتاج شروع میکنیم و به معناشناسی، فرمهای نرمال و SAT میرسیم. سپس منطق محمولات و Prolog را بررسی میکنیم و در ادامه سراغ نظریه مجموعهها و نقش آن در ساخت اعداد طبیعی، صحیح، گویا و حقیقی میرویم.
در پایان نیز با مجموعههای نامتناهی، اعداد اصلی و ترتیبی و خوشترتیبی آشنا خواهیم شد.
هدف این درس فقط یادگیری چند نماد و قاعده نیست؛ میخواهیم ببینیم چگونه میتوان دقیقتر فکر کرد، استدلالها را به زبان صوری بیان کرد و اعتبار آنها را بررسی کرد.
🎓 امیدوارم در پایان، منطق را نه فقط یک درس دانشگاهی، بلکه یکی از ابزارهای بنیادی تفکر در علوم کامپیوتر ببینیم.
@MathBridge
August 14, 2026 104
