Universal algebra

พีชคณิตสากล

พีชคณิตสากลอ่าน 1 นาที

พีชคณิตสากล

Universal algebra

พีชคณิตสากล (บางครั้งเรียกว่าพีชคณิตทั่วไป ) คือสาขาของคณิตศาสตร์ที่ศึกษาโครงสร้างพีชคณิตโดยทั่วไป ไม่ใช่โครงสร้างพีชคณิตเฉพาะประเภทใดประเภทหนึ่ง ตัวอย่างเช่น...

โครงสร้าง (ตรรกศาสตร์ทางคณิตศาสตร์)อ่าน 1 นาที

โครงสร้าง (ตรรกศาสตร์ทางคณิตศาสตร์)

Mathematical logic

ในพีชคณิตสากลและในทฤษฎีแบบจำลองโครงสร้างประกอบด้วยเซตพร้อมกับชุดของ การดำเนินการ และความสัมพันธ์แบบจำกัดที่ถูกกำหนดไว้บนเซต นั้น

ความสัมพันธ์ที่สอดคล้องกันอ่าน 1 นาที

ความสัมพันธ์ที่สอดคล้องกัน

Abstract algebra

ในพีชคณิตนามธรรมความสัมพันธ์สมมูล (หรือเรียกสั้น ๆ ว่าความสัมพันธ์สมมูล) คือความสัมพันธ์สมมูลบนโครงสร้างพีชคณิต (เช่น กลุ่ม

พีชคณิตกราฟอ่าน 1 นาที

พีชคณิตกราฟ

Graph theory

ในคณิตศาสตร์โดยเฉพาะในสาขาพีชคณิตสากลและทฤษฎีกราฟพีชคณิตกราฟเป็นวิธีหนึ่งในการให้โครงสร้างพีชคณิต แก่ กราฟทิศทาง McNulty และ Shallon...

ผลิตภัณฑ์อัลตร้าอ่าน 1 นาที

ผลิตภัณฑ์อัลตร้า

Mathematical logic

อัลตราโปรดักต์เป็น โครงสร้าง ทางคณิตศาสตร์ที่ปรากฏส่วนใหญ่ในพีชคณิตนามธรรมและตรรกศาสตร์ทางคณิตศาสตร์โดยเฉพาะอย่างยิ่งในทฤษฎีแบบจำลองและทฤษฎีเซตอัลตราโปรดักต์คือเซตผลหารของผลคูณโดยต...

เครื่องกำเนิด (คณิตศาสตร์)อ่าน 1 นาที

เครื่องกำเนิด (คณิตศาสตร์)

Abstract algebra

ในคณิตศาสตร์และฟิสิกส์คำว่าตัวสร้างหรือชุดตัวสร้างอาจหมายถึงแนวคิดที่เกี่ยวข้องกันหลายอย่าง แนวคิดพื้นฐานในแต่ละกรณีคือ ชุดของวัตถุขนาดเล็กกว่า...

ความสัมพันธ์ความคลาดเคลื่อนอ่าน 1 นาที

ความสัมพันธ์ความคลาดเคลื่อน

Approximations

ในพีชคณิตสากลและทฤษฎีแลตทิซความสัมพันธ์ความคลาดเคลื่อนบนโครงสร้างพีชคณิตเป็นความสัมพันธ์สมมาตรแบบสะท้อนกลับ ที่เข้ากันได้กับการดำเนินการทั้งหมดของโครงสร้าง...

คลาสเสมือนพื้นฐานอ่าน 1 นาที

คลาสเสมือนพื้นฐาน

Model theory

ในตรรกศาสตร์คลาสเสมือนพื้นฐาน (pseudoelementary class ) คือคลาสของโครงสร้างที่ได้มาจากคลาสพื้นฐาน (elementary class ) (ซึ่งสามารถนิยามได้ในตรรกศาสตร์อันดับหนึ่ง )...

โครงสร้างย่อย (คณิตศาสตร์)อ่าน 1 นาที

โครงสร้างย่อย (คณิตศาสตร์)

Mathematical logic

ในตรรกศาสตร์ทางคณิตศาสตร์โครงสร้างย่อย ( หรือพีชคณิตย่อย ) ที่ เหนี่ยวนำ ขึ้นคือโครงสร้างที่มีโดเมนเป็นเซตย่อยของโดเมนของโครงสร้างที่ใหญ่กว่า...

อ่าน 1 นาที

เรขาคณิตพีชคณิตสากล

Algebraic geometry

ในเรขาคณิตเชิงพีชคณิตเรขาคณิตเชิงพีชคณิตสากลเป็นการขยายเรขาคณิตของวงแหวนไปสู่เรขาคณิตของพีชคณิตหลากหลายชนิด ใดๆ ดังนั้นพีชคณิตหลากหลายชนิดแต่ละชนิดจึงมีเรขาคณิตเชิงพีชคณิตของตนเอง

พีชคณิตเทอมอ่าน 1 นาที

พีชคณิตเทอม

CS1 maint: multiple names: authors list

ในพีชคณิตสากลและตรรกศาสตร์ทางคณิตศาสตร์พีชคณิตเทอมคือโครงสร้างพีชคณิต ที่สร้างขึ้นอย่างอิสระ เหนือลายเซ็น ที่ กำหนด ตัวอย่างเช่น ในลายเซ็นที่ประกอบด้วยการดำเนินการไบนารี เดียว...

พีชคณิตย่อยอ่าน 1 นาที

พีชคณิตย่อย

Universal algebra

ในทางคณิตศาสตร์สับอัลเจบราคือเซตย่อยของอัลเจบราซึ่งปิดภายใต้การดำเนินการทั้งหมดของอัลเจบรา และรองรับการดำเนินการที่เกิดจากการเหนี่ยวนำ

Post's latticeอ่าน 1 นาที

Post's lattice

Logic

In logic and universal algebra, Post's lattice denotes the lattice of all clones on a two-element set {0, 1}, ordered by inclusion.

อ่าน 1 นาที

โคลน (พีชคณิต)

CS1 German-language sources (de)

ในสาขาคณิตศาสตร์ที่เรียกว่าพีชคณิตสากลโคลนคือเซตC ของการดำเนินการแบบจำกัด บนเซตAโดยที่

อ่าน 1 นาที

ลด

Mathematical relations

ในพีชคณิตสากลและทฤษฎีแบบจำลองการลดรูปของโครงสร้างพีชคณิต ได้มาจากการละเว้น การดำเนินการและความสัมพันธ์บางส่วนของโครงสร้างนั้น สิ่งที่ตรงข้ามกับ "การลดรูป" คือ "การขยาย"

ผู้ดำเนินการปิดอ่าน 1 นาที

ผู้ดำเนินการปิด

Closure operators

ในทางคณิตศาสตร์ตัวดำเนินการปิดบนเซตSคือฟังก์ชันคลี:พี(เอส)→พี(เอส){\displaystyle \operatorname {cl} :{\mathcal {P}}(S)\rightarrow {\mathcal {P}}(S)} จากเซตกำลังของ Sไปยังตัวมันเอง

อาริตี้อ่าน 1 นาที

อาริตี้

Abstract algebra

ในตรรกศาสตร์คณิตศาสตร์และวิทยาการคอมพิวเตอร์ arity ( / ˈ ær ɪ t i / )ⓘ ) คือจำนวนอาร์กิวเมนต์หรือตัวดำเนินการฟังก์ชันการดำเนินการหรือความสัมพันธ์รับในทางคณิตศาสตร์ arity...

