seungwon929/Th-miracl huggingface dataset:
ความผิดพลาดทางวากยสัมพันธ์

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

สำหรับภาษาเชิงคอมไพล์ (compiled language) ความผิดพลาดทางวากยสัมพันธ์จะแสดงออกมาเมื่อมีการคอมไพล์โปรแกรมโดยคอมไพเลอร์ และตราบใดที่ความผิดพลาดทางวากยสัมพันธ์ยังไม่ได้แก้ไขก็จะไม่สามารถดำเนินการคอมไพล์โค้ดมาเป็นโปรแกรมได้ แต่สำหรับภาษาเชิงแปลคำสั่ง (interpreted language) ความผิดพลาดทางวากยสัมพันธ์บางอย่างจะแสดงออกมาก็ต่อเมื่อโปรแกรมทำงานจนถึงคำสั่งที่มีปัญหา (run-time)

ในบางบริบท อาจจะตีความ "ความผิดพลาดทางวากยสัมพันธ์" ให้ครอบคลุมไปถึงเรื่องอื่น ๆ นอกจากการเขียนโปรแกรมก็ได้ เช่น เมื่อมีการป้อนคำสั่งเข้าเครื่องคิดเลข หากมีข้อผิดพลาดในข้อมูลนำเข้า เช่น วงเล็บเปิดกับวงเล็บปิดจับคู่กันไม่ถูกต้อง ก็อาจได้รับข้อความเตือนออกมาว่าเกิดความผิดพลาดทางวากยสัมพันธ์

ตัวอย่างโค้ดภาษาซีพลัสพลัส (ตัวอย่างของภาษาเชิงคอมไพล์) ที่มีความผิดพลาดทางวากยสัมพันธ์ เช่น

เมื่อคอมไพล์ จะมีการแจ้งข้อผิดพลาดจากคอมไพเลอร์ว่า

ซึ่งหมายความว่าในบรรทัดที่ 4 มีการจับคู่วงเล็บเปิดและวงเล็บปิดไม่ถูกต้อง
ลอเร็มอิปซัม

ในการพิมพ์และกราฟิกดีไซน์ ข้อความ ลอเร็มอิปซัม () เป็นข้อความแทนที่ (placeholder text) ที่ใช้สำหรับการแสดงลักษณะองค์ประกอบของกราฟิกหรือสื่อนำเสนอ เช่น ฟอนต์ การพิมพ์และการจัดหน้า และเพื่อลดความสนใจต่อข้อความที่นำมาแสดง ข้อความลอเร็มอิปซัมเป็นข้อความส่วนหนึ่งในภาษาละตินที่แต่งโดยซิเซโรโดยมีการตัดต่อคำให้ดูเหมือนเป็นข้อความที่ไม่มีความหมายและไม่ใช่ภาษาละตินที่ถูกต้อง

แม้ว่าข้อความลอเร็มอิปซัมจะก่อให้เกิดข้อสังเกตว่ามีลักษณะเหมือนภาษาละตินคลาสสิก แต่ข้อความดังกล่าวก็หามีเจตนาที่จะมีความหมายไม่ ในเอกสารต่าง ๆ ถ้าข้อความสามารถอ่านได้ บุคคลจะพุ่งความสนใจไปยังข้อความเสียจนไม่สนใจการจัดหน้าและรูปแบบ ดังนี้ผู้พิมพ์จึงใช้ข้อความลอเร็มอิปซัมเพื่อแสดงไทป์เฟซหรือลักษณะการออกแบบ เพื่อให้บุคคลพุ่งความสนใจไปที่รูปแบบการพิมพ์ มิใช่ข้อความ

ตัวอย่างข้อความลอเร็มอิปซัมคือ

บางฉบับของข้อความใช้คำว่า adipisici แทน adipiscing เพราะการใช้อักษรคู่เสียงเดี่ยว ng ท้ายคำเป็นสิ่งที่แปลกในภาษาละตินคลาสสิก บางฉบับมีการเติมข้อความอื่น ๆ ลงไปอีกเพื่อว่าจะได้ไม่ทำให้เกิดกรณีของคำหล่นขอบและต้องขึ้นบรรทัดใหม่ (word-wrap) ซึ่งจะทำให้คำบางคำในข้อความต้องเขียนแยกกันคนละบรรทัด

รูปแบบของข้อความลอเร็มอิปซัมที่ใช้กันทั่วไปมีการใช้งานตั้งแต่ทศวรรษที่ 1960 หรือเร็วกว่านั้น เพื่อใช้เป็นข้อความแทนที่ในระหว่างกระบวนการจัดรูปแบบข้อความ

ข้อความดังกล่าวเป็นข้อความที่ตัดมาจาก ของหนังสือ "De finibus bonorum et malorum" (กรอบของความดีความชั่ว หรือแปลอีกนัยหนึ่งว่า เรื่องของความดีความชั่ว) ซึ่งแต่งโดยซิเซโร โดยข้อความเดิมเขียนว่า Neque porro quisquam est qui dolorem ipsum quia dolor sit amet, consectetur, adipisci velit (เพราะความที่สิ่งนั้นคือความเจ็บปวด จึงจะมีผู้ใดชื่นชอบและปรารถนาจะต้องการก็หาไม่) อย่างไรก็ดีไม่เป็นที่แน่ชัดว่าข้อความรูปแบบปัจจุบันของลอเร็มอิปซัมปรากฏขึ้นเมื่อใด อาจเป็นช่วงทศวรรษที่ 1960 ก็ได้ ต้นฉบับของข้อความนี้ได้รับการค้นพบช่วงก่อนปี 1982 โดยริชาร์ด แม็กคลินท็อก (Richard McClintock) ผู้ศึกษาภาษาละตินและเป็นหัวหน้าฝ่ายพิมพ์ในวิทยาลัยแฮมป์เดน-ซิดนีย์ (Hampden-Sydney Collage) ในเวอร์จิเนีย ซึ่งค้นพบต้นฉบับของข้อความนี้ในขณะที่กำลังหาอ้างอิงของคำภาษาละติน "consectetur" อันไม่ปรากฏมากนักในวรรณกรรมคลาสสิก ต้นฉบับของข้อความลอเร็มอิปซัมที่ปรากฏเป็นรูปร่างจริง ๆ ปรากฏขึ้นในหนังสือ De finibus ฉบับพิมพ์ชุด Loeb Classical Library ในปี 1914 ซึ่งข้อความในหน้า 134 จบที่คำว่า "Neque porro quisquam est qui do-" และในหน้า 136 เริ่มที่คำว่า "lorem ipsum (และเรื่อยไป) ..." ซึ่งชี้ให้เห็นว่า ข้อความอาจได้รับการสลับให้เป็นข้อความที่อ่านไม่ออกแบบที่ใช้เป็นลอเร็มอิปซัมในปัจจุบันมาก่อนหน้านั้นแล้ว และน่าจะใช้เป็นข้อความแทนที่มาก่อนที่แผ่นเลทราเซต (Letraset) ที่พิมพ์ข้อความดังกล่าวจะทำให้ข้อความนี้เป็นที่ใช้งานทั่วไป

