Speaker李华杰 Li HuajieAssistant Professor of YMSCTimeMon. & Wed., 13:30-15:05,Sept. 15-Dec. 10, 2025VenueC641, Shuangqing Complex Building ADescriptionThe comparison of relative trace formulae introduced by Jacquet is powerful tool to study integral representations of automorphic L-functions. In these lectures, we shall explain Jacquet’s seminal paper on this subject. Time permitting, we shal...
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...