جلسه ۱۷: الگوریتم Merge Sort، مقدمه ای بر Formal Verification، معرفی گراف
161 بار بازدید -
4 سال پیش
-
در این جلسه در ادامه
در این جلسه در ادامه ی الگوریتم های بازگشتی الگوریتم Merge Sort را برای مرتب سازی (Sorting) دو لیست نامرتب ارائه دادیم. در ادامه به معرفی روش های اثبات درستی یک برنامه یا یک سخت افزار پرداختیم و Formal Verification یا درستی سنجی صوری را معرفی کردیم و مثال هایی از نرم افزار و سخت افزار برای آن آوردیم.
سپس به فصل گراف (Graph) پرداختیم و مقدمه ای از گراف ها و نظریه ی گراف (Graph Theory) گفتیم.
4 سال پیش
در تاریخ 1399/09/11 منتشر شده
است.
161
بـار بازدید شده