سلام.. به کانال من خوش اومدین!
اینجا قراره از دنیای علوم کامپیوتر، برنامه‌نویسی، تجربه‌های تدریس، مقالات، کتاب ها، پروژه‌های شخصی خودم و کلی چیز های دیگه بنویسم. 🤗

اگه به چیزایی مثل هوش مصنوعی و شبکه‌های عصبی، الگوریتم ها، زبان‌های برنامه‌نویسی عجیب‌غریب و دنیای برنامه‌نویسی علاقه داری، جای درستی اومدی! 😁

💬 UGCompSci

خب اینجا چی منتظرته؟
✅ نکات آموزشی که شاید توی دانشگاه گفته نمیشن
✅ تجربه‌های روزمره من از کد زدن، یادگیری و تدریس و ...
✅ تحلیل چیزایی که ذهنمو درگیر می‌کنه
✅ یه سری چیزای علمی دیگه که شاید به دردت بخوره!

👀 اولین پست رسمی کانال به زودی...!

💬 UGCompSci

💡 زبان پرولوگ چیه؟
پرولوگ یکی از خاص‌ترین زبان‌های برنامه‌نویسیه که توی هوش مصنوعی و پردازش زبان طبیعی استفاده می‌شه! ولی چطوری کار می‌کنه؟ 🤖🔥

📺 ویدیوی کامل در آپارات :
🔗 پرولوگ - قسمت اول

📢 این فقط قسمت اوله! قسمت‌های بعدی رو از دست نده! 🚀

💬 UGCompSci

سلام؛
سال نو رو به همه‌تون صمیمانه تبریک میگم 🌹
امیدوارم قبل از هرچیزی هرجا که هستید سالم و تندرست و خوشحال باشید ❤️
انشالله سال جدید دیگه توی کد هامون باگی نباشه 😁

💬 UGCompSci

سلام؛
وقتتون بخیر

برای درس "مبانی منطق و نظریه مجموعه‌ها"، پنج پروژه پرولوگ در سه سطح مختلف تعیین شده.
به زودی جزئیات و موضوع پروژه‌ها در اختیارتون قرار داده میشه...

💬 UGCompSci

💡 چطوری پرولوگ رو نصب کنم؟ 
پرولوگ رو با قدرتمندترین نسخه‌ی متن‌باز شروع کن!
نسخه‌ی SWI-Prolog با کتابخانه‌های متعدد، اینترفیس پایتون و جاوا 🐍 

📺  ویدیوی کامل در آپارات :
🔗 پرولوگ - قسمت دوم

📢 قسمت بعدی : آموزش سینتکس پایه و حل مسائل واقعی! 🚀 

💬 UGCompSci

نصب لینوکس - پارت اول
🖥 آموزش نصب VirtualBox

تو این ویدیو ویرچوال‌باکس رو نصب میکنیم.
قدم اول برای نصب لینوکس به صورت مجازی روی سیستمتون! 🚀
توی پارت بعدی Fedora رو روی ویرچوال‌باکس نصب خواهیم کرد. ✅

- حتما از سایت خود ویرچوال‌باکس، نرم‌افزار رو دانلود کنید.
- ممکنه سایت ویرچوال‌باکس تحریم یا فیلتر باشه... پس، از نرم افزار های مناسب استفاده کنید.

💬 UGCompSci

نصب لینوکس - پارت دوم
🖥 نصب فدورا توی VirtualBox

توی این ویدیو فدورا لینوکس رو توی ویرچوال‌باکس نصب میکنیم. 🚀

- فدورای نصب شده، نسخه‌ی KDE - 40 هست.
- بعد از نصب فدورا یه ترفند کوچیک هم توی ویدیو گفتم که قطعا نیاز میشه! 😁

جا داره که همینجا از دوستِ عزیزم که زحمت این تدوین زیبا رو کشید، تشکر کنم. 😊
موفق باشید. ❤️

💬 UGCompSci

سلام؛
وقتتون بخیر

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

بازگشت با نگاهی تازه!

