BASICS 2014 Summer School

暨 Logic Summer School in China 2014


主页 报告内容 日程安排 注册须知 资料下载 联系我们

注册

  1. 注册回执登记
  2. 会议通知
  3. 日程安排

讲义

1. More References for Lectures on “Finite Injury Method”

  1. Robert Soare: Recursively enumerable sets and degrees
  2. Steffen Lempp http://www.math.wisc.edu/~lempp/papers/prio.pdf
  3. Frank Stephan http://www.comp.nus.edu.sg/~fstephan/recursiontheory-pdflatex.pdf
  4. Arnold Miller http://www.math.wisc.edu/~miller/old/m773-07/cmpthy.pdf

2. Algorithmic Randomness

  • Introduction
  • Lecture 1: Martin-Löf tests and martingales
  • Lecture 2: Kolmogorov complexity
  • Lecture 3: The Computational Power of Randomness
  • Lecture 4: Randomness for Non-Uniform Distributions
  • Lecture 5: Randomness in Fractal Geometry and Dynamical Systems

照片

... ... ... ... ... ... ... ... ... ...


最近更新: 2014/09/18