ต้นฉบับของข้อความ (โดยเน้นตัวหนาในส่วนที่ตัดเป็นลอเร็มอิปซัม) ปรากฏอยู่ในหนังสือเล่มที่ 1 ส่วนที่ 32-33 เลขหน้าขึ้นอยู่กับสำนักพิมพ์

ข้อความดังกล่าวไม่มีตัวอักษร K และ Z เพราะคำใดที่เป็นภาษากรีกจะใช้ตัวอักษรแบบละตินซึ่งไม่ใช้ตัวอักษรสองตัวนี้ นอกจากนี้ W ก็ไม่ปรากฏเพราะ W ไม่ได้เป็นส่วนหนึ่งของอักษรโรมันคลาสสิก
ในหนังสือฉบับพิมพ์ชุด Loeb Classical Library (1914) H. Rackham ได้แปลข้อความไว้ดังนี้
โฌแซ็ฟ หลุยส์ แก-ลูว์ซัก

โฌแซ็ฟ หลุยส์ แก-ลูว์ซัก (; 6 ธันวาคม 1778 - 9 พ.ค. 1850) เป็นนักเคมีและนักฟิสิกส์ชาวฝรั่งเศส เขาเป็นที่รู้จักในคนส่วนใหญ่สำหรับกฎสองข้อที่เกี่ยวข้องกับก๊าซ และสำหรับผลงานของเขาในส่วนผสมของแอลกอฮอล์กับน้ำ, ซึ่งนำไปสู่​​สเกลองศาแก-ลูว์ซัก ใช้ในการวัดเครื่องดื่มที่มีแอลกอฮอล์ในหลายประเทศ

แก-ลูว์ซักเกิดที่เมืองแซ็ง-เลออนาร์-เดอ-นอบลา (Saint-Léonard-de-Noblat) ซึ่งในปัจจุบันนี้เป็นส่วนหนึ่งของจังหวัดโอต-เวียน (Haute-Vienne)

พ่อของแก-ลูว์ซักชื่ออ็องตอนี แก เป็นลูกชายของแพทย์ ประกอบอาชีพทนายความและอัยการและทำงานเป็นผู้พิพากษาในหอบังคับการเรือแห่งนอบลา (Noblat) เป็นพ่อของลูกชายสองคนและลูกสาวสามคน เขาเป็นเจ้าของที่ดินจำนวนมากของหมู่บ้านลูว์ซัก และมักจะใส่ชื่อของหมู่บ้านเล็ก ๆ แห่งโอต-เวียนนี้ไว้ในชื่อของเขาตามธรรมเนียมในการปกครองระบบโบราณ (Ancien Régime) เข้าสู่ปี 1803 ในที่สุดพ่อและลูกชายได้นำชื่อ แก-ลูว์ซัก มาใช้ ในช่วงระหว่างการปฏิวัติ พ่อของเขาซึ่งเป็นอดีตอัยการของกษัตริย์ได้ถูกคุมขังอยู่ในแซ็ง-เลออนาร์ตั้งแต่ปี 1793-1794 อันเป็นผลมาจากกฎหมายผู้ต้องสงสัย (Law of Suspects)

เขาได้รับการศึกษาเป็นครั้งแรกที่อารามบูร์แด (Bourdeix) ต่อมาเขาได้เริ่มการศึกษาของเขาในปารีส โดยอยู่ในความดูแลของเจ้าอาวาสแห่งดูว์มงแตย์ (Dumonteil) ในที่สุดก็เข้าสู่โรงเรียนสารพัดช่าง (École Polytechnique) ในปี 1798 แก-ลูว์ซักหลีกเลี่ยงจากการเกณฑ์ทหารไปได้อย่างหวุดหวิด และในตอนที่เริ่มเข้าสู่สถาบันสารพัดช่างแห่งนี้ พ่อของเขาก็ได้ถูกจับคุมขัง (โดยน้ำมือของมักซีมีเลียง รอแบ็สปีแยร์ ในช่วงยุคสมัยแห่งความน่าสะพรึงกลัว (Reign of Terror)) สามปีต่อมา เขาได้ย้ายไปศึกษาที่โรงเรียนวิศวกรรมโยธา, และหลังจากนั้นไม่นานก็ได้รับมอบหมายให้ ซิแอร์ เละเบะตูแลร์ (C.L. Berthollet) เป็นผู้ช่วยของเขา ในปี 1802 เขาได้รับแต่งตั้งให้เป็นผู้ทำการทดลองสาธิตให้กับ อองทวน ฟังก์ซัว, คุม เดอ ฟุกควา (A. F. Fourcroy) ที่โรงเรียนสารพัดช่าง ซึ่งในที่สุด (ปี 1809) เขาก็ได้กลายเป็นศาสตราจารย์วิชาเคมี ตั้งแต่ปี 1808-1832 นั้น, เขาก็ได้เป็นศาสตราจารย์ฟิสิกส์ที่มหาวิทยาลัยปารีส (Sorbonne), ตำแหน่งที่เขาลาออกนั้นเพียงเพื่อสำหรับตำแหน่งหัวหน้าของภาควิชาเคมีที่สวนพฤกษศาสตร์ ปารีสเท่านั้น (Jardin des Plantes) ในปี 1821 เขาได้รับเลือกให้เข้าเป็นสมาชิกต่างประเทศของราชบัณฑิตยสถานวิทยาศาสตร์แห่งสวีเดน (Royal Swedish Academy of Sciences) ในปี 1831 เขาได้รับเลือกให้เป็นตัวแทนของจังหวัดโอต-เวียน ในฐานะผู้แทนหอการค้าและในปี 1839 เขาก็ได้เข้ามาอยู่ในสภาขุนนาง

