theorem | ||
หมวด N | ||
| แปลว่า | ทฤษฎีบท ในการให้คอมพิวเตอร์พิสูจน์ทฤษฎีบทให้ เราจำเป็นต้องสร้างกฎในการพิสูจน์ขึ้นมาก่อน ข้อความที่พิสูจน์แล้วว่าเป็นจริง และใช้ในการอ้างอิงเพื่อพิสูจน์ข้อความอื่นได้ | |
เมนูแนะนำที่น่าสนใจ
รวมทุกอย่างที่เกี่ยวข้องมาให้ค้นหาข้อมูลได้แบบสะดวกสุด
หมวดหมู่ตามตัวอักษร
แยกคำศัพท์ เรียงตามตัวอักษรให้หาง่ายๆ
หมวดหมู่ย่อย
แยกคำศัพท์ ตามประเภท ลักษณะของคำ
พูดคุย
ร่วมให้กำลังใจหรือติชม
