{"id":1919,"date":"2020-08-27T23:02:50","date_gmt":"2020-08-27T15:02:50","guid":{"rendered":"http:\/\/tsinghualogic.net\/JRC\/?page_id=1919"},"modified":"2020-09-17T10:35:19","modified_gmt":"2020-09-17T02:35:19","slug":"academic-year-2019-2020-2","status":"publish","type":"page","link":"http:\/\/tsinghualogic.net\/JRC\/academic-year-2019-2020-2\/","title":{"rendered":"Academic Year 2020-2021"},"content":{"rendered":"<table class=\"post-table\" style=\"height: 772px;\" width=\"772\">\n<thead>\n<tr>\n<th style=\"text-align: center;\">Semester<\/th>\n<th style=\"text-align: left;\">\u00a0<\/th>\n<\/tr>\n<\/thead>\n<tbody>\n<tr>\n<td style=\"text-align: center;\"><strong>2020<br \/>Fall<\/strong><\/td>\n<td style=\"text-align: center;\">\n<table class=\"post-table\" style=\"height: 732px;\" width=\"698\">\n<thead>\n<tr>\n<th>Course Name<\/th>\n<th>\u00a0Instructor(s)<\/th>\n<th>Level<\/th>\n<th>\u00a0When &amp; where<\/th>\n<\/tr>\n<\/thead>\n<tbody>\n<tr>\n<td><strong>\u903b\u8f91\u3001\u8ba1\u7b97\u548c\u535a\u5f08<\/strong><strong>(Logic, computation and game)<\/strong><\/td>\n<td>Johan van Benthem<\/td>\n<td>Undergrad<\/td>\n<td>Mon 19:20-21:45 + Wed 17:05 &#8211; 18:40\u516d\u65596A307<\/td>\n<\/tr>\n<tr>\n<td><strong>\u4e00\u9636\u903b\u8f91<br \/>(First-order logic)<\/strong><\/td>\n<td>Junhua Yu<\/td>\n<td>Graduate<\/td>\n<td>Tue 13:30-16:55<br \/>\u516d\u65596B410<\/td>\n<\/tr>\n<tr>\n<td><strong>\u903b\u8f91\uff0c\u8bed\u8a00\u4e0e\u54f2\u5b66<br \/>(Logic, language and philosophy)<\/strong><\/td>\n<td>Fenrong Liu\n<p>\u00a0<\/p>\n<p>Martin Stokhof<\/p>\n<\/td>\n<td>Undergrad.<\/td>\n<td>Mon 17:05-18:40 + Wed 17:05 &#8211; 18:40\u516d\u65596A207<\/td>\n<\/tr>\n<tr>\n<td><strong>\u897f\u65b9\u54f2\u5b66\u601d\u60f3\u7ecf\u5178<\/strong><strong>\u00a0<\/strong><strong>\uff08Classics of western philosophy\uff09<\/strong><\/td>\n<td>Yunpen Asher Jiang<\/td>\n<td>\u00a0Undergrad.<\/td>\n<td>Tue 19:20 &#8211; 21:45<br \/>\u516d\u65596A118<\/td>\n<\/tr>\n<tr>\n<td><strong>\u8bed\u8a00\u5b66\u6982\u8bba<\/strong><strong>\u00a0<\/strong><strong>\uff08Introduction to Linguistics\uff09<\/strong><\/td>\n<td>Dun Deng<\/td>\n<td>\u00a0Undergrad.<\/td>\n<td>Wed 14:20 &#8211; 16:55<br \/>\u516d\u65596A301<\/td>\n<\/tr>\n<tr>\n<td><strong>\u8bed\u4e49\u5b66\u00a0<\/strong><strong>\uff08Semantics\u00a0<\/strong><strong>\uff09<\/strong><\/td>\n<td>Mingming Liu<\/td>\n<td>Graduate<\/td>\n<td>Wed 15:20 &#8211; 16:55<br \/>6\u65596B310<\/td>\n<\/tr>\n<tr>\n<td><strong>\u5f62\u5f0f\u8bed\u4e49\u5b66\u5bfc\u8bba\u00a0<\/strong><strong>\uff08Introduction to Formal Semantics\uff09<\/strong><\/td>\n<td>Mingming Liu<\/td>\n<td>Undergrad.<\/td>\n<td>Thur 9:50 &#8211; 12:15<br \/>6\u65596B208<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n\n\n<p><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Semester \u00a0 2020Fall Course Name \u00a0Instructor(s) Level \u00a0W [&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":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/1919"}],"collection":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/comments?post=1919"}],"version-history":[{"count":12,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/1919\/revisions"}],"predecessor-version":[{"id":3711,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/1919\/revisions\/3711"}],"wp:attachment":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/media?parent=1919"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}