แก-ลูว์ซัก ได้สมรสกับ โยนนีเยฟ-มาฮี-โยเซฟ โคยูว์ (Geneviève-Marie-Joseph Rojot) ในปี 1809 เขาได้พบกับเธอครั้งแรกเมื่อเธอทำงานเป็นผู้ช่วยร้านขายผ้าลินินและกำลังศึกษาตำราเคมีอยู่ภายใต้เคาน์เตอร์
ความผิดพลาดโดยการคลาดเคลื่อนไปหนึ่ง

ความผิดพลาดโดยการคลาดเคลื่อนไปหนึ่ง เป็นความผิดพลาดทางตรรกะในการเขียนโปรแกรม เกิดจากเงื่อนไขในการออกจากวงวนไม่ถูกต้อง ทำให้มีการทำงานในวงวนมากกว่าหรือน้อยกว่าที่ควรจะเป็น 1 ครั้ง ส่วนมากมีสาเหตุจากการที่ใช้เครื่องหมาย "มากกว่า", "มากกว่าหรือเท่ากับ" หรือ "น้อยกว่า", "น้อยกว่าหรือเท่ากับ" สลับกัน นอกจากนี้ความผิดพลาดนี้ยังอาจเกิดขึ้นในการทำงานกับคณิตศาสตร์ได้อีกด้วย

พิจารณาการทำงานในวงวนที่เริ่มต้นจากค่า "m" ไปถึง "n" หากวิเคราะห์ไม่ละเอียดอาจจะได้ว่าจำนวนรอบในการทำงานมีทั้งหมด "n" - "m" รอบ อย่างไรก็ดี คำตอบที่แท้จริงคือ "n" - "m" + 1 รอบ

เริ่มต้น ค่า "i" จะมีค่าเป็น 2 และค่อย ๆ เพิ่มขึ้นไปเรื่อย ๆ เป็น 3 4 5 6 จนกระทั่งมาถึง 7 ก็ยังพบว่ายังเข้าเงื่อนไขที่ "i" < 8 อยู่ ดังนั้นจึงมีการทำงานอีกรอบ จนสุดท้าย "i" = 8 ซึ่งพบว่าไม่เข้าเงื่อนไขแล้วเพราะ "i" ไม่น้อยกว่า 8 แล้ว จึงทำให้วงวนจบลบ การทำงานทั้งหมดจึงเริ่มต้นตั้งแต่ "i" = 2 ... 7 และสุดท้ายมีค่า "i" = 8 ตัวเลขที่ขอบของวงวนทั้งหมดอาจจะเกิดข้อผิดพลาดได้ทุกที่หากไม่ระวัง
พระผู้สร้าง

พระผู้สร้าง () หมายถึง พระเป็นเจ้า (ตามความเชื่อแบบเอกเทวนิยม) หรือเทวดาผู้เป็นใหญ่ (ตามความเชื่อแบบพหุเทวนิยม) ที่มีอำนาจบันดาลให้โลก (ทั้งเอกภพและจักรวาล) เกิดขึ้น

ชาวยิวและคริสต์ศาสนิกชนเชื่อเรื่องตำนานการสร้างโลกตามหนังสือปฐมกาล บทที่ 1 ข้อที่ 1 ที่ระบุว่าพระยาห์เวห์ทรงสร้างฟ้าสวรรค์และแผ่นดินโลกขึ้น และมีพระวจนะก่อให้เกิดสรรพสิ่งต่าง ๆ ทั้ง เวลา พืช สัตว์ มนุษย์ และอมนุษย์ เสร็จภายใน 6 วัน โดยมีลำดับดังนี้
การทรงสร้างนี้เป็นไปอย่างเจาะจง ทุกสิ่งถูกสร้างขึ้นตามชนิดของมันเอง ไม่มีการวิวัฒนาการสายพันธุ์ไปเป็นอย่างอื่น

คริสต์ศาสนิกชนเชื่อต่างจากชาวยิวตรงที่มองว่าการสร้างโลกไม่ได้เกิดจากพระยาห์เวห์เพียงบุคคลเดียว แต่พระตรีเอกภาพอีก 2 พระบุคคล คือ พระบุตรและพระวิญญาณบริสุทธิ์ก็มีส่วนร่วมในการสร้างด้วย เพราะทรงสร้างสรรพสิ่งด้วยพระวจนะ ซึ่งพระวรสารนักบุญยอห์นระบุว่าพระวจนะทรงรับเป็นมนุษย์คือพระเยซู

ศาสนิกชนฮินดูมีพัฒนาการความเชื่อเรื่องตำนานการสร้างโลกมายาวนานดังระบุไว้ในคัมภีร์ต่าง ๆ โดยแต่ละคัมภีร์จะให้ข้อมูลแตกต่างกันไป

