{"id":1964,"date":"2016-09-23T11:24:08","date_gmt":"2016-09-23T03:24:08","guid":{"rendered":"http:\/\/www.xixilogic.org\/?p=1964"},"modified":"2018-10-14T23:05:53","modified_gmt":"2018-10-14T15:05:53","slug":"yi-n-wang-writing-a-logic-paper-in-latex-2016-09-30","status":"publish","type":"post","link":"https:\/\/www.zlaire.net\/events\/previous\/2016\/09\/yi-n-wang-writing-a-logic-paper-in-latex-2016-09-30\/","title":{"rendered":"Y\u00ec N. W\u00e1ng: Writing a logic paper in LaTeX [2016-09-30]"},"content":{"rendered":"<p><strong>\u897f\u6eaa\u903b\u8f91\u8bba\u575b\u7b2c38\u671f<\/strong><\/p>\n<p><strong>\uff08\u672c\u6d3b\u52a8\u53d7\u4e2d\u592e\u9ad8\u6821\u57fa\u672c\u79d1\u7814\u4e1a\u52a1\u8d39\u4e13\u9879\u8d44\u91d1\u8d44\u52a9\uff09<\/strong><\/p>\n<p>\u4e3b\u9898\uff1a\u4f7f\u7528LaTeX\u64b0\u5199\u903b\u8f91\u5b66\u8bba\u6587<br \/>\n\u62a5\u544a\u4eba\uff1a\u738b\u8f76<br \/>\n\u65f6\u95f4\uff1a2016\u5e7409\u670830\u65e5\uff08\u5468\u4e94\uff09 13:00-15:00<br \/>\n\u5730\u70b9\uff1a\u6d59\u5927\u897f\u6eaa\u6821\u533a\u4e3b\u697c259\u4f1a\u8bae\u5ba4<br \/>\n\u6458\u8981\uff1a\u62a5\u544a\u4eba\u9996\u5148\u5411\u5927\u5bb6\u4ecb\u7ecd\u4f7f\u7528LaTeX\u7684\u57fa\u672c\u6846\u67b6\u548c\u80cc\u666f\u77e5\u8bc6\uff0c\u7136\u540e\u9762\u5411\u903b\u8f91\u5b66\u8bba\u6587\u5199\u4f5c\u901a\u8fc7\u5177\u4f53\u7684\u4f8b\u5b50\u7ed9\u51faLaTeX\u7684\u4f7f\u7528\u65b9\u6cd5\u548c\u5fc3\u5f97\u3002\u5177\u6709\u6d59\u5927\u7f51\u7edc\u4f7f\u7528\u6743\u9650\u7684\u542c\u8bb2\u8005\u6700\u597d\u643a\u5e26\u4e00\u53f0\u7b14\u8bb0\u672c\u6216\u5e73\u677f\u7535\u8111\u3002<\/p>\n<p><a href=\"http:\/\/www.xixilogic.org\/docs\/latex-zju.pdf\" target=\"_blank\" rel=\"noopener\"><span style=\"color: #3366ff;\"><strong>Slides<\/strong><\/span><\/a><br \/>\n<a href=\"https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2016\/09\/handouts.zip\"><span style=\"color: #3366ff;\"><strong>Handouts<\/strong><\/span><\/a><\/p>\n<p><a href=\"https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2016\/09\/DSC03149.jpg\"><img decoding=\"async\" class=\"alignleft size-medium wp-image-2012 lazyload\" data-src=\"https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2016\/09\/DSC03149-300x168.jpg\" alt=\"dsc03149\" width=\"300\" height=\"168\" data-srcset=\"https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2016\/09\/DSC03149-300x168.jpg 300w, https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2016\/09\/DSC03149-768x430.jpg 768w, https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2016\/09\/DSC03149-1024x574.jpg 1024w, https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2016\/09\/DSC03149.jpg 2048w\" data-sizes=\"(max-width: 300px) 100vw, 300px\" src=\"data:image\/svg+xml;base64,PHN2ZyB3aWR0aD0iMSIgaGVpZ2h0PSIxIiB4bWxucz0iaHR0cDovL3d3dy53My5vcmcvMjAwMC9zdmciPjwvc3ZnPg==\" style=\"--smush-placeholder-width: 300px; --smush-placeholder-aspect-ratio: 300\/168;\" \/><\/a> <a href=\"https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2016\/09\/DSC03150.jpg\"><img decoding=\"async\" class=\"alignleft size-medium wp-image-2013 lazyload\" data-src=\"https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2016\/09\/DSC03150-300x168.jpg\" alt=\"dsc03150\" width=\"300\" height=\"168\" data-srcset=\"https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2016\/09\/DSC03150-300x168.jpg 300w, https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2016\/09\/DSC03150-768x430.jpg 768w, https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2016\/09\/DSC03150-1024x574.jpg 1024w, https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2016\/09\/DSC03150.jpg 2048w\" data-sizes=\"(max-width: 300px) 100vw, 300px\" src=\"data:image\/svg+xml;base64,PHN2ZyB3aWR0aD0iMSIgaGVpZ2h0PSIxIiB4bWxucz0iaHR0cDovL3d3dy53My5vcmcvMjAwMC9zdmciPjwvc3ZnPg==\" style=\"--smush-placeholder-width: 300px; --smush-placeholder-aspect-ratio: 300\/168;\" \/><\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>\u897f\u6eaa\u903b\u8f91\u8bba\u575b\u7b2c38\u671f \uff08\u672c\u6d3b\u52a8\u53d7\u4e2d\u592e\u9ad8\u6821\u57fa\u672c\u79d1\u7814\u4e1a\u52a1\u8d39\u4e13\u9879\u8d44\u91d1\u8d44\u52a9\uff09 \u4e3b\u9898\uff1a\u4f7f\u7528LaTeX\u64b0\u5199\u903b\u8f91\u5b66\u8bba\u6587 \u62a5\u544a\u4eba\uff1a\u738b\u8f76 \u65f6\u95f4\uff1a2016\u5e7409\u670830\u65e5\uff08\u5468\u4e94\uff09 13:00-15:00 \u5730\u70b9\uff1a\u6d59\u5927\u897f\u6eaa\u6821\u533a\u4e3b\u697c259\u4f1a\u8bae\u5ba4 \u6458\u8981\uff1a\u62a5\u544a\u4eba\u9996\u5148\u5411\u5927\u5bb6\u4ecb\u7ecd\u4f7f\u7528LaTeX\u7684\u57fa\u672c\u6846\u67b6\u548c\u80cc\u666f\u77e5\u8bc6\uff0c\u7136\u540e\u9762\u5411\u903b\u8f91\u5b66\u8bba\u6587\u5199\u4f5c\u901a\u8fc7\u5177\u4f53\u7684\u4f8b\u5b50\u7ed9\u51faLaTeX\u7684\u4f7f\u7528\u65b9\u6cd5\u548c\u5fc3\u5f97\u3002\u5177\u6709\u6d59\u5927\u7f51\u7edc\u4f7f\u7528\u6743\u9650\u7684\u542c\u8bb2\u8005\u6700\u597d\u643a\u5e26\u4e00\u53f0\u7b14\u8bb0\u672c\u6216\u5e73\u677f\u7535\u8111\u3002 Slides Handouts<\/p>\n <a class=\"more-link\" href=\"https:\/\/www.zlaire.net\/events\/previous\/2016\/09\/yi-n-wang-writing-a-logic-paper-in-latex-2016-09-30\/\"><span class=\"more-msg\">Continue reading &rarr;<\/span><\/a>","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"ngg_post_thumbnail":0,"footnotes":""},"categories":[3],"tags":[],"class_list":["post-1964","post","type-post","status-publish","format-standard","hentry","category-group-meetings"],"_links":{"self":[{"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/posts\/1964","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/comments?post=1964"}],"version-history":[{"count":13,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/posts\/1964\/revisions"}],"predecessor-version":[{"id":4129,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/posts\/1964\/revisions\/4129"}],"wp:attachment":[{"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/media?parent=1964"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/categories?post=1964"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/tags?post=1964"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}