ผลต่างระหว่างรุ่นของ "01204211-58"
ไปยังการนำทาง
ไปยังการค้นหา
Jittat (คุย | มีส่วนร่วม) (→Topics) |
Jittat (คุย | มีส่วนร่วม) |
||
แถว 2: | แถว 2: | ||
== Activities == | == Activities == | ||
* 8/20: [[01204211/activity1 logic1|Activity 1 - Logic 1]] | * 8/20: [[01204211/activity1 logic1|Activity 1 - Logic 1]] | ||
+ | * 8/27: [[01204211/activity2 logic and proofs|Activity 2 - Logic and Proofs]] | ||
== Topics == | == Topics == |
รุ่นแก้ไขเมื่อ 15:22, 26 สิงหาคม 2558
Announcements
Activities
- 8/20: Activity 1 - Logic 1
- 8/27: Activity 2 - Logic and Proofs
Topics
Week/number | Topics | Handouts | Links |
---|---|---|---|
1/1 | Introduction, Propositions | handout1 | |
1/2 | Quantifiers | handout2 | Clips: part1, part2, part3, part4 |
2/1 | Inference rules Proof techniques 1 |
handout3 handout4 |
|
2/2 | Proof techniques 2 | handout5 | Clips: part1, part2, part3 |