crossain

摘要： 本文是对于北京大学熊英飞老师《软件分析》课件以及南京大学李樾老师《软件分析》课程视频的总结。 1.哥德尔不完备定理及其在软件分析中应用 1.1定理内容 对任意能表示自然数的系统，一定有定理不能 被证明 1.2定理应用 主流程序语言的语法+语义=能表示自然数的形式系统 。 哥德尔不完备定理在处理内存泄 阅读全文

摘要： ​ 最近在自学numpy，从网上找了视频来看，感觉numpy的指令很多，怕记不清所以统一贴出来方便查阅。 导入numpy模块，一般简写为np numpy的属性 print(array) 打印出数组 判断数组是几维的（一维二维等等） 判断数组的形状 )判断数组的大小 numpy的创建array 简单创 阅读全文