คัมภีร์พระเวทระบุว่า พรหมันสร้างน้ำและใส่พีชะลงไป เกิดเป็นหิรัณยครรภ์ พระพรหมอุบัติขึ้นจากครรภ์นี้แล้วสร้างสรรพสิ่งต่อมาจนแล้วเสร็จเป็น 1 วันพระพรหม จากนั้นจึงบรรทมไป จนกระทั่งโลกแตกสลายไปด้วยไฟบรรลัยกัลป์ คงเหลือแต่พรหมฤๅษี เทวดาทั้งหลาย และธาตุทั้ง 5 คือ ดิน น้ำ ไฟ ลม และอากาศ พระพรหมก็ตื่นจากบรรทมแล้วสร้างโลกขึ้นใหม่อีกครั้งแล้วบรรทมอีก จนกระทั่งเกิดไฟบรรลัยกัลป์อีกครั้ง เป็นเช่นนี้จนครบ 100 ปีพระพรหมจะเกิดมหาประลัย คือทุกสรรพสิ่งไม่เว้นแม้แต่พระพรหมจะถูกทำลายหมดสิ้นกลับไปสู่ธาตุดั้งเดิม

ต่อมาได้เกิดความเชื่อเรื่องตรีมูรติขึ้นหลังพุทธศตวรรษที่ 8 โดยถือว่ามหาเทพมี 3 องค์ คือพระพรหม พระวิษณุ และพระศิวะ และเชื่อว่าพระพรหมคือพระผู้สร้างโลก ต่อมาได้เกิดลัทธิไวษณพขึ้น ซึ่งถือเอาพระวิษณุเป็นพระเป็นเจ้าแท้จริงเพียงพระองค์เดียว เป็นผู้สร้างพระพรหม มอบหมายให้ทำหน้าที่สร้างโลก ฝ่ายผู้นับถือพระศิวะก็ได้พัฒนาลัทธิไศวะขึ้นมาเช่นกัน โดยยกย่องพระศิวะเป็นพระเจ้า และถือว่าการที่พระศิวะทำลายล้างโลกก็เพื่อให้เกิดการสร้างสรรค์โลกขึ้นใหม่ ดังนั้นพระศิวะจึงเป็นพระผู้สร้างด้วย

พุทธศาสนิกชนปฏิเสธความเชื่อเรื่องพระผู้สร้าง (อิสสรนิมมานวาท) และถือว่าเป็นความเชื่อนอกรีตพระพุทธศาสนา เกวัฏฏสูตรระบุว่าสัตว์ทั้งหลายแม้แต่เทวดาบนสวรรค์ก็หลงผิดว่ามีพระเจ้า เป็นผู้ประเสริฐและยิ่งใหญ่ที่สุด เป็นมหาพรหม ได้เนรมิตสร้างสิ่งต่าง ๆ และลิขิตสิ่งต่าง ๆ ให้เป็นไปตามอำนาจ แต่เมื่อภิกษุรูปหนึ่งซักถามเรื่องความดับของมหาภูตรูป 4 กับมหาพรหม มหาพรหมนั้นก็ตอบไม่ได้ และที่สุดก็ยอมรับความจริงว่าตนเองไม่ได้รู้จริง แต่พวกเทวดาเข้าใจผิดไปเองว่าตนเป็นพระเจ้า
ยูฟ่าแชมเปียนส์ลีก ฤดูกาล 2012–13 รอบแพ้คัดออก

รอบแพ้คัดออก หรือรอบน็อกเอาต์ ในการแข่งขันยูฟ่าแชมเปียนส์ลีก ฤดูกาล 2012–13 เริ่มแข่งขันในวันที่ 12 กุมภาพันธ์ พ.ศ. 2556 (ค.ศ. 2013) จนถึงวันที่ 25 พฤษภาคม พ.ศ. 2556 (ค.ศ. 2013) ซึ่งเป็นรอบชิงชนะเลิศ โดยแข่งขันกันที่สนามกีฬาเวมบลีย์ในกรุงลอนดอน สหราชอาณาจักร

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

รอบแพ้คัดออกหรือรอบน็อกเอาต์นี้มีทั้งหมด 16 ทีมที่ผ่านเข้ารอบมาจากรอบแบ่งกลุ่ม

โดยแข่งขันกันในระบบเหย้า–เยือน โดยหากประตูรวมทั้ง 2 นัดเท่ากัน นับผลประตูจากการทำประตูในเมื่อเป็นทีมเยือน หากยังเท่ากันอีก ให้ต่อเวลาพิเศษ เป็นเวลา 30 นาที (ครึ่งละ 15 นาที) และหากว่ายังเสมอกันจะมีการยิงลูกโทษที่จุดโทษ เพื่อตัดสินผลแพ้–ชนะ

ในรอบ 16 ทีมสุดท้าย ทีมที่เป็นแชมป์กลุ่มนั้นจะได้เล่นเป็นทีมเหย้าเป็นนัดที่สอง ส่วนทีมรองแชมป์กลุ่มเมื่อจับสลากแล้วจะได้เล่นเป็นทีมเหย้าในนัดแรก

นัดแรกลงทำการแข่งขันในวันที่ 12, 13, 19 และ 20 กุมภาพันธ์ พ.ศ. 2556 และนัดที่สองจะลงทำการแข่งขันในวันที่ 5, 6, 12 และ 13 มีนาคม พ.ศ. 2556

"เรอัลมาดริด ผ่านเข้ารอบด้วยสกอร์รวม 3–2."

"โบรุสเซีย ดอร์ทมุนด์ ผ่านเข้ารอบด้วยสกอร์รวม 5–2."

"ปารีแซ็ง-แฌร์แม็ง ผ่านเข้ารอบด้วยสกอร์รวม 3–2."

"ยูเวนตุส ผ่านเข้ารอบด้วยสกอร์รวม 5–0."

"กาลาตาซาราย ผ่านเข้ารอบด้วยสกอร์รวม 4–3."

"บาร์เซโลนา ผ่านเข้ารอบด้วยสกอร์รวม 4–2."

"มาลากา ผ่านเข้ารอบด้วยสกอร์รวม 2–1."

"3–3 สกอร์รวม 2 นัด. บาเยิร์น มิวนิค ผ่านเข้ารอบด้วยกฏยิงประตูทีมเยือน."

รอบ 8 ทีมสุดท้าย นัดแรก จะลงทำการแข่งขันระหว่างวันที่ 2 และ 3 เมษายน 2013 , และนัดที่ 2 จะลงทำการแข่งขันระหว่างวันที่ 9 และ 10 เมษายน 2013

