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 is an introduction to theoretical quantum information science. The main goal of this course is to provide an overview of the central concepts and methods in the theory of quantum information and computation, with a potential focus on its interconnections with physics and mathematics, to equip the participants with an adequate background to explore research in theoretical...