Lewati ke konten utama
Numekara
Konsultasi GratisKontak

K1 · Modul 01

Algoritma, kebenaran, dan cara mengukur

48 langkah singkat, dari mudah sampai tantangan.

  1. Level 1

    Kenal

  2. Level 2

    Paham

  3. Level 3

    Terapkan

  4. Level 4

    Tantangan

  5. Level 5

    Pendalaman

Intinya

  • Benar dan cukup cepat adalah dua pertanyaan berbeda; keduanya dijawab dengan bukti, bukan perasaan.
  • Spesifikasi = prasyarat + pascasyarat. Satu contoh penyangkal cukup untuk membantah kebenaran.
  • Invarian perulangan dibuktikan dalam tiga bagian (inisialisasi, pemeliharaan, terminasi); berhentinya dibuktikan dengan varian.
  • Kecepatan diukur dengan menghitung langkah operasi dominan, bukan detik. Tes K1 memakai pembungkus Terhitung dan DaftarDihitung untuk itu.

Sebelum mulai

±4 jam.

Modul ini memakai materi di bawah. Belum yakin? Ulas dulu bagian yang disebut.

Hasil belajar: menulis spesifikasi (prasyarat dan pascasyarat); membuktikan perulangan benar dengan invarian dan membuktikan ia berhenti dengan varian; menjelaskan dengan angka kenapa algoritma yang benar bisa terlalu lambat; menghitung langkah tanpa stopwatch, termasuk dengan pembungkus Terhitung dan DaftarDihitung yang dipakai tes sepanjang K1; serta memuat peta Kurir Makmur dan menghitung jarak rute.

Proyek: Kurir Makmur langkah 1: muat_peta dan jarak_rute (kontrak Proyek Kurir §3).

Istilah di modul ini (21)

Ketuk istilah untuk melihat penjelasannya. Di materi, istilah bergaris titik membuka kartu yang sama. Semua istilah course

Bahan modul

Semua kode, latihan, dan data modul ini dalam satu zip, untuk dijalankan di laptop atau Google Colab.

  • 31 contoh kode
  • 9 berkas latihan + tes
  • 1 berkas data
Semua data course (data-k1.zip) Cara menjalankan di laptop
Lihat isi zip
  • BACA-DULU.txt
  • contoh_k1_01_44.py
  • contoh_k1_01_103.py
  • contoh_k1_01_136.py
  • contoh_k1_01_161.py
  • contoh_k1_01_191.py
  • contoh_k1_01_227.py
  • contoh_k1_01_259.py
  • contoh_k1_01_281.py
  • contoh_k1_01_372.py
  • contoh_k1_01_402.py
  • contoh_k1_01_432.py
  • contoh_k1_01_704.py
  • contoh_k1_01_726.py
  • contoh_k1_01_768.py
  • contoh_k1_01_818.py
  • contoh_k1_01_864.py
  • contoh_k1_01_905.py
  • contoh_k1_01_933.py
  • contoh_k1_01_1045.py
  • contoh_k1_01_1074.py
  • contoh_k1_01_1124.py
  • contoh_k1_01_1209.py
  • contoh_k1_01_1246.py
  • contoh_k1_01_1316.py
  • contoh_k1_01_1937.py
  • contoh_k1_01_1974.py
  • contoh_k1_01_1998.py
  • contoh_k1_01_2027.py
  • contoh_k1_01_2451.py
  • contoh_k1_01_2495.py
  • contoh_k1_01_2517.py
  • test_k1_01_1.py
  • test_k1_01_2.py
  • test_k1_01_3.py
  • test_k1_01_4.py
  • test_k1_01_5.py
  • test_k1_01_6.py
  • test_k1_01_7.py
  • test_k1_01_8.py
  • test_k1_01_9.py
  • peta.json