Mathematical logic
ตรรกะทางคณิตศาสตร์
อ่าน 1 นาทีหลักฐานของความเป็นไปไม่ได้
Mathematical logicในทางคณิตศาสตร์ทฤษฎีบทที่เป็นไปไม่ได้คือทฤษฎีบทที่แสดงให้เห็นว่าปัญหาหรือชุดปัญหาทั่วไปไม่สามารถแก้ไขได้
อ่าน 1 นาทีพื้นฐานของคณิตศาสตร์
CS1: long volume valueรากฐานของคณิตศาสตร์คือ กรอบ ตรรกะและคณิตศาสตร์ที่ช่วยให้การพัฒนาคณิตศาสตร์เกิดขึ้นได้โดยไม่ก่อให้เกิดทฤษฎีที่ขัดแย้งในตัวเองและเพื่อให้มีแนวคิดที่เชื่อถือได้เกี่ยวกับทฤษฎีบทการ...
อ่าน 1 นาทีบทพิสูจน์แนวทแยง
Lemmasในตรรกศาสตร์ทางคณิตศาสตร์บทพิสูจน์แนวทแยง (หรือที่รู้จักกันในชื่อบทพิสูจน์การทำให้เป็นแนวทแยงบทพิสูจน์การอ้างอิงตนเองหรือทฤษฎีบทจุดตรึง ) พิสูจน์การมีอยู่ของ ประโยค...
อ่าน 1 นาทีความจริงที่ว่างเปล่า
Informal fallaciesในคณิตศาสตร์และตรรกศาสตร์ความจริงที่ว่างเปล่าคือประโยคเงื่อนไขหรือ ประโยค สากล (โดยเฉพาะประโยคสากลที่สามารถแปลงเป็นประโยคเงื่อนไขได้) ที่เป็นจริงเพราะเงื่อนไขไม่สามารถเป็นจริงได้..
อ่าน 1 นาทีตามตัวอักษร (ตรรกศาสตร์ทางคณิตศาสตร์)
Logic symbolsในตรรกศาสตร์ทางคณิตศาสตร์ตัวอักษรคือสูตรอะตอม (เรียกอีกอย่างว่าอะตอมหรือสูตรเฉพาะ) หรือการปฏิเสธ ของมัน คำจำกัดความส่วนใหญ่ปรากฏในทฤษฎีการพิสูจน์ ( ของตรรกศาสตร์คลาสสิก ) เช่น...
อ่าน 1 นาทีโครงสร้างย่อย (คณิตศาสตร์)
Mathematical logicในตรรกศาสตร์ทางคณิตศาสตร์โครงสร้างย่อย ( หรือพีชคณิตย่อย ) ที่ เหนี่ยวนำ ขึ้นคือโครงสร้างที่มีโดเมนเป็นเซตย่อยของโดเมนของโครงสร้างที่ใหญ่กว่า...
อ่าน 1 นาทีความหมายเชิงค่าความจริง
Mathematical logicในความหมายเชิงรูปธรรมความหมายเชิงค่าความจริงเป็นทางเลือกแทนความหมายแบบทาร์สเกียนโดยได้รับการสนับสนุนหลักจากรูธ บาร์แคน มาร์คัส เอช. เลอบลอง และเจ.
อ่าน 1 นาทีโครงสร้าง (ตรรกศาสตร์ทางคณิตศาสตร์)
Mathematical logicในพีชคณิตสากลและในทฤษฎีแบบจำลองโครงสร้างประกอบด้วยเซตพร้อมกับชุดของ การดำเนินการ และความสัมพันธ์แบบจำกัดที่ถูกกำหนดไว้บนเซต นั้น
คลังข้อมูลสำหรับตรรกศาสตร์ทางคณิตศาสตร์
1950 establishments in West Germanyวารสาร Archive for Mathematical Logicเป็นวารสารคณิตศาสตร์ที่ผ่านการตรวจสอบโดยผู้ทรงคุณวุฒิ จัดพิมพ์โดย Springer Science+Business Mediaก่อตั้งขึ้นในปี 1950...
อ่าน 1 นาทีการคำนวณอย่างเป็นทางการ
Mathematical logicในตรรกศาสตร์ทางคณิตศาสตร์การคำนวณเชิงรูปแบบหรือการดำเนินการเชิงรูปแบบคือ การคำนวณทางคณิตศาสตร์ประเภทหนึ่ง ซึ่งมักเกี่ยวข้องกับอนุกรมกำลังที่ดำเนินการโดยใช้พีชคณิตล้วนๆ...
อ่าน 1 นาทีทฤษฎีบทโลเวนไฮม์-สโกเลม
CS1: long volume valueในตรรกศาสตร์ทางคณิตศาสตร์ทฤษฎีบทโลเวนไฮม์-สโกเล็มเป็นทฤษฎีบทเกี่ยวกับการมีอยู่และจำนวนของแบบจำลองซึ่งตั้งชื่อตามเลโอโปลด์ โลเวนไฮม์และโธรัล์ฟ สโกเล็ม
อ่าน 1 นาทีการแบ่งชั้น (คณิตศาสตร์)
Mathematical logicในตรรกศาสตร์ทางคณิตศาสตร์การแบ่งชั้น (stratification)คือ การกำหนดตัวเลขให้กับ สัญลักษณ์ภาค แสดง อย่างสอดคล้องกัน ซึ่งรับประกันว่า มี การตีความเชิง รูปธรรมที่ไม่ซ้ำกัน...
อ่าน 1 นาทีการพิสูจน์ทางคณิตศาสตร์
CS1 German-language sources (de)การพิสูจน์ทางคณิตศาสตร์คือการให้เหตุผลแบบนิรนัย สำหรับข้อความทางคณิตศาสตร์โดยแสดงให้เห็นว่าสมมติฐานที่ระบุไว้รับประกันข้อสรุปอย่างมีเหตุผล การให้เหตุผลอาจใช้ข้อความอื่น ๆ...
อ่าน 1 นาทีป้ายกำกับศูนย์กลาง
Graph algorithmsในวิทยาการคอมพิวเตอร์ป้ายกำกับฮับหรืออัลกอริทึมการติดป้ายกำกับฮับเป็น เทคนิค การเร่งความเร็วที่ใช้ทรัพยากรน้อยกว่าตารางค้นหา มาก
อ่าน 1 นาทีEntscheidungsproblem
CS1 German-language sources (de)ในคณิตศาสตร์และวิทยาศาสตร์คอมพิวเตอร์ปัญหาการตัดสินใจ ( Entscheidungsproblem หรือ 'decision problem' ในภาษาเยอรมันออกเสียงว่า ) เป็นความท้าทายที่David HilbertและWilhelm Ackermann..
อ่าน 1 นาทีความสัมพันธ์แบบจำกัด
Mathematical logicในทางคณิตศาสตร์ความสัมพันธ์จำกัดเหนือลำดับของเซตX 1 , ..., X nคือเซตย่อยของผลคูณคาร์ทีเซียนX 1 × ...
ลำดับเหตุการณ์ของตรรกศาสตร์ทางคณิตศาสตร์
History of mathematicsลำดับเหตุการณ์ของตรรกศาสตร์ทางคณิตศาสตร์ดูเพิ่มเติมที่ประวัติศาสตร์ของตรรกศาสตร์
อ่าน 1 นาทีการเขียนใหม่
Formal languagesในคณิตศาสตร์ภาษาศาสตร์วิทยาการคอมพิวเตอร์และตรรกศาสตร์การเขียนใหม่ครอบคลุมวิธีการที่หลากหลายในการแทนที่พจน์ย่อยของสูตรด้วยพจน์อื่น วิธีการดังกล่าวอาจทำได้โดยระบบการเขียนใหม่
อ่าน 1 นาทีการเหนี่ยวนำทางคณิตศาสตร์
CS1 French-language sources (fr)การอุปมานทางคณิตศาสตร์เป็นวิธีการพิสูจน์ว่าข้อความหนึ่งเป็นจริงสำหรับจำนวนธรรมชาติ ทุกจำนวน กล่าวคือ พิสูจน์ได้ว่ากรณีต่างๆ ที่ มีอยู่มากมายนับไม่ถ้วนนั้นเป็นจริงทั้งหมด...
อ่าน 1 นาทีการนับ
Applied mathematicsการนับเป็นกระบวนการกำหนดจำนวนองค์ประกอบของเซตจำกัด ของวัตถุ กล่าวคือ การกำหนดขนาดของเซต วิธีการนับแบบดั้งเดิมประกอบด้วยการเพิ่มค่าตัวนับ (ในใจหรือพูดออกมา)...
อ่าน 1 นาทีรายชื่อระบบสัจพจน์ในตรรกศาสตร์
All accuracy disputesตรรกศาสตร์เชิงประพจน์ แบบคลาสสิกเป็นตรรกศาสตร์เชิงประพจน์มาตรฐาน ความหมายที่ตั้งใจไว้เป็นแบบทวิภาคและคุณสมบัติหลักของมันคือความสมบูรณ์อย่างเข้มแข็งกล่าวอีกนัยหนึ่งคือ...
อ่าน 1 นาทีความสัมพันธ์แบบผกผัน
Binary relationsในทางคณิตศาสตร์ความสัมพันธ์ ผกผัน ของความสัมพันธ์ทวิภาคคือความสัมพันธ์ที่เกิดขึ้นเมื่อสลับลำดับขององค์ประกอบในความสัมพันธ์นั้น ตัวอย่างเช่น ความสัมพันธ์ผกผันของความสัมพันธ์...
อ่าน 1 นาทีความสามารถในการลดทอนการนับ
CS1 maint: multiple names: authors listในทฤษฎีความสามารถในการคำนวณการลดรูปเชิงการแจงนับ (หรือe-reducibilityสำหรับเรียกสั้นๆ) เป็นการลด รูปประเภทเฉพาะอย่างหนึ่ง กล่าวโดยคร่าวๆAสามารถลดรูปเชิงการแจงนับไปเป็นB...
อ่าน 1 นาทีฟินิตี้
Mathematical logicในทางคณิตศาสตร์และตรรกศาสตร์การดำเนินการ ใดๆ เรียก ว่า การดำเนินการแบบ จำกัด(finitary operation ) หาก มี จำนวนค่าป้อนเข้าจำกัด ในทำนองเดียวกัน การดำเนินการ แบบอนันต์ (infinitary...