How general is it? Is it based on e

How general is it? Is it based on empirical data, on a formal semantics, on mathematical principles? How formal is it—a qualitative model that provides design guidance may be as valuable as a mathematical model of some aspect of correctness, but they will have to satisfy different standards of proof. Will the model scale up to problems of size appropriate to its domain?

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

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

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

วิธีทั่วไปมันคืออะไร? มันขึ้นอยู่กับข้อมูลเชิงประจักษ์ในความหมายอย่างเป็นทางการบนหลักการทางคณิตศาสตร์? วิธีอย่างเป็นทางการมันเป็นรูปแบบที่มีคุณภาพที่ให้คำแนะนำการออกแบบอาจจะมีคุณค่าเช่นแบบจำลองทางคณิตศาสตร์ของแง่มุมของความถูกต้องบางอย่าง แต่พวกเขาจะมีเพื่อตอบสนองมาตรฐานที่แตกต่างกันของการพิสูจน์ รูปแบบจะไต่ขึ้นไปสู่​​ปัญหาของขนาดที่เหมาะสมกับโดเมนของตนหรือไม่

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

วิธีการทั่วไปเป็น มันขึ้นอยู่กับข้อมูลเชิงประจักษ์ในอรรถศาสตร์ บนหลักการทางคณิตศาสตร์ ? มันเชิงคุณภาพแบบที่มีแนวทางการออกแบบเป็นวิธีที่เป็นทางการอาจจะเป็นคุณค่าเป็นแบบจำลองทางคณิตศาสตร์บางด้านของความถูกต้อง แต่พวกเขาจะต้องเป็นไปตามมาตรฐานที่แตกต่างกันของการพิสูจน์ จะแบบขยายปัญหาขนาดเหมาะสมกับโดเมนของ