[Ringkasan Kuliah IF5152-Analisis Algoritma]: Pembuktian Kebenaran Algoritma, Live @ 7607

Postingan ini merupakan ringkasan kuliah yang diambil secara  ‘live’ di ruang kuliah 7607 Labtek V, Informatika ITB, oleh Pak Rila Mandala.  B-) Semoga bisa kyk gini lagi di kuliah2 berikutnya *itupun kalo dibolehin oleh dosennya* :p Pembuktian Kebenaran Algoritma Pembuktian kebenaran algoritma tidak dapat dilakukan secara eksperimental. Maksudnya adalah kita tidak dapat mengklaim bahwa algoritma [...]