ภาษารูปนัย
แหล่งข้อมูลอื่น

Hazewinkel, Michiel, บ.ก. (2001), "Formal language", Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4
University of Maryland, นิยามภาษารูปนัย เก็บถาวร 2008-02-16 ที่ เวย์แบ็กแมชชีน
James Power, "Notes on Formal Language Theory and Parsing" เก็บถาวร 2007-11-21 ที่ เวย์แบ็กแมชชีน, 29 พฤศจิกายน ค.ศ. 2002.
ฉบับร่างของบทบางบทใน "Handbook of Formal Language Theory", Vol. 1–3, G. Rozenberg and A. Salomaa (eds.), Springer Verlag, (ค.ศ. 1997):
Alexandru Mateescu และ Arto Salomaa, "Preface" in Vol.1, pp. v–viii, and "Formal Languages: An Introduction and a Synopsis", Chapter 1 in Vol. 1, pp.1–39
Sheng Yu, "Regular Languages", Chapter 2 in Vol. 1 เก็บถาวร 2006-05-19 ที่ เวย์แบ็กแมชชีน
Jean-Michel Autebert, Jean Berstel, Luc Boasson, "Context-Free Languages and Push-Down Automata", Chapter 3 in Vol. 1
Christian Choffrut และ Juhani Karhumäki, "Combinatorics of Words", Chapter 6 in Vol. 1
Tero Harju และ Juhani Karhumäki, "Morphisms", Chapter 7 in Vol. 1, pp. 439–510
Jean-Eric Pin, "Syntactic semigroups", Chapter 10 in Vol. 1, pp. 679–746
M. Crochemore และ C. Hancart, "Automata for matching patterns", Chapter 9 in Vol. 2
Dora Giammarresi, Antonio Restivo, "Two-dimensional Languages", Chapter 4 in Vol. 3, pp. 215–267
| ด ค กคณิตตรรกศาสตร์ |
| --- | --- |
ทั่วไป:  ภาษารูปนัย  กฎการก่อรูป (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):  ประพจน์  การอนุมาน  การอ้างเหตุผล (Argument)  ความสมเหตุสมผล (Validity (logic))  ตรรกบท (Syllogism)  จตุรัสแห่งความขัดแย้ง (Square of opposition)  แผนภาพเวนน์ 
แคลคูลัสเชิงประพจน์ และตรรกศาสตร์แบบบูล:  ฟังก์ชันแบบบูล (Boolean function)  แคลคูลัสเชิงประพจน์  สูตรประพจน์ (Propositional formula)  ตัวดำเนินการตรรกะ  ตารางค่าความจริง  ตรรกศาสตร์หลายค่า (Many-valued logic) 
ตรรกศาสตร์ภาคแสดง (Predicate logic):  อันดับหนึ่ง (First-order logic)  ตัวบ่งปริมาณ (Quantifier (logic))  ภาคแสดง (Predicate (mathematical logic))  อันดับสอง (Second-order logic)  แคลคูลัสภาคแสดงเชิงเอกภาค (Monadic predicate calculus) 
ทฤษฎีเซตสามัญ (Naive set theory):  เซต  เซตว่าง  สมาชิก  การแจงนับ (Enumeration)  ภาวะเท่าเทียมภายนอก (Extensionality)  เซตจำกัด  เซตอนันต์ (Infinite set)  เซตย่อย  เซตกำลัง  เซตนับได้  เซตนับไม่ได้ (Uncountable set)  เซตเวียนเกิด (Recursive set)  โดเมน  โคโดเมน  ภาพ (Image (mathematics))  การส่ง (Map (mathematics))  ฟังก์ชัน  ความสัมพันธ์  คู่อันดับ 
ทฤษฎีเซต:  รากฐานของคณิตศาสตร์  ทฤษฎีเซตแซร์เมโล-เฟรนเคิล (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) 
| --- | --- |
ฐานข้อมูลการควบคุมรายการหลักฐาน: ประจำชาติ :  ฝรั่งเศส  BnF data  เยอรมนี  อิสราเอล  สหรัฐ  ญี่ปุ่น  เช็กเกีย 
แผนภาพนี้แสดงถึงการแบ่งหมวดหมู่เชิงวากยสัมพันธ์ภายในระบบรูปนัย สายอักขระ (Strings of symbols) สามารถถูกแบ่งออกได้อย่างกว้าง ๆ เป็นสายอักขระที่ไม่ได้ความกับสูตรที่จัดดีแล้ว (well-formed formula) และเซตของสูตรที่จัดดีแล้วสามารถถูกแบ่งออกเป็นอันที่เป็นทฤษฎีบท (theorem) กับที่ไม่เป็นทฤษฎีบท