Bài học máy qua góc nhìn của lý thuyết tính toán số 4 có chứng minh bổ đề Sauer (bổ đề 5.2) bằng quy nạp. Tuy nhiên, một chứng minh bằng quy nạp không hay lắm vì nó “giấu” trực quan của chứng minh. Trong bài này, chúng ta sẽ chứng minh bổ đề Sauer [...]
Năm ngoái kỷ niệm CMT10 bằng Улыбка, năm nay kỷ niệm CMT10 bằng Орлёнок. Орлёнок, орлёнок, взлети выше солнца И степи с высот огляди. Навеки умолкли весёлые хлопцы, В живых я остался один. Орлёнок, орлёнок, блесни опереньем, Собою затми белый свет. Не хочется думать о смерти, поверь мне, В шестнадцать мальчишеских лет. Орлёнок, орлёнок, гремучей [...]
Đối với dân máy tính thì câu trả lời đã rõ ràng qua cuộc phỏng vấn sau đây ở Google:
