Image of Logika matematika untuk analisis algoritma

Text

Logika matematika untuk analisis algoritma

Buku 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. Buku ini akan membahas beberapa pokok bahasan seperti berikut ini:
1. Pengantar Algoritma
2. Logika Komputasi
3. Himpunan Bilangan
4. Teknik Dasar Pembuktian Matematika
5. Kebenaran Algoritma Iteratif
6. Kebenaran Algoritma Rekursif
7. Notasi Waktu Asimptotik Algoritma
8. Analisis Kompleksitas Waktu Algoritma Iteratif
9. Analisis Kompleksitas Waktu Algoritma Rekursif
10. Implementasi Algoritma

Ketersediaan
202302115T 511.3 Gun l c.1My LibraryTersedia - No Loan
202302116U 511.3 Gun l c.2My LibraryTersedia
Informasi Detil
Judul Seri
-
No. Panggil
511.3 Gun l
Penerbit
Yogyakarta : Andi.,
Deskripsi Fisik
xiv, 226 hal. : il. ; 23 cm.
Bahasa
Indonesia
ISBN/ISSN
9786230128929
Klasifikasi
511.3
Tipe Isi
-
Tipe Media
-
Tipe Pembawa
-
Edisi
-
Subyek
Logika Matematika
Info Detil Spesifik
-
Pernyataan Tanggungjawab
Versi lain/terkait

Tidak tersedia versi lain

Lampiran Berkas
Komentar
You must be logged in to post a comment