Introduction We will discuss best practices for writing mathematical papers and giving mathematical lectures. Students will have opportunities to present and get constructive feedback. This will be useful for Quizhen graduate students preparing their thesis for publication and lectures.Video Public: NoNotes Public: NoAudience: GraduateLanguage: Englis
IntroductionThis course will use a material written by J.Carlström. It can be downloaded byhttps://bimsa.net/doc/notes/logic2008.pdf SyllabusDay 1 Introduction• History and purpose of logic.• Boolean algebras.Inductively defined sets (Ch. 3 of Carlström)• Motivation: What is formal syntax? What are formulas?• The natural numbers; recursion and induction principles• General inductively defi...