The Flight Plan * This Documentatio

The Flight Plan
* This Documentation
* What is ACL2?
* Mathematical Logic
* Mechanical Theorem Proving
* Mathematical Models in General
* Mathematical Models of Computing Machines
Formalizing Models
Running Models
Symbolic Execution of Models
Proving Theorems about Models
* Requirements of ACL2
The User's Skills
Training
Host System

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

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

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

แผนเที่ยวบิน
* เอกสารนี้
* ACL2 คืออะไร?
* * * * ลอจิกคณิตศาสตร์
*
วิศวกรรมทฤษฎีบทพิสูจน์รุ่นคณิตศาสตร์* ทั่วไป
* คณิตศาสตร์คอมพิวเตอร์เครื่องอย่างเป็นทางการรุ่นวิ่งรุ่นExecution สัญลักษณ์ของรุ่นพิสูจน์ทฤษฎีบทเกี่ยวกับรุ่น* ความต้องการของ ACL2 ทักษะของผู้ใช้การฝึกอบรมโฮสต์ระบบ

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

แผนการบิน
*
* acl2 เอกสารคืออะไร ?

* * คณิตศาสตร์ตรรกศาสตร์การพิสูจน์ทฤษฎีบททางคณิตศาสตร์แบบทั่วไป

* * แบบจำลองทางคณิตศาสตร์ของคอมพิวเตอร์เครื่อง formalizing รุ่น


ใช้รูปแบบสัญลักษณ์การการพิสูจน์ทฤษฎีบทเกี่ยวกับโมเดลโมเดล

* ความต้องการของผู้ใช้ acl2


ระบบโฮสต์การฝึกทักษะ