{"id":8880,"date":"2025-12-19T18:10:35","date_gmt":"2025-12-19T10:10:35","guid":{"rendered":"https:\/\/tsinghualogic.net\/JRC\/?page_id=8880"},"modified":"2026-03-16T11:59:16","modified_gmt":"2026-03-16T03:59:16","slug":"logic-reading-program","status":"publish","type":"page","link":"https:\/\/tsinghualogic.net\/JRC\/logic-reading-program\/","title":{"rendered":"Logic Reading Program"},"content":{"rendered":"\t\t<div data-elementor-type=\"wp-page\" data-elementor-id=\"8880\" class=\"elementor elementor-8880\" data-elementor-settings=\"[]\">\n\t\t\t\t\t\t\t<div class=\"elementor-section-wrap\">\n\t\t\t\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-511ecc45 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"511ecc45\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-25b00895\" data-id=\"25b00895\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-12d1b08 elementor-widget elementor-widget-image\" data-id=\"12d1b08\" data-element_type=\"widget\" data-widget_type=\"image.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<style>\/*! elementor - v3.5.6 - 28-02-2022 *\/\n.elementor-widget-image{text-align:center}.elementor-widget-image a{display:inline-block}.elementor-widget-image a img[src$=\".svg\"]{width:48px}.elementor-widget-image img{vertical-align:middle;display:inline-block}<\/style>\t\t\t\t\t\t\t\t\t\t\t\t<img decoding=\"async\" width=\"570\" height=\"350\" src=\"https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2025\/12\/\u5fae\u4fe1\u56fe\u7247_2025-12-19_182655_944-570x350.jpg\" class=\"attachment-tc-grid size-tc-grid\" alt=\"\" loading=\"lazy\" \/>\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-4c96035b elementor-widget elementor-widget-text-editor\" data-id=\"4c96035b\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<style>\/*! elementor - v3.5.6 - 28-02-2022 *\/\n.elementor-widget-text-editor.elementor-drop-cap-view-stacked .elementor-drop-cap{background-color:#818a91;color:#fff}.elementor-widget-text-editor.elementor-drop-cap-view-framed .elementor-drop-cap{color:#818a91;border:3px solid;background-color:transparent}.elementor-widget-text-editor:not(.elementor-drop-cap-view-default) .elementor-drop-cap{margin-top:8px}.elementor-widget-text-editor:not(.elementor-drop-cap-view-default) .elementor-drop-cap-letter{width:1em;height:1em}.elementor-widget-text-editor .elementor-drop-cap{float:left;text-align:center;line-height:1;font-size:50px}.elementor-widget-text-editor .elementor-drop-cap-letter{display:inline-block}<\/style>\t\t\t\t<p><!-- wp:paragraph --><\/p>\n<h3>Introduction of the Program<\/h3>\n<p>\u201c\u903b\u8f91\u8bfb\u4e66\u4f1a\u201d\u7531\u6e05\u534e\u5927\u5b66\uff0d\u963f\u59c6\u65af\u7279\u4e39\u5927\u5b66\u903b\u8f91\u5b66\u8054\u5408\u7814\u7a76\u4e2d\u5fc3\u4e3b\u529e\uff0c\u5728\u903b\u8f91\u5b66\u7814\u7a76\u4e2d\u5fc3\u4e3e\u884c\uff0c\u7531\u8096\u6c49\u535a\u58eb\u4e3b\u6301\uff0c\u5206\u4e3a\u521d\u7ea7\u8ba8\u8bba\u73ed\u548c\u8fdb\u9636\u8ba8\u8bba\u73ed\u3002\u672c\u8bfb\u4e66\u4f1a\u9762\u5411\u6240\u6709\u5bf9\u903b\u8f91\u5b66\u611f\u5174\u8da3\u7684\u5b66\u751f\u4e0e\u9752\u5e74\u5b66\u8005\u5f00\u653e\uff0c\u65e8\u5728\u4fc3\u8fdb\u5bf9\u524d\u6cbf\u7814\u7a76\u7684\u7406\u89e3\u4e0e\u4ea4\u6d41\uff0c\u540c\u65f6\u4e5f\u662f\u953b\u70bc\u5b66\u672f\u8868\u8fbe\u4e0e\u8ba8\u8bba\u80fd\u529b\u7684\u5e73\u53f0\u3002<\/p>\n<p><strong>1. \u521d\u7ea7\u8ba8\u8bba\u73ed\uff08\u6a21\u578b\u8bba\u8bfb\u4e66\u4f1a\uff09<\/strong><\/p>\n<p>\u6a21\u578b\u8bba\u8bfb\u4e66\u4f1a\u4ee5\u5b66\u751f\u8bb2\u89e3\u4e3a\u4e3b\uff0c\u9f13\u52b1\u73b0\u573a\u63d0\u95ee\u4e0e\u4e92\u52a8\uff0c\u5171\u540c\u63a2\u8ba8\u5b66\u4e60\u3002\u65f6\u95f4\u4e3a\u6bcf\u5468\u4e9413:30\u201415:00\uff0c\u6b22\u8fce\u6240\u6709\u540c\u5b66\u53c2\u4e0e\uff0c\u6a21\u578b\u8bba\u6807\u51c6\u8bfe\u7a0b\u4e4b\u5916\u6709\u5173\u903b\u8f91\u3001\u7ec4\u5408\u6570\u5b66\u3001\u4ee3\u6570\u7b49\u76f8\u5173\u7684\u95ee\u9898\u540c\u6837\u9f13\u52b1\u63d0\u51fa\u3002\u53c2\u8003\u6559\u6750\uff1a<\/p>\n<ul>\n<li><em>Model Theory with Algebra on the Side, Will Johnson, manuscript, 2025<\/em><\/li>\n<li>\u300a\u6570\u7406\u903b\u8f91\u5bfc\u5f15\u300b\uff0c\u51af\u7426\uff0c\u79d1\u5b66\u51fa\u7248\u793e\uff0c2017<\/li>\n<\/ul>\n<p><!-- \/wp:list-item --><\/p>\n<p><!-- \/wp:list --><\/p>\n<p><!-- wp:paragraph --><\/p>\n<p><strong>2. \u8fdb\u9636\u8ba8\u8bba\u73ed<\/strong><\/p>\n<p>\u8fdb\u9636\u8ba8\u8bba\u73ed\u5b9a\u4f4d\u4e3a\u5c0f\u8303\u56f4\u3001\u4e3b\u9898\u660e\u786e\u7684\u8bba\u6587\u8ba8\u8bba\uff0c\u7406\u89e3\u8be5\u65b9\u5411\u7684\u7ecf\u5178\u6280\u672f\u6216\u6700\u65b0\u8fdb\u5c55\u3002\u65f6\u95f4\u4e00\u822c\u5b89\u6392\u5728\u5468\u56db\u6216\u5468\u4e94\u4e0b\u5348\uff0c\u53ef\u7075\u6d3b\u8c03\u6574\u3002\u539f\u5219\u4e0a\u4e24\u5468\u4e00\u6b21\uff0c\u82e5\u4e3b\u9898\u5408\u9002\uff0c\u5c06\u4e0e\u903b\u8f91\u5b66\u4e2d\u5fc3\u7684\u6e05\u8336\u4f1a\u5408\u5e76\u6d3b\u52a8\u3002\u6b22\u8fce\u5fd7\u613f\u62a5\u540d\u5e76\u4e3b\u6301\u8ba8\u8bba\uff0c\u4e3b\u9898\u53ef\u4ee5\u662f\u6570\u7406\u903b\u8f91\u3001\u975e\u7ecf\u5178\u903b\u8f91\u3001\u7ec4\u5408\u6570\u5b66\u3001\u7406\u8bba\u8ba1\u7b97\u673a\u79d1\u5b66\u7b49\u4e00\u5207\u903b\u8f91\u5b66\u76f8\u5173\u9886\u57df\u3002\u53c2\u8003\u4e3b\u9898\uff08\u4ec5\u4f5c\u793a\u4f8b\uff0c\u4e0d\u9650\u5b9a\u8ba8\u8bba\u65b9\u5411\uff09\uff1a<\/p>\n<p><!-- \/wp:paragraph --><\/p>\n<p><!-- wp:list --><\/p>\n<ul>\n<li style=\"list-style-type: none;\">\n<ul><!-- wp:list-item --><\/ul>\n<\/li>\n<li>cfi\u56fe\u4e0e\u591a\u9879\u5f0f\u65f6\u95f4\u8ba1\u7b97\uff08\u611f\u8c22\u6e05\u534e\u5927\u5b66\u6768\u66e6\u540c\u5b66\u63d0\u4f9b\uff09<\/li>\n<li>Skvorcov\u903b\u8f91\u4e0etableau\uff08\u611f\u8c22\u5317\u4eac\u5927\u5b66\u738b\u4e91\u5d27\u540c\u5b66\u63d0\u4f9b\uff09<\/li>\n<li>destructible gaps\u4e0e\u529b\u8feb<\/li>\n<li>\u7a7a\u95f4\u7684\u6a21\u6001\u903b\u8f91\u7b49<\/li>\n<\/ul>\n<p><!-- \/wp:list-item --><\/p>\n<p><!-- wp:list-item --><\/p>\n<p><!-- \/wp:list-item --><\/p>\n<p><!-- wp:list-item --><\/p>\n<p><!-- \/wp:list-item --><\/p>\n<p><!-- wp:list-item --><\/p>\n<p><!-- \/wp:list-item --><\/p>\n<p><!-- \/wp:list --><\/p>\n<p><!-- wp:paragraph --><\/p>\n<p>\u903b\u8f91\u5b66\u4e2d\u5fc3\u81f4\u529b\u4e8e\u8425\u9020\u4e00\u4e2a\u517c\u5177\u8f7b\u677e\u6c1b\u56f4\u4e0e\u5b66\u672f\u6df1\u5ea6\u7684\u73af\u5883\uff0c\u4fbf\u4e8e\u5927\u5bb6\u5b66\u4e60\u65b0\u77e5\u8bc6\u3001\u7ed3\u8bc6\u540c\u884c\u4e0e\u63a2\u7d22\u65b0\u65b9\u5411\u3002\u672c\u7cfb\u5217\u6d3b\u52a8\u7531\u5218\u594b\u8363\u6559\u6388\u3001\u8096\u6c49\u52a9\u7406\u7814\u7a76\u5458\u7ec4\u7ec7\u3002\u54a8\u8be2\u8bf7\u90ae\u4ef6\u8054\u7cfb\uff1a<a href=\"mailto:han_xiao@mail.tsinghua.edu.cn\">han_xiao@mail.tsinghua.edu.cn<\/a>\u3002\u671f\u5f85\u4e0e\u4f60\u5728\u6e05\u534e\u903b\u8f91\u5b66\u7814\u7a76\u4e2d\u5fc3\u76f8\u89c1\u3002<\/p>\n<p><!-- \/wp:paragraph --><\/p>\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-570783e elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"570783e\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-4a979e2\" data-id=\"4a979e2\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-99bfdaa elementor-widget elementor-widget-text-editor\" data-id=\"99bfdaa\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<h3>Current Sessions<\/h3>\n<p><strong>2026 Mar 19 14:00-15:30 Wenfei Ouyang (\u6b27\u9633\u6587\u98de, Tsinghua University) \u4f59\u4ee3\u6570\u4e0e\u6a21\u6001\u903b\u8f91<\/strong><\/p>\n<p style=\"padding-left: 40px;\">Yde Venema \u7f16\u5199\u7684\u8bb2\u4e49\u00a0Coalgebra and Modal Logic: A First Introduction\u00a0\u7684 1.2 \u8282\uff0c\u91cd\u70b9\u4ecb\u7ecd<span class=\"\">\u6a21\u6001\u903b\u8f91<\/span>\u7684 bounded morphism \u5728 coalgebra \u4e2d\u7684\u5b9a\u4e49\u3002<\/p>\n<p><strong>2026 Mar 12 16:00-17:30 Yuxuan Sun (\u5b59\u5b87\u8f69, Tsinghua University):<\/strong><strong><br \/><\/strong><\/p>\n<p style=\"text-align: left; padding-left: 40px;\">Shelah, Saharon and Spencer Joel. &#8220;Zero-One Laws for Sparse Random Graphs&#8221; <i>Journal of the American Mathematical Society<\/i>, vol. 1, no. 1, 1988, pp. 97\u2013115.<\/p>\n<p>Past sessions see <a href=\"https:\/\/tsinghualogic.net\/JRC\/logic-reading-program-past-sessions\/\" target=\"_blank\" rel=\"noopener\">here<\/a>.<\/p>\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t","protected":false},"excerpt":{"rendered":"<p>Introduction of the Program \u201c\u903b\u8f91\u8bfb\u4e66\u4f1a\u201d\u7531\u6e05\u534e\u5927\u5b66\uff0d\u963f\u59c6\u65af\u7279\u4e39\u5927\u5b66\u903b\u8f91\u5b66\u8054\u5408\u7814\u7a76 [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":[],"_links":{"self":[{"href":"https:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/8880"}],"collection":[{"href":"https:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/comments?post=8880"}],"version-history":[{"count":51,"href":"https:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/8880\/revisions"}],"predecessor-version":[{"id":9880,"href":"https:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/8880\/revisions\/9880"}],"wp:attachment":[{"href":"https:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/media?parent=8880"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}