"โบรุสเซีย ดอร์ทมุนด์ ผ่านเข้ารอบด้วยสกอร์รวม 3–2."

"เรอัลมาดริด ผ่านเข้ารอบด้วยสกอร์รวม 5–3."

"3–3 สกอร์รวม 2 นัด. บาร์เซโลนา ผ่านเข้ารอบด้วยกฏยิงประตูทีมเยือน."

"บาเยิร์น มิวนิก ผ่านเข้ารอบด้วยสกอร์รวม 4–0."

รอบรองชนะเลิศ นัดแรก จะลงทำการแข่งขันระหว่างวันที่ 23 และ 24 เมษายน 2013 , และนัดที่ 2 จะลงทำการแข่งขันระหว่างวันที่ 30 เมษายน และ 1 พฤษภาคม 2013.

"โบรุสเซีย ดอร์ทมุนด์ ผ่านเข้ารอบด้วยสกอร์รวม 4–3."

"บาเยิร์นมิวนิก ผ่านเข้ารอบด้วยสกอร์รวม 7–0."

รอบชิงชนะเลิศ ลงแข่งในวันที่ 25 พฤษภาคม 2013 ที่สนามกีฬาเวมบลีย์ ใน กรุงลอนดอน ประเทศอังกฤษ
ความผิดพลาดทางตรรกะ

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

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

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

สาเหตุโดยทั่วไปเกิดจากการที่ใช้คำสั่งผิดพลาด หรือเข้าใจขั้นตอนวิธีผิด หรือกระทั่งการเลือกขั้นตอนวิธีที่ผิดพลาด
รายนามประธานาธิบดีโซมาเลีย

รายนามประธานาธิบดีแห่งโซมาเลีย ซึ่งรวมไปถึงบุคคลที่ได้รับการยอมรับจากนานาชาติว่าได้ดำรงตำแหน่งด้วย
รายชื่อทางแยกในเขตพญาไท

รายชื่อทางแยกในเขตพญาไท เฉพาะทางแยกสัญญาณไฟจราจร รวมทั้งทางแยกบางแห่งที่ไม่มีสัญญาณไฟจราจรและไม่ใช่ทางแยกต่างระดับ แต่มีชื่อเรียกอย่างเป็นทางการ สำหรับชื่อทางแยกต่างระดับและรายละเอียด ดูที่รายชื่อทางแยกในกรุงเทพมหานคร
รายชื่อทางแยกในเขตหนองจอก

รายชื่อทางแยกในเขตหนองจอก เฉพาะทางแยกสัญญาณไฟจราจร รวมทั้งทางแยกบางแห่งที่ไม่มีสัญญาณไฟจราจรและไม่ใช่ทางแยกต่างระดับ แต่มีชื่อเรียกอย่างเป็นทางการ
รายชื่อทางแยกในเขตสาทร

รายชื่อทางแยกในเขตสาทร เฉพาะทางแยกสัญญาณไฟจราจร รวมทั้งทางแยกบางแห่งที่ไม่มีสัญญาณไฟจราจรและไม่ใช่ทางแยกต่างระดับ แต่มีชื่อเรียกอย่างเป็นทางการ
รายชื่อทางแยกในเขตดินแดง

รายชื่อทางแยกในเขตดินแดง เฉพาะทางแยกสัญญาณไฟจราจร รวมทั้งทางแยกบางแห่งที่ไม่มีสัญญาณไฟจราจรและไม่ใช่ทางแยกต่างระดับ แต่มีชื่อเรียกอย่างเป็นทางการ สำหรับชื่อทางแยกต่างระดับและรายละเอียด ดูที่รายชื่อทางแยกในกรุงเทพมหานคร
รายชื่อทางแยกในเขตป้อมปราบศัตรูพ่าย

รายชื่อทางแยกในเขตป้อมปราบศัตรูพ่าย เฉพาะทางแยกสัญญาณไฟจราจร รวมทั้งทางแยกบางแห่งที่ไม่มีสัญญาณไฟจราจรและไม่ใช่ทางแยกต่างระดับ แต่มีชื่อเรียกอย่างเป็นทางการ
รายชื่อทางแยกในเขตธนบุรี

รายชื่อทางแยกในเขตธนบุรี เฉพาะทางแยกสัญญาณไฟจราจร รวมทั้งทางแยกบางแห่งที่ไม่มีสัญญาณไฟจราจรและไม่ใช่ทางแยกต่างระดับ แต่มีชื่อเรียกอย่างเป็นทางการ สำหรับชื่อทางแยกต่างระดับและรายละเอียด ดูที่รายชื่อทางแยกในกรุงเทพมหานคร
รายชื่อทางแยกในเขตลาดกระบัง

รายชื่อทางแยกในเขตลาดกระบัง เฉพาะทางแยกสัญญาณไฟจราจร รวมทั้งทางแยกบางแห่งที่ไม่มีสัญญาณไฟจราจรและไม่ใช่ทางแยกต่างระดับ แต่มีชื่อเรียกอย่างเป็นทางการ สำหรับชื่อทางแยกต่างระดับและรายละเอียด ดูที่รายชื่อทางแยกในกรุงเทพมหานคร
รายชื่อทางแยกในเขตวัฒนา

รายชื่อทางแยกในเขตวัฒนา เฉพาะทางแยกสัญญาณไฟจราจร รวมทั้งทางแยกบางแห่งที่ไม่มีสัญญาณไฟจราจรและไม่ใช่ทางแยกต่างระดับ แต่มีชื่อเรียกอย่างเป็นทางการ
รายชื่อทางแยกในเขตบางเขน

รายชื่อทางแยกในเขตบางเขน เฉพาะทางแยกสัญญาณไฟจราจร รวมทั้งทางแยกบางแห่งที่ไม่มีสัญญาณไฟจราจรและไม่ใช่ทางแยกต่างระดับ แต่มีชื่อเรียกอย่างเป็นทางการ สำหรับชื่อทางแยกต่างระดับและรายละเอียด ดูที่รายชื่อทางแยกในกรุงเทพมหานคร
รายชื่อทางแยกในเขตบางคอแหลม

