01374     2200217   4500001002100000005001500021035002000036007000300056008004100059020002200100082001000122084001600132100002300148245005000171250001900221260003000240300003100270520081800301600002201119990001501141INLIS00000000000915220230802022859  a0010-0823000011ta230802                g          0 ind    a978-623-01-2892-9  a511.3  a511.3 PUT l0 aPutu Harry Gunawan1 aLogika Matematika :bUntuk Analisis Algoritma  aEdisi 1, Cet 1  aYogyakarta :bAndi,c2022  axiv, 226 hlm ;c16 x 23 cm  aBuku ini disajikan sangat berbeda dari buku Logika Matematika lainnya yang mungkin sudah pernah Anda baca. Terdapat 3 bagian yang dibahas dalam buku ini. Bagian Matematika yang membahas mengenai logika komputasi sampai dengan metode-metode dalam pembuktian matematika. Bagian Ilmu Komputer atau Informatika akan membahas mengenai analisis algoritma mulai dari membuktikan kebenaran algoritma sampai dengan menganalisis kompleksitas waktu suatu algoritma. Buku ini tidak hanya menjelaskan tentang algoritma dan menganalisisnya secara matematis, tetapi diberikan juga contoh implementasi algoritma dengan menggunakan bahasa pemrograman Python. Tentunya tujuan dari implementasi ini untuk melihat profil kompleksitas waktu algoritma secara komputasi pada komputer dibandingkan dengan hasil analitik secara matematis. 4aLogika Matematika  a11395/AL/P