TAG

ทฤษฎีการคำนวณ

บทความที่เกี่ยวข้องกับ “ทฤษฎีการคำนวณ” ทั้งหมด 6 บทความ

01ทฤษฎีการคำนวณ

ทฤษฎีการคำนวณ

ฟังก์ชันรีเคอร์ซีฟแบบดั้งเดิม

ฟังก์ชันรีเคอร์ซีฟแบบดั้งเดิม ในทฤษฎีการคำนวณ (Computability Theory) ฟังก์ชันรีเคอร์ซีฟแบบดั้งเดิม (Primitive Recursive Function) คือฟังก์ชันที่สามารถคำนวณได้ด้วยโปรแกรมคอมพิวเตอร์ที่ใช้ลูปแบบ "for" เท่านั้น ซึ่งหมายความอ่านต่อ →
02วิทยาการคอมพิวเตอร์

ทฤษฎีการคำนวณ

จอห์น ฮอพครอฟต์ บิดาแห่งทฤษฎีการคำนวณและอัลกอริทึมสมัยใหม่

จอห์น ฮอพครอฟต์: บิดาแห่งทฤษฎีการคำนวณและอัลกอริทึมสมัยใหม่ จอห์น เอ็ดเวิร์ด ฮอพครอฟต์ (John Edward Hopcroft เกิดวันที่ 7 ตุลาคม ค.ศ. 1939) เป็นนักวิทยาศาสตร์คอมพิวเตอร์ทฤษฎีชาวอเมริกันที่มีชื่อเสียงระดับโลก ผลงานของเขามอ่านต่อ →
03วิทยาการคอมพิวเตอร์

ทฤษฎีการคำนวณ

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

เครื่องจักรทัวริง: แบบจำลองทางคณิตศาสตร์รากฐานของคอมพิวเตอร์ เครื่องจักรทัวริง (Turing Machine) คือแบบจำลองทางคณิตศาสตร์ของการคำนวณที่ใช้อธิบายการทำงานของเครื่องจักรนามธรรม ซึ่งทำหน้าที่จัดการสัญลักษณ์บนแถบเทปตามตารางกฎทอ่านต่อ →
04ทฤษฎีความซับซ้อนในการคำนวณ

ทฤษฎีการคำนวณ

PSPACE คืออะไร? ทำความเข้าใจคลาสความซับซ้อนของพื้นที่หน่วยความจำ

PSPACE คืออะไร? ในทฤษฎีความซับซ้อนในการคำนวณ (Computational Complexity Theory) PSPACE คือเซตของปัญหาการตัดสินใจ (Decision Problems) ทั้งหมดที่สามารถแก้ไขได้โดยใช้เครื่องจักรทัวริง (Turing machine) โดยใช้พื้นที่หน่วยความจอ่านต่อ →
05นักคณิตศาสตร์◌

ทฤษฎีการคำนวณ

จอห์น ไมฮิลล์

จอห์น ไมฮิลล์ จอห์น อาร์. ไมฮิลล์ (John R. Myhill) (11 สิงหาคม ค.ศ. 1923 – 15 กุมภาพันธ์ ค.ศ. 1987) เป็นนักคณิตศาสตร์ชาวอังกฤษผู้มีบทบาทสำคัญในการวางรากฐานด้านตรรกศาสตร์คณิตศาสตร์ ทฤษฎีการคำนวณ และทฤษฎีภาษาทางการ ผลงานขออ่านต่อ →
06Cognitive Science✦

ทฤษฎีการคำนวณ

Physical Symbol System ระบบสัญลักษณ์ทางกายภาพและปัญญาประดิษฐ์

Physical Symbol System (ระบบสัญลักษณ์ทางกายภาพ) Physical Symbol System (PSS) หรือระบบสัญลักษณ์ทางกายภาพ คือระบบที่นำรูปแบบทางกายภาพ (สัญลักษณ์) มาผสมผสานกันเป็นโครงสร้าง (นิพจน์) และจัดการกับสัญลักษณ์เหล่านั้น (โดยใช้กระอ่านต่อ →