<?xml version="1.0" encoding="utf-8" standalone="yes"?>
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom" xmlns:content="http://purl.org/rss/1.0/modules/content/">
  <channel>
    <title>Courses on FANG Nan</title>
    <link>https://fangnan.org/courses/</link>
    <description>Recent content in Courses on FANG Nan</description>
    <generator>Hugo -- 0.164.0</generator>
    <language>en</language>
    <lastBuildDate>Mon, 01 Sep 2025 00:00:00 +0000</lastBuildDate>
    <atom:link href="https://fangnan.org/courses/index.xml" rel="self" type="application/rss+xml" />
    <item>
      <title>Foundations of Computability Theory</title>
      <link>https://fangnan.org/courses/25pkucomp/</link>
      <pubDate>Mon, 01 Sep 2025 00:00:00 +0000</pubDate>
      <guid>https://fangnan.org/courses/25pkucomp/</guid>
      <description>&lt;h2 id=&#34;introduction&#34;&gt;Introduction&lt;/h2&gt;
&lt;p&gt;This course introduces the fundamental concepts, methods, and results of computability theory. The course materials are organized into 15 lectures.&lt;/p&gt;
&lt;h2 id=&#34;references&#34;&gt;References&lt;/h2&gt;
&lt;ul&gt;
&lt;li&gt;Turing Computability: Theory and Applications, Robert I. Soare, Springer, 2016.&lt;/li&gt;
&lt;li&gt;《递归论: 算法与随机性基础》郝兆宽，杨睿之，杨跃，复旦大学出版社，2018。&lt;/li&gt;
&lt;/ul&gt;</description>
    </item>
  </channel>
</rss>
