BASICS 2014 Summer School
暨 Logic Summer School in China 2014
主页
报告内容
日程安排
注册须知
资料下载
联系我们
注册
注册回执登记
会议通知
日程安排
讲义
1. More References for Lectures on “Finite Injury Method”
Robert Soare: Recursively enumerable sets and degrees
Steffen Lempp
http://www.math.wisc.edu/~lempp/papers/prio.pdf
Frank Stephan
http://www.comp.nus.edu.sg/~fstephan/recursiontheory-pdflatex.pdf
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
照片