×
۷۵,۰۰۰ تومان تا ۱۶۰ هزار تومان تخفیف

آموزش زبان برنامه نویسی لیسپ (Lisp)

آموزش زبان برنامه نویسی لیسپ (Lisp)

تعداد دانشجو
۴۲ نفر
مدت زمان
۴ ساعت و ۴ دقیقه
هزینه عادی آموزش
۷۵,۰۰۰ تومان
در طرح تخفیف
تا ۱۶۰ هزار تومان تخفیف (کسب اطلاعات بیشتر +)
محتوای این آموزش
تضمین کیفیت
آموزش زبان برنامه نویسی لیسپ (Lisp)

خاصیت زبان‌های تابعی (جبری) در توصیف نرم‌افزار این است که هم برای توصیف استفاده می‌شوند و هم مستقیما قابل اجرا هستند. از زبان‌های تابعی معروف می‌توان به لیسپ (Lisp) اشاره کرد که در این آموزش به همراه مثال‌های مختلف در ویرایشگر LispWorks Personal مورد بحث و بررسی قرار می‌گیرد. در این آموزش به تعریف مساله سیستم ایمنی هواپیمای موجود در کتاب مهندسی نرم‌افزار سامرویل (‌Sommerville) پرداخته شده است و مساله مذکور با استفاده از زبان تابعی لیسپ پیاده‌سازی شده و موارد مربوط به ایمنی در آن بررسی می‌گردد. نحوه عملکرد هر تابع، بیانگر رعایت تمامی موارد ایمنی این مساله با استفاده از مشخصات جبری آن است.

آموزش زبان برنامه نویسی لیسپ (Lisp)

مدت زمان
۴ ساعت و ۴ دقیقه
هزینه عادی آموزش
۷۵,۰۰۰ تومان
در طرح تخفیف
تا ۱۶۰ هزار تومان تخفیف

(کسب اطلاعات بیشتر +)
محتوای این آموزش
مدرس
دکتر شیوا اسدیان فام

دکتری تخصصی مهندسی کامپیوتر - سیستم‌های نرم‌افزاری

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

چکیده آموزش


توضیحات تکمیلی

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

این زبان‌ها در نحو، دقیق بوده ولی در معنا ابهام دارند، به عنوان مثال، زبان UML (Unified Modeling Language) جزو زبان‌های نیمه‌رسمی است و با این وجود، زبان‌های رسمی برای توصیف سیستم‌های حیاتی مورد استفاده قرار می‌گیرند، مانند: نرم‌افزارهای پزشکی، موشکی، ماهواره‌ای، کنترل حریم هوایی، بن‌بست و غیره.

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

خاصیت زبان‌های تابعی (جبری) در توصیف نرم‌افزار این است که هم برای توصیف استفاده می‌شوند و هم مستقیما قابل اجرا هستند. از زبان‌های تابعی معروف می‌توان به لیسپ (Lisp) اشاره کرد که در این آموزش به همراه مثال‌های مختلف در ویرایشگر LispWorks Personal مورد بحث و بررسی قرار می‌گیرد.

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

