Bài giảng chương 2 trình bày về Chứng minh sự đúng đắn trong thuật toán. Nội dung trình bày cụ thể gồm có: Phân tích thuật toán, kiểm tra tính đúng đắn, chứng minh sự đúng đắn, tiền điều kiện và hậu điều kiện, trạng thái của thuật toán, chú thích thuật toán,... Mời các bạn cùng tham khảo.
! " 1! 78 u l k , != 7r & : % $ ( ! $ ( € K ! = # , 7w /0 + ; # $ ! 1! w ? @7 B , # ,> /j " ' ' $ % $ ( I† % ! ! 78 ! /j " k : ? @ , @77 > % $ ( ]B '4 ' ;2 + , e L LX () ( e &( L (! + : L L ( : *" (! + O > /0 , L > > ;; W= ' ! P P ' , K A P , , + , ;E % P P + T, ?> @ ' ?> / P + / H ! /j " H ! % $ ( K 7B > ( ( !i 7B , > ( ( !i + /0 ! D > @ > p / / H !( b A~ n A ’An S n&S An ’An&S n&S n !> ’An&S n S Q !> D e O ' &Q T D“ !>n “ !>n “ !>n “ EE ) ( I P ’)C“ ]? B @ ’ S )C“ R< ’ S ) &: J 'Œ "q> $ "q> ? " P B &H & % 'Œ "q> R " p 'Œ "q> ?6 " P B &H & % 'Œ "q> R > ( & ! , P l &H & % 'Œ "q>S M " i l , : != > J ! EG * %+ + /0 ! ! &@ D > @ > p / / ?A~ /g N , + /0 ! &@ ?A~B n -4 n 53 ?>B n L > n L n ?>LB – ?>L >L< z< (! P 'Œ "q> S – S ', ?>B • C ?>B n CS z >nC O P 'Œ "q> N2 ! u 7r K > J !( H > @ > / / ! w ?LL< z< (! % P ~ >•≠A • >S ', ?>B •C % ?>B n CS n >S ~ >•≠A S O P NN & X / r '4 O ‡ ' v D > " J r '4 " 78 "q> O : > /0 > P "q> &H & % 'Œ ! 76 8' " " Œ p r '4 H > P , > N5