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) (ถึงประมาณ 6:30)
4-1	Proof techniques (2)	handout2		คลิป: 03-2 Proof techniques 2 (Proofs by contraposition) (ดูต่อจากตอนประมาณ 6:30) 03-3 Proof techniques 3 (Proofs by contradiction) 03-4: Proof techniques 4 (Proofs by cases)
4-2	Mathematical Induction (1)	รับชมคลิปออนไลน์ proof example handout1 handout2		คลิป:
5-1	Mathematical Induction (2)			คลิป:

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

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