فهرست سرفصل‌ها و رئوس مطالب مطرح شده در این مجموعه آموزشی، در ادامه آمده است:
  • درس یکم: آشنایی با زبان‌های رسمی و برنامه‌نویسی تابعی
    • مقدمه‌ای از زبان‌های رسمی و نمادین
    • برنامه‌نویسی تابعی
    • ویژگی‌های زبان‌های برنامه‌نویسی تابعی
    • مزایای برنامه‌نویسی تابعی
    • لیسپ به عنوان یکی از زبان‌های برنامه‌نویسی تابعی
    • تاریخچه زبان لیسپ
    • ویژگی‌های زبان لیسپ
    • کاربردهای زبان لیسپ
    • IDE مربوط به زبان لیسپ (ویرایشگر LispWorks Personal)
  • درس دوم: قالب برنامه‌نویسی و انواع داده در Lisp
    • تکنیک‌های جدید
    • فرم
    • ارزیابی
    • انواع داده‌ها
    • نوع داده عددی
    • انجام مثال عملی از نوع داده‌ عددی
    • نوع داده کاراکتری
    • انجام مثال عملی از نوع داده‌ کاراکتری
    • نوع داده منطقی
    • انجام مثال عملی از نوع داده منطقی
    • نوع داده سمبول
    • انجام مثال عملی از نوع داده سمبول
  • درس سوم: اپراتورها و دستورهای زبان لیسپ
    • مروری بر اپراتورهای لیسپ
    • ساخت یک لیست توسط تابع cons
    • انجام مثالی از تابع cons
    • مروری بر توابع cdr و car
    • انجام مثالی از توابع cdr و car
    • تابع null
    • انجام مثالی از تابع null
    • تابع not
    • انجام مثالی از تابع not
    • درستی
    • دستور شرطی
    • اپراتورهای منطقی AND و OR
    • انجام مثالی از دستورهای شرطی و اپراتورهای منطقی در لیسپ
  • درس چهارم: توابع و انواع آن در لیسپ
    • نحوه نوشتن توابع در لیسپ
    • مثالی از توابع در لیسپ به صورت کدنویسی
    • توابع بازگشتی در لیسپ
    • مثالی از توابع بازگشتی در لیسپ به صورت کدنویسی
  • درس پنجم: دستورهای ورودی و خروجی و متغیرها در لیسپ
    • مروری بر ورودی و خروجی با ارائه مثال
    • مرور متغیرها
    • مرور متغیر سراسری
    • مرور ثابت سراسری
    • انتساب
    • انجام مثال عملی متغیرها و انتساب به آن‌ها
  • درس ششم: حلقه‌های تکرار و دیگر توابع مهم در لیسپ
    • تکرار
    • ماکرو
    • توابع به عنوان اشیا
    • تابع apply
    • تابع funcall
    • انجام مثالی از حلقه‌ها در لیسپ
    • لامبدا (Lambda) و مثالی از لامبدا در لیسپ
    • نوع‌ها
    • تابع typep و ارائه مثال
    • پیاده‌سازی الگوریتم پیدا کردن مقسوم‌ علیه‌های یک عدد
  • درس هفتم: مثالی از سیستم کنترل ترافیک هوایی - بخش یکم
    • تعریف مساله سیستم کنترل ترافیک هوایی
    • مشخصات جبری سیستم کنترل ترافیک هوایی
  • درس هشتم: مثالی از سیستم کنترل ترافیک هوایی - بخش دوم
    • بررسی مسائل مربوط به سیستم ایمنی هواپیما
    • پیاده‌سازی سیستم کنترل ترافیک هوایی با زبان لیسپ
    • نرم‌افزار اثبات قضیه ACL2
    • بررسی مساله سیستم کنترل ترافیک هوایی با ACL2

مفید برای رشته‌های
  • مهندسی کامپیوتر - نرم‌افزار
  • هوش مصنوعی
  • مکاترونیک
  • مهندسی صنایع

پیش نیاز


آنچه در این آموزش خواهید دید:

آموزش ویدئویی مورد تائید فرادرس
فایل برنامه ها و پروژه های اجرا شده
فایل PDF یادداشت‌ های ارائه مدرس

نرم افزارهای مرتبط با آموزش

LispWorks Personal 7.1.2




پیش نمایش‌ها

۱. آشنایی با زبان‌های رسمی و برنامه‌نویسی تابعی

توجه: اگر به خاطر سرعت اینترنت، کیفیت نمایش پایین‌تر از کیفیت HD ویدئو اصلی باشد؛ می‌توانید ویدئو را دانلود و مشاهده کنید دانلود پیش‌نمایش - حجم: ۵ مگابایت -- (کلیک کنید +))

۲. قالب برنامه‌نویسی و انواع داده در لیسپ

توجه: اگر به خاطر سرعت اینترنت، کیفیت نمایش پایین‌تر از کیفیت HD ویدئو اصلی باشد؛ می‌توانید ویدئو را دانلود و مشاهده کنید دانلود پیش‌نمایش - حجم: ۵ مگابایت -- (کلیک کنید +))

۳. اپراتورها و دستورهای زبان لیسپ

توجه: اگر به خاطر سرعت اینترنت، کیفیت نمایش پایین‌تر از کیفیت HD ویدئو اصلی باشد؛ می‌توانید ویدئو را دانلود و مشاهده کنید دانلود پیش‌نمایش - حجم: ۶ مگابایت -- (کلیک کنید +))

۴. توابع و انواع آن در لیسپ
مشاهده این پیش‌نمایش، نیازمند عضویت و ورود به سایت (+) است.
۵. دستورهای ورودی و خروجی و متغیرها در لیسپ
مشاهده این پیش‌نمایش، نیازمند عضویت و ورود به سایت (+) است.
۶. حلقه‌های تکرار و دیگر توابع مهم در لیسپ
مشاهده این پیش‌نمایش، نیازمند عضویت و ورود به سایت (+) است.
۷. مثالی از سیستم کنترل ترافیک هوایی - بخش یکم
مشاهده این پیش‌نمایش، نیازمند عضویت و ورود به سایت (+) است.
۸. مثالی از سیستم کنترل ترافیک هوایی - بخش دوم
مشاهده این پیش‌نمایش، نیازمند عضویت و ورود به سایت (+) است.
این آموزش شامل ۹ جلسه ویدئویی با مجموع ۴ ساعت و ۴ دقیقه است.
با تهیه این آموزش، می‌توانید به همه بخش‌ها و جلسات آن، دسترسی داشته باشید.

راهنمای سفارش آموزش‌ها