ปัญหาพีชคณิตมัธยมปลายของทาร์สกี้อ่าน 1 นาที

ปัญหาพีชคณิตมัธยมปลายของทาร์สกี้

Theorems in the foundations of mathematics

ในตรรกศาสตร์ทางคณิตศาสตร์ปัญหาพีชคณิตระดับมัธยมปลายของทาร์สกีเป็นคำถามที่อัลเฟรด ทาร์สกี ตั้งขึ้น คำถามนี้ถามว่ามีเอกลักษณ์ ใดบ้าง...

ผลหาร (พีชคณิตสากล)อ่าน 1 นาที

ผลหาร (พีชคณิตสากล)

Universal algebra

ในทางคณิตศาสตร์พีชคณิตผลหารคือผลลัพธ์ของการแบ่งองค์ประกอบของโครงสร้างพีชคณิตโดยใช้ความสัมพันธ์สมมูลพีชคณิตผลหารยังเรียกว่าพีชคณิตตัวประกอบในที่นี้...

กลุ่มที่มีผู้ประกอบการอ่าน 1 นาที

กลุ่มที่มีผู้ประกอบการ

Group actions

ในพีชคณิตนามธรรมซึ่งเป็นสาขาหนึ่งของคณิตศาสตร์กลุ่มที่มีตัวดำเนินการหรือกลุ่ม Ω คือโครงสร้างทางพีชคณิตที่สามารถมองได้ว่าเป็นกลุ่มร่วมกับเซต Ω...

ลายเซ็น (ตรรกะ)อ่าน 1 นาที

ลายเซ็น (ตรรกะ)

Mathematical logic

ในตรรกศาสตร์ทางคณิตศาสตร์ลายเซ็นคือคำอธิบายของสัญลักษณ์ที่ไม่ใช่ตรรกะของภาษาที่เป็นทางการในพีชคณิตสากลลายเซ็นจะแสดงรายการการดำเนินการที่บ่งบอกลักษณะโครงสร้างทางพีชคณิตในทฤษฎีแบบจำล...

อ่าน 1 นาที

ผลิตภัณฑ์ทางอ้อม

Universal algebra

ในทางคณิตศาสตร์โดยเฉพาะอย่างยิ่งในสาขาพีชคณิตนามธรรมที่เรียกว่าพีชคณิตสากลทฤษฎีกลุ่มทฤษฎีวงแหวนและทฤษฎีโมดูล ผลคูณ ย่อยโดยตรง (subdirect...

ความหลากหลาย (พีชคณิตสากล)อ่าน 1 นาที

ความหลากหลาย (พีชคณิตสากล)

Universal algebra

ในพีชคณิตสากลวาไรตี้ของพีชคณิตหรือชั้นสมการคือชั้น ของ โครงสร้างพีชคณิตทั้งหมดที่มีลายเซ็น ที่กำหนดให้ ซึ่งสอดคล้องกับชุดเอกลักษณ์ ที่กำหนดให้ ตัวอย่างเช่นกลุ่มต่างๆ ก่อให้เกิด...

อ่าน 1 นาที

พีชคณิตที่ไม่สามารถลดรูปได้โดยตรง

Properties of groups

ในสาขาคณิตศาสตร์ที่เรียกว่าพีชคณิตสากล (และในการประยุกต์ใช้) พีชคณิตที่ไม่สามารถแยกตัวประกอบได้โดยตรง (subdirectly irreducible...