01204211

ภาพรวม

• กรุณาเข้ากลุ่ม discord
• YouTube Playlist เนื้อหาจากปีการศึกษาก่อน: https://www.youtube.com/watch?v=wZ1ZsAQQjBI&list=PLii-CvAgf-8jJa7N_z6s8PPusMxQuVElO

เอกสารและคลิป

Week	Topics	Handouts	Activities	Links
1	Introduction, Propositions, Implications	handout1 handout2	Activity 01	คลิป (จากปี 2564): 01-1: แนะนำรายวิชา 01-2: พิสูจน์ทฤษฎีบทพีธากอรัส 01-3: บทนำ, ทำไมต้องพิสูจน์ 01-4: ประพจน์และตัวดำเนินการเชิงตรรกะ AND, OR, NOT 01-5: ตัวดำเนินการทางตรรกะที่เกี่ยวกับเงื่อนไข
2-1	Inference rules	handout1	Activity 02 ทำแค่ 02-1, 02-2, และ 02-6	คลิป (จากปี 2564): 02-3: Proofs by exhaustion & Inference rules 02-4: Inference rules (cont.)
2-2	Quantifiers	handout2 handout3	Activity 02 ทำ 02-3, 02-4, และ 02-5	คลิป (จากปี 2564): 02-1: Quantifiers (1) 02-2: Quantifiers (2) 02-5: ทบทวนชื่อเรียกต่าง ๆ และสัจพจน์ข้อที่ 5 ของยุคลิด คลิปเพิ่มเติม (ดูอันใดอันหนึ่งก็พอ): TED-Ed - Euclid's puzzling parallel postulate - Jeff Dekofsky Numberphile - Ditching the Fifth Axiom
3	Proof techniques (1)	handout1	Activity 03 part 1	คลิป: 03-1 Proof techniques 1 (Direct proofs) 03-2 Proof techniques 2 (Proofs by contraposition) 03-3 Proof techniques 3 (Proofs by contradiction)

ลิงก์เพิ่มเติม

• รายวิชานี้เมื่อปีการศึกษา 2564 2562 2561 2558