algorithmic information theory course