รายชื่อทางแยกในเขตบางคอแหลม เฉพาะทางแยกสัญญาณไฟจราจร รวมทั้งทางแยกบางแห่งที่ไม่มีสัญญาณไฟจราจรและไม่ใช่ทางแยกต่างระดับ แต่มีชื่อเรียกอย่างเป็นทางการ สำหรับชื่อทางแยกต่างระดับและรายละเอียด ดูที่รายชื่อทางแยกในกรุงเทพมหานคร
รายชื่อทางแยกในเขตราษฎร์บูรณะ

รายชื่อทางแยกในเขตราษฎร์บูรณะ เฉพาะทางแยกสัญญาณไฟจราจร รวมทั้งทางแยกบางแห่งที่ไม่มีสัญญาณไฟจราจรและไม่ใช่ทางแยกต่างระดับ แต่มีชื่อเรียกอย่างเป็นทางการ สำหรับชื่อทางแยกต่างระดับและรายละเอียด ดูที่รายชื่อทางแยกในกรุงเทพมหานคร
รายชื่อทางแยกในเขตพระโขนง

รายชื่อทางแยกในเขตพระโขนง เฉพาะทางแยกสัญญาณไฟจราจร รวมทั้งทางแยกบางแห่งที่ไม่มีสัญญาณไฟจราจรและไม่ใช่ทางแยกต่างระดับ แต่มีชื่อเรียกอย่างเป็นทางการ สำหรับชื่อทางแยกต่างระดับและรายละเอียด ดูที่รายชื่อทางแยกในกรุงเทพมหานคร
รายชื่อทางแยกในเขตสะพานสูง

รายชื่อทางแยกในเขตสะพานสูง เฉพาะทางแยกสัญญาณไฟจราจร รวมทั้งทางแยกบางแห่งที่ไม่มีสัญญาณไฟจราจรและไม่ใช่ทางแยกต่างระดับ แต่มีชื่อเรียกอย่างเป็นทางการ สำหรับชื่อทางแยกต่างระดับและรายละเอียด ดูที่รายชื่อทางแยกในกรุงเทพมหานคร
รายชื่อทางแยกในเขตยานนาวา

รายชื่อทางแยกในเขตยานนาวา เฉพาะทางแยกสัญญาณไฟจราจร รวมทั้งทางแยกบางแห่งที่ไม่มีสัญญาณไฟจราจรและไม่ใช่ทางแยกต่างระดับ แต่มีชื่อเรียกอย่างเป็นทางการ สำหรับชื่อทางแยกต่างระดับและรายละเอียด ดูที่รายชื่อทางแยกในกรุงเทพมหานคร
รายชื่อทางแยกในเขตบางกอกใหญ่

รายชื่อทางแยกในเขตบางกอกใหญ่ เฉพาะทางแยกสัญญาณไฟจราจร รวมทั้งทางแยกบางแห่งที่ไม่มีสัญญาณไฟจราจรและไม่ใช่ทางแยกต่างระดับ แต่มีชื่อเรียกอย่างเป็นทางการ
รายชื่อทางแยกในเขตคันนายาว

รายชื่อทางแยกในเขตคันนายาว เฉพาะทางแยกสัญญาณไฟจราจร รวมทั้งทางแยกบางแห่งที่ไม่มีสัญญาณไฟจราจรและไม่ใช่ทางแยกต่างระดับ แต่มีชื่อเรียกอย่างเป็นทางการ สำหรับชื่อทางแยกต่างระดับและรายละเอียด ดูที่รายชื่อทางแยกในกรุงเทพมหานคร
รายชื่อทางแยกในเขตหนองแขม

รายชื่อทางแยกในเขตหนองแขม เฉพาะทางแยกสัญญาณไฟจราจร รวมทั้งทางแยกบางแห่งที่ไม่มีสัญญาณไฟจราจรและไม่ใช่ทางแยกต่างระดับ แต่มีชื่อเรียกอย่างเป็นทางการ
รายชื่อทางแยกในเขตจอมทอง

รายชื่อทางแยกในเขตจอมทอง เฉพาะทางแยกสัญญาณไฟจราจร รวมทั้งทางแยกบางแห่งที่ไม่มีสัญญาณไฟจราจรและไม่ใช่ทางแยกต่างระดับ แต่มีชื่อเรียกอย่างเป็นทางการ สำหรับชื่อทางแยกต่างระดับและรายละเอียด ดูที่รายชื่อทางแยกในกรุงเทพมหานคร
รายชื่อทางแยกในเขตบึงกุ่ม

รายชื่อทางแยกในเขตบึงกุ่ม เฉพาะทางแยกสัญญาณไฟจราจร รวมทั้งทางแยกบางแห่งที่ไม่มีสัญญาณไฟจราจรและไม่ใช่ทางแยกต่างระดับ แต่มีชื่อเรียกอย่างเป็นทางการ
รายชื่อทางแยกในเขตทวีวัฒนา

รายชื่อทางแยกในเขตทวีวัฒนา เฉพาะทางแยกสัญญาณไฟจราจร รวมทั้งทางแยกบางแห่งที่ไม่มีสัญญาณไฟจราจรและไม่ใช่ทางแยกต่างระดับ แต่มีชื่อเรียกอย่างเป็นทางการ สำหรับชื่อทางแยกต่างระดับและรายละเอียด ดูที่รายชื่อทางแยกในกรุงเทพมหานคร
รายชื่อทางแยกในเขตบางพลัด

รายชื่อทางแยกในเขตบางพลัด เฉพาะทางแยกสัญญาณไฟจราจร รวมทั้งทางแยกบางแห่งที่ไม่มีสัญญาณไฟจราจรและไม่ใช่ทางแยกต่างระดับ แต่มีชื่อเรียกอย่างเป็นทางการ สำหรับชื่อทางแยกต่างระดับและรายละเอียด ดูที่รายชื่อทางแยกในกรุงเทพมหานคร
รายชื่อทางแยกในเขตทุ่งครุ

