Kanıt

Dersler

1. Ders 1 · 7:38

   "Bitti" kanıt değildir

   Öğrettiği beceri: Bitti cümlesi yerine dört başlıklı kanıt paketi istemek

   Modelin bitti demesi bir iddiadır; kanıt, çalıştırılan komutun kayda geçen çıktısıdır. Modelin yazdığı bir işlev on iki örnekle çalıştırılarak sözün göstermediği eksik bulunur ve test, ölçüm, ekran görüntüsü, kayıt türleriyle dört başlıklı kanıt paketi tanıtılır.

2. Ders 2 · 8:22

   Üreten ve denetleyen

   Öğrettiği beceri: İşi temiz bağlamda denetletip bulguları çalıştırarak sınamak

   İşi yapan çağrı kendi işini denetlemez; aynı kod temiz bağlamda, kusur arama göreviyle ikinci bir çağrıya verilir. Denetleyenin bulguları da çalıştırılarak sınanır ve başarılı görünen ama yapılmamış işin üç örüntüsü ile bunları yakalayan kontroller gösterilir.

3. Ders 3 · 7:02

   Bileşik hata hesabı

   Öğrettiği beceri: Zincir doğruluğunu hesaplayıp kontrolün yerini seçmek

   Çok adımlı işte adım doğrulukları toplanmaz, çarpılır; tek tek iyi adımlardan düşük bir sonuç çıkabilir. Bu bileşik hata bir tablo ve bir aktarma denemesiyle gösterilir, ardından adımlar arasına konan kontrolün sonucu nasıl değiştirdiği ve nereye yerleştirileceği anlatılır.

4. Ders 4 · 7:07

   Kendi değerlendirme seti

   Öğrettiği beceri: On örnekli ölçüm kümesiyle iki istemi sayıyla karşılaştırmak

   Tek örnek, bir istem değişikliğinin gerçekten daha iyi olup olmadığını söylemez. Mesajdan tarih çıkarma işi için örnek kümesi, koşturucu ve puanlayıcıdan oluşan bir ölçüm kurulur; iki istem aynı örneklerde puanlanır ve kümenin nasıl büyütüleceği anlatılır.

5. Ders 5 · 6:59

   Orvant'ı söküp bakmak

   Öğrettiği beceri: Bir kabul düzeneğini parçalarına ayırıp kabul kâğıdı yazmak

   Açık kaynak Orvant projesinin belgeleri üzerinden kabul kararının dört parçası incelenir: kabul komutu, bağımsız denetim, yazma kapsamı ve makbuz. Denetimin de bir sağlam, bir bozuk örnekle sınandığı küçük betiklerle gösterilir ve iş başlamadan doldurulan kabul kâğıdı tanıtılır.