Wesley Holliday & Thomas Icard

Logic & Computation

Week One - 9.00-10.30 - Level: F

Room: N3

 Abstract:

Logic and probability are related in many important ways: probability can in some ways be seen as a generalization of logic; many logical systems have natural probabilistic semantics; logic can be used to reason explicitly about probability; and logic and probability can be combined into systems that capitalize on the advantages of each. In this course we will survey some of the most important ideas and results covering these various contacts between logic and probability.