Model theory
ทฤษฎีแบบจำลอง
อ่าน 1 นาทีทฤษฎีแรมซีย์เชิงโครงสร้าง
Category theoryในทางคณิตศาสตร์ทฤษฎีแรมซีย์เชิงโครงสร้างเป็นการ วางนัย ทั่วไปเชิงหมวดหมู่ของทฤษฎีแรมซีย์โดยมีรากฐานมาจากแนวคิดที่ว่าผลลัพธ์ที่สำคัญหลายอย่างของทฤษฎีแรมซีย์มีโครงสร้างเชิงตรรกะที่..
อ่าน 1 นาทีแบบจำลองอะตอม (ตรรกศาสตร์ทางคณิตศาสตร์)
Model theoryในทฤษฎีแบบจำลองซึ่งเป็นสาขาย่อยของตรรกศาสตร์ทางคณิตศาสตร์แบบจำลองอะตอมิกคือแบบจำลองที่ประเภท สมบูรณ์ ของทุกทูเปิล สามารถกำหนดเป็นสัจพจน์ได้ด้วย
อ่าน 1 นาทีทฤษฎีบทแอกซ์-โกรเทนดิค
Model theoryในทางคณิตศาสตร์ทฤษฎีบท Ax–Grothendieckเป็นผลลัพธ์เกี่ยวกับคุณสมบัติการฉีดและการครอบคลุมของพหุนามซึ่งได้รับการพิสูจน์โดยอิสระโดยJames AxและAlexander Grothendieck
อ่าน 1 นาทีทฤษฎีแบบจำลอง
CS1 Spanish-language sources (es)ในตรรกศาสตร์คณิตศาสตร์ทฤษฎีแบบจำลองคือการศึกษาความสัมพันธ์ระหว่างทฤษฎีเชิงรูปธรรม (ชุดประโยคในภาษาเชิงรูปธรรมที่แสดงข้อความเกี่ยวกับโครงสร้างทางคณิตศาสตร์ ) และแบบจำลอง...
อ่าน 1 นาทีตรรกะลำดับที่หนึ่ง
CS1 German-language sources (de)ตรรกศาสตร์ลำดับที่หนึ่งหรือที่เรียกว่าตรรกศาสตร์ภาคแสดงตรรกศาสตร์เชิงปริมาณหรือตรรกศาสตร์เชิงปริมาณ เป็น
อ่าน 1 นาทีไวยากรณ์เชิงแบบจำลอง
Grammarไวยากรณ์เชิงแบบจำลองหรือที่เรียกว่าไวยากรณ์ตามข้อจำกัดแตกต่างจากไวยากรณ์เชิงกำเนิดในวิธีการกำหนดชุดของประโยค
อ่าน 1 นาทีจุดแข็ง (ตรรกศาสตร์ทางคณิตศาสตร์)
Concepts in logicความแข็งแกร่งสัมพัทธ์ของระบบตรรกะเชิงรูปธรรม สองระบบ สามารถกำหนดได้ผ่านทฤษฎีแบบจำลองโดยเฉพาะอย่างยิ่ง ตรรกะหนึ่งจะกล่าวได้ว่าแข็งแกร่งเท่ากับตรรกะอีกระบบหนึ่งหากคลาสพื้นฐาน...
อ่าน 1 นาทีความเท่าเทียมกันขั้นพื้นฐาน
Equivalence (mathematics)ในทฤษฎีแบบจำลองซึ่งเป็นสาขาหนึ่งของตรรกศาสตร์ทางคณิตศาสตร์โครงสร้าง สองแบบMและN ที่มี ลายเซ็นσเดียวกันจะเรียกว่าสมมูลกันโดยพื้นฐาน หาก โครงสร้าง ทั้งสองนั้นสอดคล้องกับ...
อ่าน 1 นาทีทฤษฎีบทโลเวนไฮม์-สโกเลม
CS1: long volume valueในตรรกศาสตร์ทางคณิตศาสตร์ทฤษฎีบทโลเวนไฮม์-สโกเล็มเป็นทฤษฎีบทเกี่ยวกับการมีอยู่และจำนวนของแบบจำลองซึ่งตั้งชื่อตามเลโอโปลด์ โลเวนไฮม์และโธรัล์ฟ สโกเล็ม
อ่าน 1 นาทีสนามเลขชี้กำลัง
Algebraic structuresในทางคณิตศาสตร์ฟิลด์เลขชี้กำลังคือฟิลด์ ที่มี การดำเนินการเอกภาคเพิ่มเติมซึ่งเป็นโฮโมมอร์ฟิซึมจากกลุ่มการบวกของฟิลด์ไปยังกลุ่มการคูณ
อ่าน 1 นาทีโครงสร้าง (ตรรกศาสตร์ทางคณิตศาสตร์)
Mathematical logicในพีชคณิตสากลและในทฤษฎีแบบจำลองโครงสร้างประกอบด้วยเซตพร้อมกับชุดของ การดำเนินการ และความสัมพันธ์แบบจำกัดที่ถูกกำหนดไว้บนเซต นั้น
อ่าน 1 นาทีชั้นเรียนระดับประถมศึกษาแบบนามธรรม
Category theoryในทฤษฎีแบบจำลองซึ่งเป็นสาขาหนึ่งในตรรกศาสตร์ทางคณิตศาสตร์คลาสพื้นฐานนามธรรมหรือAEC โดยย่อ...
อ่าน 1 นาทีทฤษฎีบทความไม่สมบูรณ์ของเกอเดล
Epistemologyทฤษฎีบทความไม่สมบูรณ์ของเกอเดลเป็นทฤษฎีบท สองข้อ ของตรรกศาสตร์คณิตศาสตร์ที่เกี่ยวข้องกับขีดจำกัดของการพิสูจน์ได้ในทฤษฎีสัจพจน์เชิงรูปธรรม ผลลัพธ์เหล่านี้ซึ่งตีพิมพ์โดยเคิร์ท...
อ่าน 1 นาทีการประเมินค่า (ตรรกะ)
Interpretation (philosophy)ในตรรกศาสตร์ทางคณิตศาสตร์ (โดยเฉพาะทฤษฎีแบบจำลอง) การกำหนดค่าความจริง คือ การกำหนดค่าความจริงให้กับประโยคเชิงรูปธรรมที่สอดคล้องกับแบบแผนความจริงการกำหนดค่าความจริงเรียกอีกอย่างว่า.
อ่าน 1 นาทีทฤษฎีแบบจำลองจำกัด
Finite model theoryทฤษฎีแบบจำลองจำกัดเป็นสาขาย่อยของทฤษฎีแบบจำลองทฤษฎีแบบจำลองเป็นสาขาหนึ่งของตรรกศาสตร์ที่ศึกษาความสัมพันธ์ระหว่างภาษาที่เป็นทางการ (ไวยากรณ์) และการตีความ (ความหมาย)
อ่าน 1 นาทีทฤษฎีเชิงหมวดหมู่
Mathematical logicในตรรกศาสตร์ทางคณิตศาสตร์ทฤษฎีจะเรียกว่าเป็นทฤษฎีเชิงหมวดหมู่ได้ก็ ต่อ เมื่อมีแบบจำลอง เพียงแบบเดียว ( โดยคำนึงถึงความเหมือนกัน )...
อ่าน 1 นาทีโครงสร้างย่อย (คณิตศาสตร์)
Mathematical logicในตรรกศาสตร์ทางคณิตศาสตร์โครงสร้างย่อย ( หรือพีชคณิตย่อย ) ที่ เหนี่ยวนำ ขึ้นคือโครงสร้างที่มีโดเมนเป็นเซตย่อยของโดเมนของโครงสร้างที่ใหญ่กว่า...
อ่าน 1 นาทีความมั่นคง
Argumentsในตรรกศาสตร์ความถูกต้องอาจหมายถึงคุณสมบัติของข้อโต้แย้งหรือคุณสมบัติของระบบการอนุมานเชิงรูปธรรมก็ได้
อ่าน 1 นาทีทฤษฎีบทไอโซมอร์ฟิซึมของแคนเตอร์
CS1 French-language sources (fr)ในทฤษฎีลำดับและทฤษฎีแบบจำลองซึ่งเป็นสาขาหนึ่งของคณิตศาสตร์ทฤษฎีบทไอโซมอร์ฟิซึมของแคนเตอร์กล่าวว่าลำดับเชิงเส้นแบบหนาแน่นไม่จำกัด จำนวนที่ไม่ว่างเปล่าและ นับ ได้สองลำดับใดๆ จะเป็น..
อ่าน 1 นาทีแผนภาพ (ตรรกศาสตร์ทางคณิตศาสตร์)
Mathematical logicในทฤษฎีแบบจำลองซึ่งเป็นสาขาหนึ่งของตรรกศาสตร์ทางคณิตศาสตร์แผนภาพของโครงสร้างคือเซตของประโยคที่มีพารามิเตอร์จากโครงสร้างนั้น ซึ่งเป็นจริงในโครงสร้างนั้น โดยอาจใช้สัญลักษณ์ `_` หรือ.
อ่าน 1 นาทีความพึงพอใจที่เท่าเทียมกัน
Concepts in logicในตรรกศาสตร์ทางคณิตศาสตร์ (ซึ่งเป็นหัวข้อย่อยในสาขาตรรกศาสตร์เชิงรูปธรรม ) สูตร สองสูตร จะถือว่าสามารถทำให้เป็นจริงได้เท่า กันก็...
อ่าน 1 นาทีทฤษฎีความกะทัดรัด
Mathematical logicในตรรกศาสตร์ทางคณิตศาสตร์ทฤษฎีบทความกะทัดรัดกล่าวว่าเซตของประโยคลำดับที่หนึ่ง จะมีแบบจำลองได้ก็ต่อเมื่อเซตย่อยจำกัดทุกเซตของประโยคนั้นมีแบบจำลองได้
อ่าน 1 นาทีทฤษฎีที่เสถียร
Model theoryในสาขาคณิตศาสตร์ของทฤษฎีแบบจำลองทฤษฎี จะเรียกว่าเสถียร หากเป็นไปตามข้อจำกัดเชิงการจัดเรียงบางประการเกี่ยวกับความซับซ้อนของมัน ทฤษฎีที่เสถียรมีรากฐานมาจากการพิสูจน์ ทฤษฎีบทความเป็น
อ่าน 1 นาทีทฤษฎี C-มินิมัล
Model theoryในทฤษฎีแบบจำลองซึ่งเป็นสาขาหนึ่งของตรรกศาสตร์ทางคณิตศาสตร์ทฤษฎีC-minimalคือทฤษฎีที่ "น้อยที่สุด" เมื่อเทียบกับความสัมพันธ์ไตรภาคCที่มีคุณสมบัติบางประการฟิลด์ปิดเชิงพีชคณิต ที่มี...