摘要：
这个是比较针对期末复习的知识点整理，根据我的复习随缘更新，如果发现有些部分没写那就是因为我还没复习到（大概） （PS：这些知识点中有很大部分来自老师的PPT，也有一部分来源于学长学姐整理的资料，最后也有一小部分来源于我自己的总结） 一.简答题 1.串行系统的程序正确性定义。 2.有限状态机的不足之处 阅读全文
摘要：
1.设断点并建断言 (1)开始处A： (2)循环主干处B,C等： 2.取良序集并定义函数 (1)良序集：一般为<N,<>（与证良函数有关） (2)函数：为存在循环的断点定义函数f(x)（注意：f(x)需要随着循环递减） 找随循环递减的f(x)的技巧： 看变化量和跳出循环的判断条件中的变量 尝试单个变 阅读全文
摘要：
7-4 是不是太胖了 据说一个人的标准体重应该是其身高（单位：厘米）减去100、再乘以0.9所得到的公斤数。已知市斤的数值是公斤数值的两倍。现给定某人身高，请你计算其标准体重应该是多少？（顺便也悄悄给自己算一下吧……） 输入格式： 输入第一行给出一个正整数H（100 < H ≤ 300），为某人身高 阅读全文
摘要：
6-1 打印1-100之间素数及其个数 打印出1-100之间的全部素数及其个数，其中判断一个数是否为素数用函数实现。 函数接口定义： int prime(int x) 其中x是用户传入的参数，如果x是素数则函数返回1，否则函数返回0。 裁判测试程序样例： #include <stdio.h> int 阅读全文
摘要：
1.设断点 一般我们会在如下位置设置断点： (1)程序开始处 (2)程序结束处 (3)循环主干处 2.建断言 (1)开始处A： 一般为题干的要求，写为 (2)结束处C： 一般为输出结果z，写为 (3)循环主干处： （写为） 此处断言最为难建立，一般有三种方法得出断言： 1)从结果倒推 2)观察题目及 阅读全文
摘要：
7-5 有没有一捏 题目背景 一个神秘的数字解码器被用来识别和分析城市监控系统中的加密信号。这些信号用二进制代码表示，二进制值代表了不同类型的安全信息，当二进制值的最后一位为0时，代表该信号是安全的，不会造成网络威胁，如果最后一位是1的，则该信号是1，有潜在的网络威胁。作为一名才华横溢的网络工程师， 阅读全文
摘要：
7-2 除去自身的最大因数 输入一个整数，计算该整数除去自身的最大因数。 输入格式: 一个整数a。 输出格式: 一个整数，整数a除去自身的最大因数。 输入样例: 在这里给出一组输入。例如： 6 输出样例: 在这里给出相应的输出。例如： 3 解题思路： 1.题目意思：输入一个数，找到它除自身之外的最大 阅读全文
摘要：
7-1 感染人数 设某住宿区域是一个n×n的方阵，方阵中的每个小方格为一个房间，房间里可能住一个人，也可能空着。第一天，某些房间中住着的人得了一种高传染性的流感，以后每一天，得流感的人会使其邻居（住在其上、下、左、右方向存在的房间里面的人）传染上流感，请问：第m天总共有多少人得流感？ 输入格式: 第 阅读全文
摘要：
6-1 使用函数求奇数和 本题要求实现一个函数，计算N个整数中所有奇数的和，同时实现一个判断奇偶性的函数。 函数接口定义： 在这里描述函数接口。例如： int even( int n ); int OddSum( int List[], int N ); 其中函数even将根据用户传入的参数n的奇偶 阅读全文
摘要：
7-1 循环嵌套 计算s=1+（1+2）+（1+2+3）+……+（1+2+……+n）。 输入格式: 输入在一行中给出n的值。 输出格式: 在输出行显示计算出的结果。 输入样例: 在这里给出一组输入。例如： 20 输出样例: 在这里给出相应的输出。例如： sum=1540 解题思路： 1.观察需要计算 阅读全文