کتاب صوتی برنامهنویسی تابعیـمنطقی: از مبانی اعلامی تا موتورهای جستوجوی قیدمند
🎓 دوره آموزشی جامع
📚 اطلاعات دوره
عنوان دوره: دوره برنامهنویسی تابعیـمنطقی: از مبانی اعلامی تا موتورهای جستوجوی قیدمند
موضوع کلی: برنامهنویسی چندپارادایمی
موضوع میانی: تلفیق برنامهنویسی تابعی و منطقی
📋 سرفصل‌های دوره
- 1. جایگاه برنامهنویسی تابعیـمنطقی در پارادایم‌های اعلامی
- 2. مقایسهٔ محاسبات تابعی، منطقی و دستوری
- 3. عبارات، معادلات و روابط به‌عنوان واحد‌های برنامه
- 4. نحو، معنا و اجرای برنامه‌های اعلامی
- 5. ارزیابی ارزش‌ها، عبارت‌ها و اثرها
- 6. بازگشت و استقرای ساختاری
- 7. الگوسازی و تجزیهٔ داده‌ها
- 8. انواع دادهٔ جبری
- 9. توابع مرتبه‌بالا
- 10. خلوص، شفافیت ارجاعی و مدیریت اثرها
- 11. متغیرهای منطقی و مجهول‌های محاسباتی
- 12. یکپارچه‌سازی و همسان‌سازی
- 13. رزولوشن و استنتاج منطقی
- 14. بازگشت به عقب و محاسبات نامعین
- 15. روابط دوطرفه و وارون‌پذیری
- 16. قواعد بازنویسی اصطلاح
- 17. باریک‌سازی و پیوند توابع با جست‌وجو
- 18. راهبردهای باریک‌سازی
- 19. کامل‌بودن و همگرایی در باریک‌سازی
- 20. ارزیابی تنبل در برنامه‌های تابعیـمنطقی
- 21. اشتراک‌گذاری و ارزیابی نیازمندی
- 22. انتخاب در زمان فراخوانی و انتخاب در زمان اجرا
- 23. ترکیب الگوسازی با یکپارچه‌سازی
- 24. توابع با متغیرهای منطقی
- 25. قیود ساختاری و معادلات نمادین
- 26. برنامهنویسی با قید
- 27. قیود دامنهٔ متناهی
- 28. قواعد پردازش قید
- 29. جدول‌بندی و جلوگیری از محاسبات تکراری
- 30. جبر جست‌وجو و نمایش جواب‌ها
- 31. کنترل عمق، هزینه و ترتیب جست‌وجو
- 32. قطع‌کردن، هرس و بهینه‌سازی جست‌وجو
- 33. موندها برای ترکیب اثرها
- 34. موناد لیست و محاسبهٔ نامعین
- 35. مونادهای منطقی و تولید جواب
- 36. ادامه‌ها و جستوجوی کنترل‌شده
- 37. سیستم‌های اثر و انواع
- 38. کلاس‌های نوع و چندریختی
- 39. انواع وابسته در مدل‌سازی قیود
- 40. استنتاج نوع، اثبات و اعتبارسنجی
- 41. زبان Curry و مدل اجرایی آن
- 42. Haskell در نقش میزبان منطق
- 43. Prolog در نقش میزبان تابع
- 44. Mercury و تایپ‌پذیری قوی
- 45. λProlog و برنامهنویسی منطقی مرتبه‌بالا
- 46. miniKanren و منطق رابطهای تعبیه‌شده
- 47. طراحی زبان تابعیـمنطقی
- 48. نحو و سیستم نوع زبان میزبان
- 49. ماشین انتزاعی برای اجرای برنامه‌های ترکیبی
- 50. ترجمهٔ توابع به روابط
- 51. ترجمهٔ روابط به توابع نامعین
- 52. یکپارچه‌سازی موتورهای Haskell و Prolog
- 53. رابطهای Foreign Function
- 54. ماژول‌بندی، کتابخانه‌ها و مرزهای پارادایم
- 55. برنامه‌سازی رابطهای
- 56. مفسرهای رابطهای
- 57. تولید برنامه و سنتز از قیود
- 58. محاسبهٔ معکوس توابع
- 59. اجرای نمادین
- 60. حل مسئله با الگوی تولید و آزمون
- 61. برنامه‌ریزی اعلامی
- 62. پایگاه دانش و استنتاج
- 63. زبان‌های دامنه‌خاص ترکیبی
- 64. تجزیهٔ اعلامی
- 65. تبدیل برنامه و بهینه‌سازی
- 66. استدلال معادله‌ای و اثبات درستی
- 67. آزمون مبتنی بر ویژگی
- 68. دیباگینگ اعلامی و ردیابی جست‌وجو
- 69. پروفایل‌گیری عملکرد و مصرف حافظه
- 70. پروژهٔ پایانی: ساخت موتور حل مسئلهٔ تابعیـمنطقی
برای آموختن، همیشه لازم نیست بخوانید
گاهی بهترین فرصت یادگیری زمانی است که در مسیر رفت‌وآمد هستید، قدم می‌زنید، استراحت می‌کنید یا کارهای روزمره‌تان را انجام می‌دهید. محتوای صوتی کمک می‌کند از این لحظه‌ها برای شنیدن، اندیشیدن و آشنایی با موضوعات تازه بهره ببرید.
◷
یادگیری در دل روزمرگی
از زمان رفت‌وآمد، پیاده‌روی یا استراحت برای شنیدن محتوای مفید استفاده کنید؛ بدون آنکه همیشه به کتاب چاپی یا صفحه نمایش نیاز داشته باشید.
◎
تجربه‌ای شنیداری و دلنشین
با روایت صوتی، توضیحات گفتاری و فضای شنیداری هر محتوا همراه شوید و متناسب با سلیقه خود، شیوه تازه‌ای برای دریافت مطالب تجربه کنید.
✦
گسترش دانش و دیدگاه
با موضوعات متنوع آشنا شوید، ایده‌های تازه کشف کنید و فرصت بیشتری برای یادگیری مستمر و پرورش کنجکاوی خود بسازید.
♫
همراه با سبک زندگی شما
محتوای صوتی را متناسب با برنامه روزانه خود انتخاب کنید و در زمان مناسب، شنیدن را به بخشی از عادت‌های شخصی‌تان تبدیل کنید.
کتاب صوتی یا پادکست؟
کتاب صوتی
راهی برای همراه شدن با محتوای یک کتاب از طریق شنیدن. بسته به اثر، می‌توانید داستان‌ها، آموزش‌ها، مفاهیم تخصصی یا مطالب کاربردی را در قالب روایت و بیان صوتی دنبال کنید.
مناسب برای شنیدن و مرور محتوای کتاب‌ها
پادکست آموزشی
فرصتی برای دنبال کردن موضوعات مشخص در قالب گفت‌وگو، روایت، توضیح آموزشی یا مجموعه‌ای از قسمت‌های صوتی؛ مناسب برای کشف ایده‌ها و آشنایی با دیدگاه‌های گوناگون.
مناسب برای یادگیری موضوعی و شنیدن دیدگاه‌های تازه
هر جا که هستید، شنیدن را آغاز کنید
با دستگاه مناسب خود، محتوای صوتی را به آسانی دنبال کنید.
▯
گوشی هوشمند
اندروید و آیفون
▣
تبلت
برای شنیدن و دنبال کردن محتوا
▤
رایانه و لپ‌تاپ
با پخش‌کننده صوتی سازگار
♫
هدفون و بلندگو
برای شنیدن متناسب با محیط
چطور از تجربه شنیدن بیشتر بهره ببریم؟
✦ زمان مناسبی برای شنیدن انتخاب کنید؛ زمانی که بتوانید با آرامش به محتوا توجه داشته باشید.
✦ برای مطالب آموزشی، نکته‌های مهم را یادداشت کنید یا پس از پایان شنیدن، آن‌ها را مرور کنید.
✦ اگر محتوا طولانی است، آن را در چند نوبت دنبال کنید تا فرصت بیشتری برای درک و مرور داشته باشید.
✦ هنگام رانندگی یا انجام کارهای نیازمند تمرکز، ایمنی را در اولویت قرار دهید و از شیوه شنیدنی استفاده کنید که حواس شما را مختل نکند.
هر شنیدن، فرصتی برای کشف است
با کتاب‌های صوتی و پادکست‌های آموزشی، دنیای تازه‌ای از ایده‌ها، روایت‌ها و آموختنی‌ها را به لحظه‌های خود اضافه کنید.
express24.ir
امکانات پخش، ادامه شنیدن و دسترسی آفلاین به نوع فایل، دستگاه و نرم‌افزار مورد استفاده بستگی دارد.
تگ‌ها:
Constraint Programming
Curry
Declarative Programming
Functional Logic Programming
Functional Programming
Haskell
Logic Programming
miniKanren
Narrowing
Nondeterminism
Prolog
Unification
برنامهنویسی تابعی
برنامهنویسی تابعیـمنطقی
برنامهنویسی منطقی
نظرات
هنوز نظری ثبت نشده است.
وارد شوید تا نظر ثبت کنید.