รายชื่อทางแยกในเขตทุ่งครุ เฉพาะทางแยกสัญญาณไฟจราจร รวมทั้งทางแยกบางแห่งที่ไม่มีสัญญาณไฟจราจรและไม่ใช่ทางแยกต่างระดับ แต่มีชื่อเรียกอย่างเป็นทางการ
รายชื่อทางแยกในเขตลาดพร้าว

รายชื่อทางแยกในเขตลาดพร้าว เฉพาะทางแยกสัญญาณไฟจราจร รวมทั้งทางแยกบางแห่งที่ไม่มีสัญญาณไฟจราจรและไม่ใช่ทางแยกต่างระดับ แต่มีชื่อเรียกอย่างเป็นทางการ
รายชื่อทางแยกในเขตปทุมวัน

รายชื่อทางแยกในเขตปทุมวัน เฉพาะทางแยกสัญญาณไฟจราจร รวมทั้งทางแยกบางแห่งที่ไม่มีสัญญาณไฟจราจรและไม่ใช่ทางแยกต่างระดับ แต่มีชื่อเรียกอย่างเป็นทางการ
รายชื่อทางแยกในเขตหลักสี่

รายชื่อทางแยกในเขตหลักสี่ เฉพาะทางแยกสัญญาณไฟจราจร รวมทั้งทางแยกบางแห่งที่ไม่มีสัญญาณไฟจราจรและไม่ใช่ทางแยกต่างระดับ แต่มีชื่อเรียกอย่างเป็นทางการ
รายชื่อทางแยกในเขตจตุจักร

รายชื่อทางแยกในเขตจตุจักร เฉพาะทางแยกสัญญาณไฟจราจร รวมทั้งทางแยกบางแห่งที่ไม่มีสัญญาณไฟจราจรและไม่ใช่ทางแยกต่างระดับ แต่มีชื่อเรียกอย่างเป็นทางการ สำหรับชื่อทางแยกต่างระดับและรายละเอียด ดูที่รายชื่อทางแยกในกรุงเทพมหานคร
รายชื่อทางแยกในเขตบางซื่อ

รายชื่อทางแยกในเขตบางซื่อ เฉพาะทางแยกสัญญาณไฟจราจร รวมทั้งทางแยกบางแห่งที่ไม่มีสัญญาณไฟจราจรและไม่ใช่ทางแยกต่างระดับ แต่มีชื่อเรียกอย่างเป็นทางการ
รายชื่อทางแยกในเขตบางแค

รายชื่อทางแยกในเขตบางแค เฉพาะทางแยกสัญญาณไฟจราจร รวมทั้งทางแยกบางแห่งที่ไม่มีสัญญาณไฟจราจรและไม่ใช่ทางแยกต่างระดับ แต่มีชื่อเรียกอย่างเป็นทางการ สำหรับชื่อทางแยกต่างระดับและรายละเอียด ดูที่รายชื่อทางแยกในกรุงเทพมหานคร
รายชื่อทางแยกในเขตสวนหลวง

รายชื่อทางแยกในเขตสวนหลวง เฉพาะทางแยกสัญญาณไฟจราจร รวมทั้งทางแยกบางแห่งที่ไม่มีสัญญาณไฟจราจรและไม่ใช่ทางแยกต่างระดับ แต่มีชื่อเรียกอย่างเป็นทางการ สำหรับชื่อทางแยกต่างระดับและรายละเอียด ดูที่รายชื่อทางแยกในกรุงเทพมหานคร
รายชื่อทางแยกในเขตคลองสามวา

รายชื่อทางแยกในเขตคลองสามวา เฉพาะทางแยกสัญญาณไฟจราจร รวมทั้งทางแยกบางแห่งที่ไม่มีสัญญาณไฟจราจรและไม่ใช่ทางแยกต่างระดับ แต่มีชื่อเรียกอย่างเป็นทางการ สำหรับชื่อทางแยกต่างระดับและรายละเอียด ดูที่รายชื่อทางแยกในกรุงเทพมหานคร
รายชื่อทางแยกในเขตห้วยขวาง

รายชื่อทางแยกในเขตห้วยขวาง เฉพาะทางแยกสัญญาณไฟจราจร รวมทั้งทางแยกบางแห่งที่ไม่มีสัญญาณไฟจราจรและไม่ใช่ทางแยกต่างระดับ แต่มีชื่อเรียกอย่างเป็นทางการ สำหรับชื่อทางแยกต่างระดับและรายละเอียด ดูที่รายชื่อทางแยกในกรุงเทพมหานคร
รายชื่อทางแยกในเขตสายไหม

รายชื่อทางแยกในเขตสายไหม เฉพาะทางแยกสัญญาณไฟจราจร รวมทั้งทางแยกบางแห่งที่ไม่มีสัญญาณไฟจราจรและไม่ใช่ทางแยกต่างระดับ แต่มีชื่อเรียกอย่างเป็นทางการ สำหรับชื่อทางแยกต่างระดับและรายละเอียด ดูที่รายชื่อทางแยกในกรุงเทพมหานคร
รายชื่อทางแยกในเขตคลองสาน

รายชื่อทางแยกในเขตคลองสาน เฉพาะทางแยกสัญญาณไฟจราจร รวมทั้งทางแยกบางแห่งที่ไม่มีสัญญาณไฟจราจรและไม่ใช่ทางแยกต่างระดับ แต่มีชื่อเรียกอย่างเป็นทางการ
รายชื่อทางแยกในเขตมีนบุรี

รายชื่อทางแยกในเขตมีนบุรี เฉพาะทางแยกสัญญาณไฟจราจร รวมทั้งทางแยกบางแห่งที่ไม่มีสัญญาณไฟจราจรและไม่ใช่ทางแยกต่างระดับ แต่มีชื่อเรียกอย่างเป็นทางการ
รายชื่อทางแยกในเขตประเวศ

