Now we’re going to prove a theorem

Now we’re going to prove a theorem about chicken tournaments. The result is not
very useful, but the proof involves both induction and digraphs, two of the most common
mathematical tools in computer science.

ผลลัพธ์ (ไทย) 1:

ตอนนี้ เรากำลังจะพิสูจน์ทฤษฎีบทเกี่ยวกับแข่งขันไก่ ไม่มีผลมีประโยชน์มาก แต่หลักฐานเกี่ยวข้องกับการเหนี่ยวนำและ digraphs สองบ่อยที่สุดเครื่องมือทางคณิตศาสตร์ในวิทยาการคอมพิวเตอร์

ผลลัพธ์ (ไทย) 2:

ตอนนี้เรากำลังจะพิสูจน์ทฤษฎีบทเกี่ยวกับทัวร์นาเมนต์ไก่ ผลที่ได้คือไม่ได้
ประโยชน์มาก แต่หลักฐานที่เกี่ยวข้องกับการเหนี่ยวนำทั้งในและ digraphs สองที่พบมากที่สุด
เครื่องมือทางคณิตศาสตร์วิทยาศาสตร์คอมพิวเตอร์

ผลลัพธ์ (ไทย) 3:

ตอนนี้เรากำลังจะพิสูจน์ทฤษฎีบทเกี่ยวกับการแข่งขันไก่ ผลที่ได้คือไม่ได้
มีประโยชน์มาก แต่หลักฐานที่เกี่ยวข้องกับทั้ง Induction และธรรมจักร สองที่พบบ่อยที่สุด
เครื่องมือทางคณิตศาสตร์วิทยาศาสตร์คอมพิวเตอร์