Class Dates: January 18 (Tuesday) and January 20 (Thursday)
Class Location: Online, XIV Summer Workshop in Mathematics MAT/UnB, Brasília
| Section 1 • 08:00-10:30, Tuesday, Jan 18, 2022 | ||||
| Time | Lecture | Instructor | ||
|---|---|---|---|---|
| 08:00 | 08:50 | 50 min | Logic and Formal Deduction | Mauricio Ayala-Rincón |
| 08:50 | 10:30 | 100 min | Exercise Set 1 (Newman's Lemma) | Thaynara Arielly de Lima & Mauricio Ayala-Rincón |
| Section 2 • 15:10-17:10, Tuesday, Jan 18, 2022 | ||||
| Time | Lecture | Instructor | ||
|---|---|---|---|---|
| 15:10 | 15:30 | 20 min | A case study on Group Theory | Thaynara Arielly de Lima |
| 15:30 | 17:10 | 100 min | Exercise Set 2 (Cyclic and Torsion Groups) | Thaynara Arielly de Lima & Mauricio Ayala-Rincón |
| Section 3 • 10:30-12:30, Thursday, Jan 20, 2022 | ||||
| Time | Lecture | Instructor | ||
|---|---|---|---|---|
| 10:30 | 11:00 | 30 min | Pen-and-Paper vs Formalized Proofs | Thaynara Arielly de Lima & Mauricio Ayala-Rincón |
| 11:00 | 12:30 | 90 min | An elaborated example - PVS theory "algebra" | Thaynara Arielly de Lima & Mauricio Ayala-Rincón |