รายชื่อทางแยกในเขตประเวศ เฉพาะทางแยกสัญญาณไฟจราจร รวมทั้งทางแยกบางแห่งที่ไม่มีสัญญาณไฟจราจรและไม่ใช่ทางแยกต่างระดับ แต่มีชื่อเรียกอย่างเป็นทางการ สำหรับชื่อทางแยกต่างระดับและรายละเอียด ดูที่รายชื่อทางแยกในกรุงเทพมหานคร
รายชื่อทางแยกในเขตดอนเมือง

รายชื่อทางแยกในเขตดอนเมือง เฉพาะทางแยกสัญญาณไฟจราจร รวมทั้งทางแยกบางแห่งที่ไม่มีสัญญาณไฟจราจรและไม่ใช่ทางแยกต่างระดับ แต่มีชื่อเรียกอย่างเป็นทางการ
รายชื่อทางแยกในเขตบางกอกน้อย

รายชื่อทางแยกในเขตบางกอกน้อย เฉพาะทางแยกสัญญาณไฟจราจร รวมทั้งทางแยกบางแห่งที่ไม่มีสัญญาณไฟจราจรและไม่ใช่ทางแยกต่างระดับ แต่มีชื่อเรียกอย่างเป็นทางการ สำหรับชื่อทางแยกต่างระดับและรายละเอียด ดูที่รายชื่อทางแยกในกรุงเทพมหานคร
รายชื่อทางแยกในเขตดุสิต

รายชื่อทางแยกในเขตดุสิต เฉพาะทางแยกสัญญาณไฟจราจร รวมทั้งทางแยกบางแห่งที่ไม่มีสัญญาณไฟจราจรและไม่ใช่ทางแยกต่างระดับ แต่มีชื่อเรียกอย่างเป็นทางการ
รายชื่อทางแยกในเขตสัมพันธวงศ์

รายชื่อทางแยกในเขตสัมพันธวงศ์ เฉพาะทางแยกสัญญาณไฟจราจร รวมทั้งทางแยกบางแห่งที่ไม่มีสัญญาณไฟจราจรและไม่ใช่ทางแยกต่างระดับ แต่มีชื่อเรียกอย่างเป็นทางการ
รายชื่อทางแยกในเขตราชเทวี

รายชื่อทางแยกในเขตราชเทวี เฉพาะทางแยกสัญญาณไฟจราจร รวมทั้งทางแยกบางแห่งที่ไม่มีสัญญาณไฟจราจรและไม่ใช่ทางแยกต่างระดับ แต่มีชื่อเรียกอย่างเป็นทางการ สำหรับชื่อทางแยกต่างระดับและรายละเอียด ดูที่รายชื่อทางแยกในกรุงเทพมหานคร
รายชื่อทางแยกในเขตภาษีเจริญ

รายชื่อทางแยกในเขตภาษีเจริญ เฉพาะทางแยกสัญญาณไฟจราจร รวมทั้งทางแยกบางแห่งที่ไม่มีสัญญาณไฟจราจรและไม่ใช่ทางแยกต่างระดับ แต่มีชื่อเรียกอย่างเป็นทางการ สำหรับชื่อทางแยกต่างระดับและรายละเอียด ดูที่รายชื่อทางแยกในกรุงเทพมหานคร
รายชื่อทางแยกในเขตพระนคร

รายชื่อทางแยกในเขตพระนคร เฉพาะทางแยกสัญญาณไฟจราจร รวมทั้งทางแยกบางแห่งที่ไม่มีสัญญาณไฟจราจรและไม่ใช่ทางแยกต่างระดับ แต่มีชื่อเรียกอย่างเป็นทางการ
รายชื่อทางแยกในเขตบางนา

รายชื่อทางแยกในเขตบางนา เฉพาะทางแยกสัญญาณไฟจราจร รวมทั้งทางแยกบางแห่งที่ไม่มีสัญญาณไฟจราจรและไม่ใช่ทางแยกต่างระดับ แต่มีชื่อเรียกอย่างเป็นทางการ สำหรับชื่อทางแยกต่างระดับและรายละเอียด ดูที่รายชื่อทางแยกในกรุงเทพมหานคร
รายชื่อทางแยกในเขตบางกะปิ

รายชื่อทางแยกในเขตบางกะปิ เฉพาะทางแยกสัญญาณไฟจราจร รวมทั้งทางแยกบางแห่งที่ไม่มีสัญญาณไฟจราจรและไม่ใช่ทางแยกต่างระดับ แต่มีชื่อเรียกอย่างเป็นทางการ
รายชื่อทางแยกในเขตวังทองหลาง

รายชื่อทางแยกในเขตวังทองหลาง เฉพาะทางแยกสัญญาณไฟจราจร รวมทั้งทางแยกบางแห่งที่ไม่มีสัญญาณไฟจราจรและไม่ใช่ทางแยกต่างระดับ แต่มีชื่อเรียกอย่างเป็นทางการ
รายชื่อทางแยกในเขตบางบอน

รายชื่อทางแยกในเขตบางบอน เฉพาะทางแยกสัญญาณไฟจราจร รวมทั้งทางแยกบางแห่งที่ไม่มีสัญญาณไฟจราจรและไม่ใช่ทางแยกต่างระดับ แต่มีชื่อเรียกอย่างเป็นทางการ
รายชื่อทางแยกในเขตบางรัก

รายชื่อทางแยกในเขตบางรัก เฉพาะทางแยกสัญญาณไฟจราจร รวมทั้งทางแยกบางแห่งที่ไม่มีสัญญาณไฟจราจรและไม่ใช่ทางแยกต่างระดับ แต่มีชื่อเรียกอย่างเป็นทางการ
รายชื่อทางแยกในเขตตลิ่งชัน

รายชื่อทางแยกในเขตตลิ่งชัน เฉพาะทางแยกสัญญาณไฟจราจร รวมทั้งทางแยกบางแห่งที่ไม่มีสัญญาณไฟจราจรและไม่ใช่ทางแยกต่างระดับ แต่มีชื่อเรียกอย่างเป็นทางการ สำหรับชื่อทางแยกต่างระดับและรายละเอียด ดูที่รายชื่อทางแยกในกรุงเทพมหานคร