formalizable proof
การพิสูจน์ที่สามารถทำให้เป็นรูปแบบทางการได้
strictly formalizable
สามารถทำให้เป็นรูปแบบทางการอย่างเคร่งครัด
not formalizable
ไม่สามารถทำให้เป็นรูปแบบทางการได้
fully formalizable
สามารถทำให้เป็นรูปแบบทางการได้อย่างสมบูรณ์
formalizable system
ระบบที่สามารถทำให้เป็นรูปแบบทางการได้
semiformalizable
สามารถทำให้เป็นรูปแบบทางการได้บางส่วน
formalizable logic
ตรรกะที่สามารถทำให้เป็นรูปแบบทางการได้
the committee agreed that the proposal was formalizable into a binding contract.
คณะกรรมาธิการเห็นพ้องว่าข้อเสนอสามารถทำให้เป็นสัญญาที่มีผลบังคับใช้ได้
we must check if these abstract concepts are formalizable within the existing framework.
เราต้องตรวจสอบว่าแนวคิดนามธรรมเหล่านี้สามารถทำให้เป็นรูปธรรมได้ภายใต้กรอบที่มีอยู่
the lawyer determined that the verbal agreement was formalizable in writing.
ทนายความได้สรุปว่าข้อตกลงทางวาจาสามารถทำให้เป็นลายลักษณ์อักษรได้
scientists discussed whether this natural phenomenon is formalizable using mathematical models.
นักวิทยาศาสตร์ได้พูดคุยถึงว่าปรากฏการณ์ธรรมชาตินี้สามารถทำให้เป็นรูปธรรมได้โดยใช้แบบจำลองทางคณิตศาสตร์
the system ensures that every user request is formalizable as a distinct data object.
ระบบจะรับรองว่าคำขอของผู้ใช้ทุกอย่างสามารถทำให้เป็นวัตถุข้อมูลที่แตกต่างกันได้
philosophers debate whether human morality is formalizable through a set of logical rules.
นักปรัชญาถกเถียงกันว่าศีลธรรมของมนุษย์สามารถทำให้เป็นรูปธรรมได้ผ่านชุดกฎเกณฑ์เชิงตรรกะ
the architect explained that the design concept was formalizable into blueprints.
สถาปนิกอธิบายว่าแนวคิดการออกแบบสามารถทำให้เป็นแบบแปลนได้
programmers need to know if the workflow is formalizable via code.
นักเขียนโปรแกรมจำเป็นต้องทราบว่ากระบวนการทำงานสามารถทำให้เป็นรูปธรรมได้ผ่านการเขียนโค้ด
theoretically, every intuition is formalizable given enough data and processing power.
ในทางทฤษฎี ความเข้าใจทุกอย่างสามารถทำให้เป็นรูปธรรมได้หากมีข้อมูลและกำลังประมวลผลเพียงพอ
the audit requires that all informal processes be formalizable for compliance purposes.
การตรวจสอบต้องการให้กระบวนการที่ไม่เป็นทางการทั้งหมดสามารถทำให้เป็นรูปธรรมได้เพื่อความสอดคล้องกับข้อกำหนด
only strictly formalizable arguments will be accepted by the automated theorem prover.
เฉพาะข้อโต้แย้งที่สามารถทำให้เป็นรูปธรรมอย่างเคร่งครัดเท่านั้นที่จะได้รับการยอมรับจากเครื่องพิสูจน์ทฤษฎีอัตโนมัติ
formalizable proof
การพิสูจน์ที่สามารถทำให้เป็นรูปแบบทางการได้
strictly formalizable
สามารถทำให้เป็นรูปแบบทางการอย่างเคร่งครัด
not formalizable
ไม่สามารถทำให้เป็นรูปแบบทางการได้
fully formalizable
สามารถทำให้เป็นรูปแบบทางการได้อย่างสมบูรณ์
formalizable system
ระบบที่สามารถทำให้เป็นรูปแบบทางการได้
semiformalizable
สามารถทำให้เป็นรูปแบบทางการได้บางส่วน
formalizable logic
ตรรกะที่สามารถทำให้เป็นรูปแบบทางการได้
the committee agreed that the proposal was formalizable into a binding contract.
คณะกรรมาธิการเห็นพ้องว่าข้อเสนอสามารถทำให้เป็นสัญญาที่มีผลบังคับใช้ได้
we must check if these abstract concepts are formalizable within the existing framework.
เราต้องตรวจสอบว่าแนวคิดนามธรรมเหล่านี้สามารถทำให้เป็นรูปธรรมได้ภายใต้กรอบที่มีอยู่
the lawyer determined that the verbal agreement was formalizable in writing.
ทนายความได้สรุปว่าข้อตกลงทางวาจาสามารถทำให้เป็นลายลักษณ์อักษรได้
scientists discussed whether this natural phenomenon is formalizable using mathematical models.
นักวิทยาศาสตร์ได้พูดคุยถึงว่าปรากฏการณ์ธรรมชาตินี้สามารถทำให้เป็นรูปธรรมได้โดยใช้แบบจำลองทางคณิตศาสตร์
the system ensures that every user request is formalizable as a distinct data object.
ระบบจะรับรองว่าคำขอของผู้ใช้ทุกอย่างสามารถทำให้เป็นวัตถุข้อมูลที่แตกต่างกันได้
philosophers debate whether human morality is formalizable through a set of logical rules.
นักปรัชญาถกเถียงกันว่าศีลธรรมของมนุษย์สามารถทำให้เป็นรูปธรรมได้ผ่านชุดกฎเกณฑ์เชิงตรรกะ
the architect explained that the design concept was formalizable into blueprints.
สถาปนิกอธิบายว่าแนวคิดการออกแบบสามารถทำให้เป็นแบบแปลนได้
programmers need to know if the workflow is formalizable via code.
นักเขียนโปรแกรมจำเป็นต้องทราบว่ากระบวนการทำงานสามารถทำให้เป็นรูปธรรมได้ผ่านการเขียนโค้ด
theoretically, every intuition is formalizable given enough data and processing power.
ในทางทฤษฎี ความเข้าใจทุกอย่างสามารถทำให้เป็นรูปธรรมได้หากมีข้อมูลและกำลังประมวลผลเพียงพอ
the audit requires that all informal processes be formalizable for compliance purposes.
การตรวจสอบต้องการให้กระบวนการที่ไม่เป็นทางการทั้งหมดสามารถทำให้เป็นรูปธรรมได้เพื่อความสอดคล้องกับข้อกำหนด
only strictly formalizable arguments will be accepted by the automated theorem prover.
เฉพาะข้อโต้แย้งที่สามารถทำให้เป็นรูปธรรมอย่างเคร่งครัดเท่านั้นที่จะได้รับการยอมรับจากเครื่องพิสูจน์ทฤษฎีอัตโนมัติ
Explore frequently searched vocabulary
Want to learn vocabulary more efficiently? Download the DictoGo app and enjoy more vocabulary memorization and review features!
Download DictoGo Now