آیا می دانید که تهیه یک آموزش از فرادرس و شروع یادگیری چقدر ساده است؟

(راهنمایی بیشتر +)

در مورد این آموزش یا نحوه تهیه آن سوالی دارید؟
  • با شماره تلفن واحد مخاطبین ۵۷۹۱۶۰۰۰ (پیش شماره ۰۲۱) تماس بگیرید. - تمام ساعات اداری
  • با ما مکاتبه ایمیلی داشته باشید (این لینک). - میانگین زمان پاسخ دهی: ۳۰ دقیقه


اطلاعات تکمیلی

نام آموزش آموزش زبان برنامه نویسی لیسپ (Lisp)
ناشر فرادرس
شناسه اثر ۸–۱۲۴۵۲–۰۷۸۷۰۲ (ثبت شده در مرکز رسانه‌های دیجیتال وزارت ارشاد)
کد آموزش FVLISP9909
مدت زمان ۴ ساعت و ۴ دقیقه
زبان فارسی
نوع آموزش آموزش ویدئویی (نمایش آنلاین + دانلود)
حجم دانلود ۳۱۱ مگابایت (کیفیت ویدئو HD با فشرده سازی انحصاری فرادرس)


تضمین کیفیت و گارانتی بازگشت هزینه
توجه: کیفیت این آموزش توسط فرادرس تضمین شده است. در صورت عدم رضایت از آموزش، به انتخاب شما:
  • ۱۰۰ درصد مبلغ پرداختی در حساب کاربری شما شارژ می‌شود.
  • و یا ۷۰ درصد مبلغ پرداختی به حساب بانکی شما بازگشت داده می‌شود.





نظرات

تا کنون ۴۲ نفر از این آموزش استفاده کرده اند و هنوز هیچ نظری ثبت نشده است.
برچسب‌ها:
apply Function in Lisp | car Function in Lisp | cdr Function in Lisp | cons Function in Lisp | funcall Function in Lisp | IDE مربوط به زبان لیسپ | Lisp programming languages | LispWorks Personal | LispWorksPersonal Editor | not Function on Lisp | null Function in Lisp | typep Function in Lisp | Unified Modeling Language | آشنایی با زبان‌ های رسمی | آموزش زبان رسمی لیسپ | آموزش لیسپ | آموزش نمادین لیسپ | اپراتور منطقی AND در لیسپ | اپراتور منطقی OR در لیسپ | اپراتورهای زبان لیسپ | اپراتورهای لیسپ | اپراتورهای منطقی در لیسپ | ارزیابی برنامه نویسی لیسپ | انتساب به متغیرها در لیسپ | انواع توابع در لیسپ | انواع داده در لیسپ | انواع داده‌ ها در لیسپ | برنامه نویسی تابعی | پیاده ‌سازی الگوریتم در لیسپ | تابع apply در لیسپ | تابع car در لیسپ | تابع cdr در لیسپ | تابع cons در لیسپ | تابع funcall در لیسپ | تابع not در لیسپ | تابع null در لیسپ | تابع typep در لیسپ | تاریخچه زبان لیسپ | تکنیک‌ های جدید برنامه نویسی لیسپ | توابع بازگشتی در لیسپ | توابع به عنوان اشیا در لیسپ | توابع در لیسپ | توابع مهم در لیسپ | ثابت سراسری در لیسپ | حلقه ‌ها در لیسپ | حلقه‌های تکرار در لیسپ | دستور شرطی در لیسپ | دستورهای خروجی در لیسپ | دستورهای زبان لیسپ | دستورهای ورودی در لیسپ | زبان UML | زبان‌ برنامه ‌نویسی تابعی لیسپ | زبان تابعی لیسپ | زبان ‌های برنامه ‌نویسی تابعی | زبان های تابعی | زبان‌ های رسمی | زبان های نمادین | ساخت سیستم ‌های نرم ‌افزاری | سیستم ایمنی هواپیما در لیسپ | سیستم کنترل ترافیک هوایی با ACL2 | فرم برنامه نویسی لیسپ | قالب برنامه ‌نویسی لیسپ | کاربردهای زبان لیسپ | کدنویسی توابع بازگشتی در لیسپ | کدنویسی توابع در لیسپ | کنترل ترافیک هوایی با لیسپ | لامبدا در لیسپ | ماکرو در لیسپ | متغیر سراسری در لیسپ | متغیرها در لیسپ | مزایای برنامه ‌نویسی تابعی | نحوه نوشتن توابع در لیسپ | نرم‌ افزار اثبات قضیه ACL2 | نوع داده سمبول در لیسپ | نوع داده عددی در لیسپ | نوع داده منطقی در لیسپ | ویرایشگر LispWorks Personal | ویژگی‌ های زبان لیسپ
مشاهده بیشتر مشاهده کمتر

×
فهرست جلسات ۹ جلسه ویدئویی