- 博客(10)
- 收藏
- 关注
RSS订阅原创 西南大学计算机学硕808真题
首先说明真题为回忆版，不一定完全准确，但尽可能最大程度反映去年的考试情况，希望能对今年考研的学弟学妹有帮助和指导作用。从这一年开始西南大学的计算机专业课换了题型，由原来的客观题+主观题变成了，全是主观题（即 15 道大题，一道 10 分），但具体的说也不准确，有的大题有两个小题或者两问，但总体还是不变的。（因为具体的题有些记不太清，只能告诉你们考点）最后说一点，不管题型如何变，知识点都是一样的，所以王道论坛这本书很关键，因为它很全面，一定要复习好，真题是检测作用，掌握知识考点才能以不变应万变。
2023-04-26 21:37:04
1961
13
原创 python执行子目录下的文件，sys.path.append(“..“)
对于上面文件组织方式，如果在a.py中使用from floderB import b，并且在floderA目录下运行a.py，要想from floderB import b不报错，可以。如果在a.py中使用from floderB import b，若在根目录下运行a.py，要想from floderB import b不报错，可以。当我们导入一个模块时： import xxx ，默认情况下python解释器会搜索当前目录、已安装的内置模块和第三方模块。搜索路径存放在sys模块的path中。
2023-04-04 22:37:39
959
原创 git本地仓库推送到github
为什么Git添加文件需要add，commit一共两步呢？因为commit可以一次提交很多文件，所以你可以多次add不同的文件，比如：总结一下，git add用于将修改行为放入待提交状态，git commit用于将待提交修改正式提交入git。类似于sql的事务提交，都是在提交事务前可以多次执行命令，一次提交。git status用于检查是否有未提交的修改，是否有未放入待提交状态的修改以及，哪些文件被修改了。
2023-04-01 23:16:58
230
原创 Lambda、方法引用符(::)、Function包
从本质上讲，Lambda表达式是⼀个匿名函数。使用Lambda表达式可以对⼀个接⼝进行非常简洁的实现。之前我们在给一个接口引用赋值的时候，可以使用接⼝实现类，或者匿名内部类。但是有了Lambda表达式，我们可以更加方便的实现这个需求。function包下总共有43个接口,可分为这四类核心函数式接口：Function、Supplier、Consumer、Predicate。以Function为例。（lambda表达式和方法引用在任何情况下都不能脱离上下文存在，上下文指定了将表达式赋给哪个函数式接口。
2023-03-21 18:51:09
63
原创 逻辑学作业task5.1-5.2-5.4
prove_specialization(proof: Proof, specialization: InferenceRule) -> Proof:将给定的Proof对象根据给定的InferenceRule转换成特殊化的Proof。proof.rules不变，statement和line.formula都特殊化。Task 5.2a实现函数_inline_proof_once(main_proof: Proof, line_number: int, lemma_proof: Proof) -> Pro
2022-11-27 10:57:35
125
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人