💬 UGCompSci

💡 حقایق (Facts) در پرولوگ چی هستن؟
در پرولوگ، همه چیز با حقایق شروع میشه! 🧩
توی این ویدیو یاد می‌گیرید اطلاعات رو به صورت منطقی برای کامپیوتر تعریف کنید و اولین قدم رو برای حل مسائل منطقی بردارید. 💻

📺  ویدیوی کامل در آپارات :
🔗 پرولوگ - قسمت سوم

📢 قسمت بعدی : قوانین (Rules) و ارتباط دادن حقایق 🚀 

💬 UGCompSci

💡 قوانین در پرولوگ
چطور برنامه‌های هوشمند تصمیم می‌گیرند؟
توی این ویدیو یاد میگیریم چطور میشه با قوانین، دانش جدید تولید کرد و رفتار سیستم رو هدایت کرد. ✔️

📺  ویدیوی کامل در آپارات :
🔗 پرولوگ - قسمت چهارم

📢 قسمت بعدی : روابط بازگشتی و لیست ها 🚀 

💬 UGCompSci

💡 متغیرها و سوالات بهتر در پرولوگ
در قسمت پنجم، با پرس‌وجوهای هوشمند و متغیرها آشنا می‌شیم! کوئری‌ها به ما اجازه می‌دن اطلاعات رو جستجو کنیم و پاسخ بگیریم، در حالی که متغیرها قدرت انعطاف‌پذیری و استنتاج رو به برنامه اضافه می‌کنن...

📺 ویدیوی کامل در آپارات: 
🔗 پرولوگ - قسمت پنجم

📢 قسمت بعدی: بازگشت (Recursion) و روابط بازگشتی 🚀 

💬 UGCompSci

💡 بازگشت، ساختارهای بازگشتی و استنتاج منطقی
در قسمت ششم، بازگشت را بررسی می‌کنیم — مفهومی کلیدی که امکان تعریف ساختارهای تکرارشونده را فراهم می‌کند.
با استفاده از بازگشت، پرولوگ می‌تواند روابط درون داده‌ها را به شکل سلسله‌مراتبی تجزیه کند و به پاسخ کوئری‌ها برسد.

📺 ویدیوی کامل در آپارات:
🔗 پرولوگ - قسمت ششم

📢 قسمت بعدی: معرفی و بررسی لیست ها! 🚀

💬 UGCompSci

سلام به همگی؛
وقتتون بخیر

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

💬 UGCompSci

سلام بچه‌ها؛
امیدوارم حال همتون خوب باشه

این فایل PDF برای مرور و جمع‌بندی قسمت های آخر پرولوگ که بارگذاری شدن هست.
پریدیکیت‌های زیر رو یادآوری کردم :
- member/2
- append/3
- length/2

دو پریدیکیت زیر هم معرفی شدن که قطعا براتون کاربردی هستن :
- nth1/3
- maplist/3


💬 UGCompSci

📜 مقدمه‌ای بر برنامه‌نویسی مبتنی بر قید (CLP)

🧠 این فایل چه چیز هایی رو آموزش میده؟
- معرفی کتابخانه‌ی clpfd و دلیل نیاز به اون
- نحوه فراخوانی و استفاده
- آشنایی با پریدیکیت های اصلی clpfd

💡 برای مسائلی مثل سودوکو یا هشت وزیر این کتابخونه کارتون رو خیلی راحت خواهد کرد.

✅ حتما کد ها رو توی محیط پرولوگ خودتون تست کنید!
موفق باشید!

💬 UGCompSci

📓 Featured Titles for Numerical Analysis
✏ Timothy Sauer

یکی از کامل ترین منابع برای یادگیری آنالیز عددی

🎯 چرا این کتاب؟
• پوشش جامع مباحث آنالیز عددی
• ترکیب مفاهیم تئوری و کاربردهای عملی
• مناسب برای همه‌ی سطوح
• ارائه‌ی الگوریتم‌ها و روش های پیاده‌سازی

💬 UGCompSci