جلسه ۱۷: الگوریتم Merge Sort، مقدمه ای بر Formal Verification، معرفی گراف

در این جلسه در ادامه ی الگوریتم های بازگشتی الگوریتم Merge Sort را برای مرتب سازی (Sorting) دو لیست نامرتب ارائه دادیم. در ادامه به معرفی روش های اثبات درستی یک برنامه یا یک سخت افزار پرداختیم و Formal Verification یا درستی سنجی صوری را معرفی کردیم و مثال هایی از نرم افزار و سخت افزار برای آن آوردیم. سپس به فصل گراف (Graph) پرداختیم و مقدمه ای از گراف ها و نظریه ی گراف (Graph Theory) گفتیم.

• #تحصیلات_و_یادگیری
• #merge_sort
• #درستی_سنجی_صوری
• #formal_verification
• #گراف
• #برنامه_نویسی_بازگشتی