最近复习Intuitionistic logic的时候真正注意到standard logic确实很有问题。 比如对于所有的a和所有的b，standard logic 里面我们...
发简信
IP属地：北京
-
standard logic 的问题：causality
-
c++ stack recursion 返回二叉树深度
#include #include <vector> #include #include using namespace std; struct TreeNode { i...
-
git 简单的使用：关联远程仓库、提交、版本回退、新建分支、合并分支
generer une cle SSH : ssh-keygen -t rsa rsa pour indiquer l'algorithme utilise pour la...
-
如果你是程序员，或者有一颗喜欢写程序的心，喜欢分享技术干货、项目经验、程序员日常囧事等等，欢迎投稿《程序员》专题。 专题主编：小彤花园 http://www.jianshu.com/users/4a4eb4feee62/ 【程序员】专题拒稿指北：http://www.jianshu.com/p/7c8b33b5f63b 投稿须知： 1.收录相关技术文章，但不限于技术，也可以是项目经验类的文章和程序员日常。 2.文章內不得有任何推广信息。包括但不限于公众号、微博、微信，更不得在通过投稿后再修改文章加入推广信息。你可以将这些推广以及个人信息放在个人主页介绍里。 3.字数极少，段落混乱，大段代码没有放到代码框的文章不收录 4.不相关的内容不收录，请确认文章内容和本专题相关 目前针对优质作者及爱好者，开设了官方程序员微信群，希望加入请发简信给主编小彤花园索取个人微信，主编会将你加入到【程序员】微信群，分享内容，收获知识。添加微信时备注昵称。
-
故事专题，不论是旅行生活中亲身经历的真实故事，还是童话玄幻遐想的虚构故事，这里记录你的每个故事。 欢迎向我们投稿你的故事！ 所投稿件必须是一个完整的故事，故事包括但不限于：小说、世间故事、叙事散文、以叙事为主的回忆录…… 投稿前，请阅读最有趣的投稿指南： http://www.jianshu.com/p/9da8500a57f0 投稿须知： 1.建议题材：有情节的小说、身边的故事、叙事游记、以叙事为主的回忆录、职业故事等。 2.不建议题材：连载、只有大道理的鸡汤、成功学、工具文、诗歌、观点时评类文章等。 3.文章在一千字以上，排版合理，不影响阅读体验。 4.禁止外链宣传。不得有个人微信、微信公众号、微博、豆瓣链接。 专题主编：似舞 https://www.jianshu.com/u/021585ebd561 目前【故事】专题已建有专题社群，私信主编暗号“我爱故事”，即可获得入群链接。任何投稿疑惑，写作问题，感情困难，都可以进群进行申诉，会有专人解决你的问题。
-
-
欢迎来到@产品专题，本专题汇集了30多万的小伙伴，每天有100篇优质文章的投稿，更有优质的产品社群。 @产品专题主要收录的是：产品、设计、技术、运营、体验、文档、工具、经验总结、项目总结等类型的优质文章。 专题投稿须知 1、所投稿的文章必须是原创作品，具有一定的可读性。 2、① App、软件推荐／评测类建议转投工具癖 ② 营销、文案类建议转投广告圈 ③ 职场成长类建议转投上班这点事儿 3、文章內不得有任何推广信息。包括但不限于公众号、微博、微信、豆瓣、QQ个人资料；不必要的外链；文章图片有微信水印、或者网站水印有推广嫌疑的。 4、本专题拒绝任何形式的全文转载内容。 专题投稿指南： https://www.jianshu.com/p/8bb3bcd951ce 专题主编：文俊粥 https://www.jianshu.com/u/0df55b412537 可添加主编微信：vk201205（文俊，备注：简书产品加群）
