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...
IntroductionMathematical statistics is the application of probability theory to data analysis. It involves collecting, organizing, analyzing, interpreting, and presenting data using rigorous mathematical methods. This course covers the basic principles and techniques of statistical theory for graduate students.Lecturer IntroSixu Liu received her Ph.D. degree from Peking University in 2019. She ...