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...
Description:This course presents a comprehensive exploration of mathematical theories on metamaterials within wave systems including acoustics, electromagnetics, and elasticity. The analytical methodologies encompass both the potential theory and the variational approach. Subsequently, the course delves into the practical applications including cloaking invisibility and imaging. Regarding invis...