แม่แบบ:คณิตตรรกศาสตร์
|
---|
ทั่วไป |
- ภาษารูปนัย
- กฎการก่อรูป (Formation rule)
- การพิสูจน์เชิงรูปนัย (Formal proof)
- อรรถศาสตร์รูปนัย (Semantics of logic)
- สูตรที่จัดดีแล้ว (Well-formed formula)
- เซต
- สมาชิก
- ชั้น (Class (set theory))
- ตรรกศาสตร์แบบฉบับ (Classical logic)
- สัจพจน์
- กฏการอนุมาน (Rule of inference)
- ความสัมพันธ์ (Finitary relation)
- ทฤษฎีบท (Theorem)
- ผลพวงเชิงตรรกะ
- ทฤษฎีแบบชนิด (Type theory)
- สัญลักษณ์ (Symbol (formal))
- ไวยกรณ์ (Syntax (logic))
- ทฤษฎี (Theory (mathematical logic))
|
---|
ระบบ |
- ระบบรูปนัย (Formal system)
- ระบบนิรนัย (Deductive system)
- ระบบสัจพจน์ (Axiomatic system)
- ระบบฮิลเบิร์ท (Hilbert system)
- การนิรนัยธรรมชาติ (Natural deduction)
- แคลคูลัสลำดับ (Sequent calculus)
|
---|
ตรรกศาสตร์แบบดั้งเดิม (Term logic) | |
---|
| |
---|
ตรรกศาสตร์ภาคแสดง (Predicate logic) |
- อันดับหนึ่ง (First-order logic)
- ตัวบ่งปริมาณ (Quantifier (logic))
- ภาคแสดง (Predicate (mathematical logic))
- อันดับสอง (Second-order logic)
- แคลคูลัสภาคแสดงเชิงเอกภาค (Monadic predicate calculus)
|
---|
ทฤษฎีเซตสามัญ (Naive set theory) | |
---|
ทฤษฎีเซต |
- รากฐานของคณิตศาสตร์
- ทฤษฎีเซตแซร์เมโล-เฟรนเคิล (Zermelo–Fraenkel set theory)
- สัจพจน์การเลือก (Axiom of choice)
- ทฤษฎีเซตทั่วไป (General set theory)
- ทฤษฎีเซตคริปคี-ปลาเตก (Kripke–Platek set theory)
- ทฤษฎีเซตฟอนนอยมันน์-แบร์ไนส์-เกอเดิล (Von Neumann–Bernays–Gödel set theory)
- ทฤษฎีเซตมอร์ส-เคลลีย์ (Morse–Kelley set theory)
- ทฤษฎีเซตทาร์สกี-โกรเทินดีค (Tarski–Grothendieck set theory)
|
---|
ทฤษฎีตัวแบบ (Model theory) |
- ตัวแบบ (Structure (mathematical logic))
- การตีความ (Interpretation (logic))
- ตัวแบบไม่มาตรฐาน (Non-standard model)
- ทฤษฎีตัวแบบจำกัด (Finite model theory)
- ค่าความจริง
- ความสมเหตุสมผล (ตรรกศาสตร์) (Validity (logic))
|
---|
ทฤษฎีพิสูจน์ (Proof theory) |
- การพิสูจน์เชิงรูปนัย (Formal proof)
- ระบบนิรนัย (Deductive system)
- ระบบรูปนัย (Formal system)
- ทฤษฎีบท (Theorem)
- ผลพวงเชิงตรรกะ
- กฎการอนุมาน (Rule of inference)
- ไวยากรณ์ (ตรรกศาสตร์) (Syntax (logic))
|
---|
ทฤษฎีการคำนวณได้ |
- การเรียกซ้ำ
- เซตเวียนเกิด
- เซตแจงนับได้แบบเวียนเกิด (Recursively enumerable set)
- ปัญหาการตัดสินใจ
- วิทยานิพนธ์เชิร์ช-ทัวริง (Church–Turing thesis)
- ฟังก์ชันคณนาได้ (Computable function)
- ฟังก์ชันเวียนเกิดปฐมฐาน (Primitive recursive function)
|
---|
คู่มือการใช้งานแม่แบบ
การมองเห็นเริ่มต้นของแม่แบบนี้ ปัจจุบันมีค่าเริ่มต้นเป็น autocollapse
หมายความว่า หากมีวัตถุอื่นที่มีคุณลักษณะยุบได้วางอยู่ในหน้า (navbox, sidebar หรือตารางที่ยุบได้) แม่แบบนี้จะถูกซ่อนให้เหลือแต่แถบชื่อเรื่อง หากไม่มี ก็จะสามารถเห็นได้ทั้งหมด
ในการตั้งค่าการมองเห็นเริ่มต้นของแม่แบบนี้ ให้ใช้พารามิเตอร์ |state=
ดังนี้
{คณิตตรรกศาสตร์|state=collapsed}
จะแสดงแม่แบบนี้ในสภาพยุบ กล่าวคือ ถูกซ่อนให้เหลือแต่แถบชื่อเรื่อง
{คณิตตรรกศาสตร์|state=expanded}
จะแสดงแม่แบบนี้ในสภาพขยาย กล่าวคือ สามารถเห็นได้ทั้งหมด
See also
|
---|
ประเภทของตรรกศาสตร์ | |
---|
แม่แบบอื่น |
- สัญลักษณ์ตรรกะทั่วไป (common logical symbols)
- ฟังก์ชันตรรกะ (logic function)
- ตัวดำเนินการตรรกะ (logical connectives)
- ปฏิทรรศน์ตรรกะ (logical paradoxes)
- ความจริงเชิงตรรกะ (logical truth)
- ทฤษฎีเซต (set theory)
- กฏการอนุมาน (transformation rules)
|
---|
|