谓词逻辑

谓词,在谓词逻辑中,原子命题分解成个体词和谓词。 个体词是可以独立存在的事或物,包括现实物、精神物和精神事三种。谓词则是用来刻划个体词的性质的词,即刻画事和物之间的某种关系表现的词。如“苹果”是一个现实物个体词,”苹果可以吃”是一个原子命题,“可以吃”是谓词,刻划“苹果”的一个性质,即与动物或人的一个关系。
1. (10分)写一个掷骰子的程序,连续投掷直到得到6点的结果后停止,打印总计投掷的次数。
2. (10分)有一个长度为1000的数组,数组值为1-99中间的任意整数,请编写程序按照数字在数组中出现次数从多到少排序输出。
3. (10分)使用Java代码或伪代码列出一个目录下所有的文件,包括所有子目录下的文件
4. (15分)使用Java代码实现:一列数的规则如下: 1、1、2、3、5、8、13、21、34 ,求第n位数是多少(n做为输入参数)?
5. (15分)如果一个数字等于它的所有分解项相加,则这个数就是我们要找的数字。示例数字 6可分解为1、2、3,1+2+3=6。用代码找出1-500以内的所有符合这样条件的数字。
6. (10分)编写一个函数将字符串转为驼峰结构。例如main-action-holder,转换结果为mainActionHolder
7. (15分)简单实现在线购买电影票,请重点考虑多人同时购买一个座位的情况,可以使用伪代码
8. (8分)学生表:STUDENT(ID,USER_NAME)和考试表:EXAM(ID,USER_ID,SCORE)表,STUDENT表主键为ID字段,EXAM表中外键USER_ID为STUDENT的ID字段值,编写SQL查询每位学生的成绩,缺考的以0分处理(缺考的考试表中无记录)
9. (7分)已知用户表USER(ID,USER_NAME,AGE),通过sql语句查询表中相同年龄(AGE)存在两条以上记录的用户年龄及用户个数,并按照统计数量倒排序