下载文档原格式
第一局部C语言根底一、选择题1.以下正确的C语言标识符是〔〕A．%X B．a+b C．a123 D．test!2.已定义int a,b;那么以下不正确的C语句是〔〕A．a*=5; B．b/=2; C．a+=1.75; D．b&&=a;3.假设x、i、j和k都是整型变量，那么执行下面表达式后x的值为〔〕x=(i=4,j=16,k=32)A．4 B．16 C．32 D．524.C语言中的标识符只能由字母、数字和下划线三种字符组成，且第一个字符〔〕A．必须是字母B．必须为下划线C．必须为字母或下划线D．可以是字母、数字、下划线中的任一字符5.下面正确的字符常量是〔〕A．“c〞 B．’\\〞C．‘w’D．〞6.设int a=2,b=0,c;那么执行语句c+=b&&a--后， c的结果为〔〕。
A．0，1 B．1，0 C．2，0 D．不确定7. 以下不正确的C语言标识符是( )A) intB) a_1_2C) ab1exeD) _x8.以下是正确的C语言标识符是( )。
A) #defineB) _123C) %dD) \n9.以下四组字符串中都可以用作Ｃ语言程序标识符的一组是( ) 。
A)print B) i\am C) Pxq D) str_l_3d one_half My->book Cpp••• oodbs tart$it line# pow10.下面各选项组中，均是C语言关键字的组是( ) 。
A) auto，enum，includeB) switch，typedef，continueC) signed，union，scanfD) if，struct，type11.以下不属于C语言关键字的是( ) 。
A) defaultB) registerC) enumD) external12.C语言程序从main()函数开始执行，所以这个函数要写在( )。
A) 程序文件的开始B) 程序文件的最后C) 它所调用的函数的前面D) 程序文件的任何位置13.以下关于C语言的表达错误的选项是( )A) 大写字母和小写字母的意义相同B) 不同类型的变量可以在一个表达式中C) 在赋值表达式中等号(=)左边的变量和右边的值可以是不同类型D) 同一个运算符号在不同的场合可以有不同的含义14.在C语言中，错误的int类型的常数是( ) 。
《计算机程序设计基础》计算机程序设计基础_基础知识（一） 班级学号 姓名 成绩一、 单选题习题册1.C++源程序文件的默认扩展名为A。
2.A) cpp B) exeC) obj D) lik3.由C++源程序文件编译而成的目标文件的默认扩展名为C。
4.A) cpp B) exeC) obj D) lik5.由C++目标文件连接而成的可执行文件的默认扩展名为B。
6.A) cpp B) exeC) obj D) lik7.编写C++程序一般需经过的几个步骤依次是B。
8.A)编译、编辑、连接、调试B)编辑、编译、连接、调试C)编译、调试、编辑、连接D)编辑、调试、编辑、连接9.程序中主函数的名字为A 。
10.A) main B) MAINC) Main D) 任意标识符11.下面四个选项中,均是不合法的用户标识符的选项的是C。
12.A) A p_o doB)float lao _AC)b-a goto intD)_123 temp INT13.下列变量名中合法的是C。
14.A) B)C)Tom B) 3a66C) _6a7b D) $ABC15.存储以下数据，占用存储字节最多的是 D 。
16.A) 0 B) ‘0’C) “0” D) 0.017.在C++语言中，字符型数据在内存中的存储形式是D。
18.A) 补码 B) 反码C) 原码 D) ASCII码19.若有说明语句：char c =’\072’；则变量c A。
20.A) 包含1个字符B) 包含2个字符C) 包含3个字符D) 说明不合法，变量的值不确定二、填空题1.C++头文件和源程序文件的扩展名分别为.h和.cpp 。
2.C++语言规定，标识符只能由字母、数字、下划线三种字符组成，而且第一个字符必须是字母或下划线。
3.一条表达式语句必须以__分号_;___作为结束符。
4.用于从键盘上为变量输入值的标准输入流对象是___cin____；用于输出表达式值的标准输出流对象是__cout____。
其身正，不令而行；其身不正，虽令不从。
——《论语》一、选择题1.下列属于C语言中合法的标识符的是( B )A 、ex-1B 、-cookC 、951aD 、if2.若 x 为 float 型变量,则以下语句(A )。
x=213.82631;printf("%-4.2f\n",x);A、输出为213.83B、输出格式描述符的域宽不够,不能输出C、输出为213.82D、输出为-213.823.一个C程序的执行是从(C )A、main函数开始,直到最后一个函数结束B、第一个函数开始,直到最后一个函数结束C、main函数开始,直到main函数结束D、第一条语句开始,直到最后一条语句结4.构成C语言源程序的基本单位是(B )A、过程B、函数C、子程序D、命令5.以下叙述不正确的是(D )A、注释说明被计算机编译系统忽略B、注释说明必须跟在“//”之后不能换行或者括在“/*”和“*/”之间且注释符必须配对使用C、注释符“/”和“*”之间不能有空格D、在C程序中,注释说明只能位于一条语句的后面6.在C程序中,main函数的位置( A)A、可以任意B、必须作为最后一个函数C、必须作为第一个函数D、必须放在它所调用的函数之后7. C语言属于(C )A、机器语言B、汇编语言C、高级语言D、低级语言云路鹏程九万里，雪窗萤火二十年。
——《王实甫》人之为学，不日进则日退，独学无友，则孤陋而难成；久处一方，则习染而不自觉。
——《顾炎武》8.使用“scanf("a=%d,b=%d",&a,&b)”,要使a,b的值均为25,正确的输入是(D )。
A、a=25 b=25(空格分开)B、25 25(空格分开)C、25,25D、a=25,b=259. 下列叙述中,不正确的是( C)A、分号是C语句的必要组成部分B、C语句的注释可以写在语句的后面C、主函数的名字不一定用main表示D、函数是C程序的基本单位10.C程序是由( B)构成的A、若干过程B、一个或多个函数C、若干子程序D、一个主程序与若干子程序11. 以下程序的输出结果是(B )。
《程序设计基础——C#.NET》练习参考答案：一、选择题的目的就是将____A____作为新一代操作系统的基础,对互联网的设计思想进行扩展。
A．互联网 B. Windows C. C# D. 网络操作系统2.假设变量x的值为10,要输出x值,下列正确的语句是__C__。
A．System.Console.writeline(“x”) B. System.Cosole.WriteLine(“x”)C. System.Console.WriteLine(“x={0}”,x)D. System.Console.WriteLine(“x={x}”)3.要退出应用程序的执行,应执行下列的_A___语句。
A. Application.Exit();B. Application.Exit;C. Application.Close();D. Application.Close;4.关于C#程序的书写,下列不正确的说法是__D________。
A．区分大小写B．一行可以写多条语句C．一条语句可以写成多行D．一个类中只能有一个Main（）方法，因此多个类中可以有多个Main（）方法5. 在C#语言中，下列能够作为变量名的是__C__。
A．if B. 3ab C. b_3a D. a-bc7. 能正确表示逻辑关系“a≥5或a≤0”的C#语言表达方式是__D__。
A．a>=5 or a<=0 B. a>=5|a<=0 C. a>=5&&a<=0 D. a>=5||a<=08. 以下程序的输出结果是___C_____。
A. 5B. 4C. 6D. 不确定9. If语句后面的表达式应该是__A___。
A．逻辑表达式 B. 条件表达式 C. 算术表达式 D. 任意表达式10．有如下程序:该程序的输出结果是__A___。
A. a=0,b=1B. a=1,b=1C. a=1,b=0D. a=2,b=211．以下叙述正确的是__D___。
程序设计基础理论练习题(带答案)程序设计基础理论练习题(带答案)1. 编程语言的发展历程从机器语言到高级语言的发展，现代计算机编程语言的分类和特点。
答案：编程语言的发展经历了多个阶段。
最早的计算机只能使用机器语言进行编程，这是一种由0和1组成的二进制代码。
随着计算机的发展，高级语言逐渐出现。
高级语言通过使用更接近自然语言的语法和结构，使得编程更加易于理解和用户友好。
现代计算机编程语言多种多样，比如C、Java、Python等。
它们各自有着不同的特点和用途。
2. 数据类型与变量不同编程语言中常见的数据类型和变量的定义、使用方法。
答案：不同编程语言中常见的数据类型包括整数、浮点数、布尔值、字符和字符串等。
变量用于存储不同类型的数据。
在大部分编程语言中，变量需要先定义，然后才能使用。
定义变量时需要指定变量名和数据类型。
变量名是用于标识变量的名称，而数据类型决定了变量可以存储的值的种类和范围。
使用变量时可以给其赋值或者读取其值。
3. 运算符常见的运算符有哪些？它们的功能和使用方法是什么？答案：常见的运算符包括算术运算符、比较运算符、逻辑运算符和赋值运算符等。
算术运算符包括加、减、乘、除、取余等，用于执行基本的数学运算。
比较运算符用于比较两个值的大小关系，包括等于、大于、小于等。
逻辑运算符用于处理布尔值，比如与、或、非等。
赋值运算符用于将一个值赋给一个变量。
4. 控制流程程序中常见的控制流程结构，包括条件判断和循环结构。
答案：程序中常见的控制流程包括条件判断和循环结构。
条件判断结构用于根据某个条件的真假来决定执行不同的代码段。
常见的条件判断结构有if语句和switch语句。
循环结构用于反复执行某段代码，直到满足某个条件才停止。
常见的循环结构有while循环、do-while循环和for循环。
5. 函数和模块函数和模块的定义和使用方法，函数的参数传递和返回值。
答案：函数是一段封装了特定功能的代码块，可以被反复调用。
c语言程序设计基础试题及答案一、选择题（每题2分，共20分）1. C语言中，以下哪个关键字用于定义一个结构体？A. structB. unionC. enumD. typedef答案：A2. 下列哪个选项是C语言中的合法整数？A. 0x10B. 0X1GC. 08D. 0L答案：A3. 在C语言中，用于定义一个函数的关键字是？A. defineB. functionC. defD. void答案：B4. C语言中，以下哪个是正确的字符串定义？A. char str[] = "Hello";B. char str[] = {"Hello"};C. char str = "Hello";D. char str[] = 'Hello';答案：A5. 在C语言中，以下哪个运算符用于求余？A. %B. /C. //D. %答案：A二、填空题（每题3分，共15分）1. 在C语言中，定义一个整型变量的关键字是________。
答案：int2. 如果一个函数没有返回值，应该使用________关键字声明。
答案：void3. 在C语言中，________运算符用于连接字符串。
答案：+4. C语言中，________运算符用于比较两个值是否相等。
答案：==5. 在C语言中，________关键字用于定义一个指针变量。
答案：*三、简答题（每题5分，共20分）1. 简述C语言中数组和指针的关系。
答案：在C语言中，数组名可以被当作指向数组第一个元素的指针。
数组的每个元素可以通过指针运算来访问。
2. 解释C语言中函数原型声明的作用。
答案：函数原型声明提供了函数的名称、返回类型和参数类型，但不需要函数体。
它允许在函数定义之前调用函数，同时帮助编译器检查函数调用的正确性。
3. 什么是C语言中的预处理指令，举例说明。
答案：预处理指令是C语言中的特殊命令，用于在编译之前处理源代码。
程序设计基础试题(附答案)程序设计基础试题(附答案)程序设计是计算机科学领域中的一门重要学科，它涉及到计算机软件的开发过程以及解决问题的方法和技巧。
掌握程序设计基础知识对于想要成为一名优秀的程序员来说至关重要。
本文将给出一些程序设计基础试题，并附上详细的答案解析，希望能够对初学者或者想要提升编程水平的人有所帮助。
题目一：设计一个程序，输入一个整数n，输出1到n之间的所有偶数。
解答：```pythonn = int(input("请输入一个整数："))for i in range(1, n+1):if i % 2 == 0:print(i)```题目二：编写一个函数，判断一个字符串是否是回文串（正着读和反着读都一样的字符串）。
解答：```pythondef is_palindrome(s):if s == s[::-1]:return Trueelse:return Falsestring = input("请输入一个字符串：")if is_palindrome(string):print("是回文串")else:print("不是回文串")```题目三：编写一个程序，统计一个字符串中每个字符出现的次数。
解答：```pythonstring = input("请输入一个字符串：")char_count = {}for char in string:if char in char_count:char_count[char] += 1else:char_count[char] = 1for char, count in char_count.items():print(f"{char}: {count}")```题目四：设计一个程序，计算斐波那契数列的第n项。
解答：```pythondef fibonacci(n):if n <= 0:return Noneelif n == 1 or n == 2:return 1else:a, b = 1, 1for _ in range(n - 2):a, b = b, a + breturn bn = int(input("请输入一个整数："))result = fibonacci(n)if result is None:print("请输入一个正整数！")else:print(f"斐波那契数列的第{n}项为：{result}") ```题目五：编写一个函数，判断一个正整数是否是素数。
程序设计基础试题一及答案一、填空题（每空1分，共10分）（1）__________语言是计算机唯一能够识别并直接执行的语言。
（2）算法的复杂度包含两方面：和。
（3）__ 函数是C语言程序启动时惟一的入口。
（4）逗号表达式（a=3*4,a*5）,则a的值为。
（5）数据的存储结构有两种：一种是顺序存储结构，另一种是______________。
（6）图的遍历有两种：_________________和广度优先搜索。
（7）对栈中元素的操作是按照“______________”的原则进行的。
（8）从是否关心软件内部结构和具体实现的角度，把软件测试分为__________________和_______________两类。
二、单选题（每题1分，共30分）（1）世界上第一台电子计算机的英文名字为（）。
A) EDVAC B）EDSAC C)ENIAC D) UNIVAC（2）计算机的软件系统可分为（）。
A）程序和数据 B）操作系统和语言处理系统C）程序、数据和文档 D）系统软件和应用软件（3）与十进制数100等值的二进制数是（）。
A）0010011 B）1100010 C）1100100 D）1100110（4）一个算法除了能对合法的输入数据得到正确的结果外，还应对非法的或者不合乎要求的输入数据作出正确合理的处理，这体现了算法的（）。
A）正确性 B）健壮性 C）可读性 D）高效率（5）程序设计应该遵守（）的设计原则。
A) 自顶向下，逐步细化B) 自底向上，逐步细化C) 自底向上，同步扩展D) 自顶向下，同步扩展（6）下列关于注释的说法哪个是错误的（）。
A）注释不是程序中的可执行语句B）注释对于程序的执行有很重要的意义C）注释将在程序的编译阶段被编译器剔除D）编程时在程序中添加适当的注释是一个良好的编程风格（7）下面四个选项中，不合法的用户标识符是（）。
A）sum B）stu_name C）a>b D）_total（8）设c是字符变量，以下语句中错误的是（）。
《程序设计基础》考试试卷一班级姓名学号____________一、选择题（20分）1.算法具有五个特性,以下选项中不属于算法特性的是(A)有穷性(B)简洁性(C)可行性(D)确定性2.以下选项中可作为C语言合法常量的是(A)-80. (B)-080 (C) (D)3.以下叙述中正确的是(A)用C语言实现的算法必须要有输入和输出操作(B)用C语言实现的算法可以没有输出但必须要有输入(C)用C程序实现的算法可以没有输入但必须要有输出(D)用C程序实现的算法可以既没有输入也没有输出4.以下不能定义为用户标识符是(A)Main (B) _0 (C) _int (D) sizeof5.以下选项中,不能作为合法常量的是(A) (B) (C)+4 (D)6.数字字符0的ASCII值为48,若有以下程序main(){char a='1',b='2';printf("%c,",b++);printf("%d\n",b-a);} 程序运行后的输出结果是(A)3,2 (B)50,2 (C)2,2 (D)2,507.有以下程序main(){int m=12,n=34;printf("%d%d",m++,++n); printf("%d%d\n",n++,++m);}程序运行后的输出结果是(A) (B) (C) (D)8.有以下语句:int b;char c[10];,则正确的输入语句是A)scanf("%d%s",&b,&c); B) scanf("%d%s",&b,c);(C)scanf("%d%s",b,c); D)scanf("%d%s",b,&c);9.有以下程序main(){int m,n,p;scanf("m=%dn=%dp=%d",&m,&n,&p);printf("%d%d%d\n",m,n,p); } 若想从键盘上输入数据,使变量M中的值为123,N中的值为456,P中的值为789,则正确的输入是A)m=123n=456p=789 B)m=123 n=456 p=789 C)m=123,n=456,p=789 D)123 456 78910.有以下程序main(){int a,b,d=25;a=d/10%9;b=a&&(-1);printf("%d,%d\n",a,b); }程序运行后的输出结果是A）6，1 B）2，1 C）6，0 D）2，011.有以下程序main(){int i=1,j=2,k=3;if(i++==1&&(++j==3||k++==3))printf("%d %d %d\n",i,j,k);}程序运行后的输出结果是(A)1 2 3 (B)2 3 4 (C)2 2 3 (D)2 3 312.若整型变量a、b、c、d中的值依次为：1、4、3、2。
程序设计基础c语言试题及答案一、选择题（每题2分，共20分）1. C语言中，用于表示逻辑“与”的运算符是：A. &&B. ||C. &D. |答案：A2. 下列哪个选项不是C语言中的关键字？A. intB. floatC. longD. double答案：D3. 在C语言中，下列哪个函数用于将字符串连接起来？A. strcat()B. strcmp()C. strcpy()D. strlen()答案：A4. C语言中，用于定义一个结构体的关键字是：A. structB. unionC. enumD. typedef答案：A5. 下列哪个选项是C语言中的合法变量名？A. 2nd_nameB. intC. _nameD. name$答案：C6. C语言中，用于定义一个指针的语法是：A. int *p;B. int *p = 0;C. int p*;D. int *p = 1;答案：A7. 在C语言中，下列哪个选项是正确的函数声明？A. int function(int a, int b);B. int function(int, int);C. int function(int a; int b);D. int function(int, int a, b);答案：A8. C语言中，用于表示逻辑“非”的运算符是：A. !B. ~C. &&D. ||答案：A9. 下列哪个选项是C语言中的合法常量？A. 1.23B. 0x1AC. 0123D. All of the above答案：D10. 在C语言中，下列哪个选项是正确的数组声明？A. int arr[5] = {1, 2, 3};B. int arr[5] = {1, 2, 3, 4, 5, 6};C. int arr[] = {1, 2, 3};D. int arr[5];答案：C二、填空题（每题2分，共20分）1. C语言中，用于输入的函数是________。
程序设计基础复习题一、单选1、一个完整的计算机系统应该包括（）A、系统软件和应用软件B、计算机及其外部设备C、硬件系统和软件系统D、系统硬件和系统软件2、“裸机”的概念是指（）A、正在进行设计还没有组装好的计算机B、已经组装好但还没有安装任何软件的计算机C、仅安装了操作系统的计算机系统D、安装了文字处理软件但没有安装专用数据处理系统的计算机3、世界上第一台电子数字计算机研制成功的时间是（）A、1936年B、1946年C、1956年D、1970年4、CASE的含义是（）A、计算机辅助设计B、计算机辅助制造C、计算机辅助教学D、计算机辅助软件工程5、当前广泛使用的微型计算机是（）A、第一代B、第二代C、第三代D、第四代6、当代计算机的体系结构称为是（）A、冯·诺依曼机B、非冯·诺依曼机C、图灵机D、比尔盖茨机7、硬盘是（）A、输入设备B、输出设备C、存储设备D、计算设备8、下面4句话中，最准确的表述是（）A、程序=算法+数据结构B、程序是使用编程语言实现算法C、程序的开发方法决定算法设计D、算法是程序设计中最关键的因素9、计算机能直接执行的语言是（）A、机器语言B、汇编语言C、高级语言D、目标语言10、解释程序的功能是（）A、将高级语言程序转换为目标程序B、将汇编语言程序转换为目标程序C、解释执行高级语言程序D、解释执行汇编语言程序11、下面4种程序设计语言中，不是面向对象式语言的是（）A、JAVAB、Object PascalC、DelphiD、C12、不是C语言的基本数据类型是（）A、intB、doubleC、charD、bool13、在C语言中，为了求两个整数相除之后得到的余数，可以使用运算符（）A、/B、%C、*D、++14、数据的逻辑结构分为（）A、纯属结构和非线性结构B、顺序结构和非顺序结构C、树型结构和图型结构D、链式结构和顺序结构15、用链表表示纯属表的优点是（）A、便于随机存取B、便于插入和删除操作C、花费的存储空间较顺序存储少D、元素的物理顺序与逻辑顺序相同16、栈的最主要特点是（）A、先进先出B、先进后出C、两端进出D、一端进一端出17、下面4句结论只有一句是错误的，它是（）A、二叉树是树B、二叉树的左右子树的位置可以颠倒C、可以使用二叉树的思想对数值进行排序D、可以采用链表方式存储二叉树18、螺旋模型中包括需求定义、风险分析、工程实惠和评审四个阶段，在开发过程中（）A、每个周期都要包括这四个阶段B、每个周期可以包括不同的阶段C、在最后交付使用之前才进行评审D、在项目开始时才需要进行风险分析19、软件工程的出现主要是由于（）A、程序设计方法学的影响B、其他工程科学的影响C、软件危机的出现D、计算机的发展20、在软件工程中，软件测试的目的是（）A、试验性运行软件B、发现软件错误C、证明软件是正确的D、找出软件中全部错误二、填空题1、世界上最早的高级程序设计语言是（）2、计算机按照工作原理进行分类可以分为（）和（）3、当前计算机的最基本原理采用的是（）4、计算机存储器一般分为两级，它们是（）和（）5、高级语言程序的翻译有两种方式，一种是（），另一种是（）6、数据的存储结构可以用（）和（）7、树型结构的主要特征是结点之间存在着一种层次的关系，数据元素之间的关系是（）的关系。
在图型结构中，任何两个结点之间都可能存在着联系，数据元素之间存在着（）的关系。
8、若循环队列的头指针为front，尾指针为rear，rear指向队尾元素，front 指向当前队头元素的前一个位置。
则队空的条件是（），队满的条件是（）入队操作时附属指针应进行的操作是（），出队时队头指针应进行的操作是（）。
9、评价算法效率的主要指标是（）和（）10、软件开发模型大体上可分为两种类型，第一种是（）为前提的瀑布模型。
第二种是在软件开发初始阶段（）时采用的渐进式开发模型，如原型模型、螺旋模型等。
三、简答1、简述计算机程序设计语言的分类和各类的特点。
2、什么是程序设计方法学？程序设计方法学是在什么基础上发展起来的？程序设计方法学包含的主要内容是什么？3、软件工程中瀑布模型的主要思想和特点是什么？4、编写程序，从键盘输入h值，输出h行用*号组成的等腰三角形。
例：输入h=4，输出的图形如下：****************5、编写程序，中国古代数学家张丘健在他的《算经》中提出了著名的“百钱百鸡问题”：鸡翁一，值钱五；鸡母一，值钱三；鸡雏三，值钱一；百钱买百鸡，翁、母、雏各几何？答案：一、1C 2B 3B 4D 5D 6A 7C 8A 9A 10C 11D 12D 13B 14A 15B 16B 17B 18A 19C 20B二、填空1、FORTRAN2、数字计算机模拟计算机3、冯·诺依曼的“存储程序原理”4、主存储器（主存，内存）外存储器（外存，辅存）5、解释方式编译方式6、顺序存储方式链式存储方式7、一对多多对多8、队空：front=rear队满：(rear+1)%maxsize=front入队时：：rear=(rear+1)%maxsize出队时：front=(front+1)%maxsize9、时间复杂度空间复杂度10、软件需求完全确定只能提供基本需求三、简答1、简述计算机程序设计语言的分类和各类的特点答：一般分为三类：机器语言，汇编语言和高级语言机器语言是台计算机出厂时，厂家都为它配备一套机器语言，不同的计算机，其机器语言通常是不同的。
由于机器语言是面向具体机器的，所以其程序缺乏通用性，编写程序的过程繁琐复杂，易出错，错了又不易查找和修改，编出的程序可读性极差。
汇编语言是机器语言的符号化形式。
用汇编语言编写的程序经汇编器加工处理后，就转换成可由计算机直接执行的目标程序。
汇编语言提高了程序设计效率和计算机利用率。
汇编评议仍属面向机器的一种低级语言，其程序的通用性和可读性较差。
高级程序设计语言是指通用性好，不必对计算机的指令系统有深入的了解就可以编写程序。
采用高级语言编写的程序在不同型号的计算机上只需做某些微小的屐便可运行，只要采用这些计算机上的编译程序重新编译即可。
高级语言具有通用性，与具体的机器无关。
2、什么是程序设计方法学？程序设计方法学是在什么基础上发展起来的？程序设计方法学包含的主要内容是什么？程序设计方法学是讨论程序的性质、程序设计的理论和方法的一门学科。
在程序设计方法学中，结构程序设计占有十分重要的地位，可以说，程序设计方法学是在结构程序设计的基础上逐步发展和完善起来的。
它包含的内容比较丰富，例如，结构程序设计，程序正确性证明，程序变换，程序的形式说明与推导、程序综合、自动程序设计等。
3、软件工程中瀑布模型的主要思想和特点是什么？瀑布模型也称软件生存周期模型。
根据软件生存周期各个阶段的任务，瀑布模型从可行性研究（或称系统需求分析）开始，逐步进行阶段性变换，直到通过确认测试并得到用户确认的软件产品为止。
瀑布模型上一阶段的变换结果是下一阶段变换的输入，相邻的两阶段具有因果关系，紧密相联。
一个阶段工作的失误将蔓延到以后的各个阶段。
瀑布模型在软件工程中占有重要的地位，它提供了软件开发的基本框架，这经依靠“个人技艺”开发软件好得多。
它有于大型软件开发过程中人员的组织和管理，有利于软件开发方法和工具的研究与使用，从而提高了大型软件项目开发的质量和效率。
瀑布模型的主要特点是：阶段间的顺序性和依赖性，开发过程是一个严格的下导式过程，即前一阶段的输出是后一阶段的输入，每一阶段工作的完成需要确认，而确认过程是严格的追溯式过程，后一阶段出现了问题要通过前一阶段的重新确认来解决。
因此，问题发现得越晚解决问题的代价就越高。
4、#include<stdio.h>main(){int h, k, j;scanf(“%d”,&h);for(k=1; k<=h; k++ ){ for ( j=1; j<=h-k; j++ )printf(“ ”);for (j=1; j<=2*k-1; j++ )printf(“*”);printf(“\n”);}5、#include<stdio.h>main(){int x, y, z, j=0;for(x=0; x<=20; x++ )for (y=0; y<=33 ; y++ )for (z=0; z<=100 ; z++ )if ( z%3==0 && x+y+z==100 && 5*x+3*y+z/3==100)printf(“%2d:cock=%2d hen=%2d chicken=%2d\n”, ++j, x, y, z); }。
