[混凝土数学] 整型函数

3.1 顶与底

. 定义

  整数是离散数学的支柱.

  我们很多时候, 都要将分数转化为整数.

  为此, 我们定义了两个整值函数: 顶, 底.

  $\lceil x\rceil$ 表示 $\ge x$ 的最小整数, 读作 " $x$ 的顶 " .

  $\lfloor x\rfloor$ 表示 $\le x$ 的最大整数, 读作 " $x$ 的底 " .

  从多个角度定义一个概念, 这样有利于对概念的理解和应用.

  我们尝试从几何上解释它.

  给定一条自下而上的数轴.

  $\lceil x\rceil$ 就是从 $x$ 点出发, 向上扫描找到的第一个整点.

  $\lfloor x\rfloor$ 就是从 $x$ 点出发, 向下扫描找到的第一个整点.

  几何上还有第二个解释, 我们尝试建立平面直角坐标系.

. 性质与应用

  我们要弄清整值函数的性质, 并用一些简单的例子加以理解, 进而有更深远的应用.

  出于应用的目的, 一些过于简单或无用的探究结果不予以显示.

性质1

  $\lceil x\rceil = x\Leftrightarrow x为整数 \Leftrightarrow \lfloor x\rfloor = x$ .

性质2

  $\lceil x\rceil - \lfloor x\rfloor = [x不为整数]$ .

  这是一个机智的命题, 给定了 $\lceil x\rceil$ 与 $\lfloor x\rfloor$ 之间的一个关系.

性质3

  $x-1 < \lfloor x\rfloor \le x \le \lceil x\rceil < x+1$ .

性质4

  $\lfloor -x\rfloor = -\lceil x\rceil$ .

  $\lceil -x\rceil = -\lfloor x\rfloor$ .

性质5 整值函数等于整数 n 的等价条件

  $\lfloor x\rfloor = n \Leftrightarrow n\le x<n+1  \Leftrightarrow x-1<n\le x$

  $\lceil x\rceil = n\Leftrightarrow n-1<x\le n \Leftrightarrow x\le n<x+1$

性质6 整值函数与整数 n 的不等关系的等价条件

  左闭右开, 顶函数: $a\le x<b \Leftrightarrow \lceil a\rceil \le x < \lceil b \rceil$ .

  左开右闭, 底函数: $a < x\le b \Leftrightarrow \lfloor a\rfloor < x \le \lfloor b\rfloor$ .

  通常配套使用的还有结论: $a < n \Leftrightarrow a+1\le n$ .

  于是,  $\lfloor a\rfloor \le x \Leftrightarrow \lfloor a \rfloor < x+1\Leftrightarrow a < x+1$ .

时间: 2024-10-07 19:54:40

[混凝土数学] 整型函数的相关文章

mssql sqlserver 验证整型函数分享

转自:http://www.maomao365.com/?p=6227 摘要:下文将制作一个isnumber验证整型的函数,供在sql脚本中做数值判断,如下所示: 例:实现原理:判断 是否包含特殊字符,是否全部为0-9的自然数组成 CREATE FUNCTION dbo.check_number ( /*验证一字符串类型是否为整型数值类型*/ @checkTmp VARCHAR(100) ) RETURNS BIT BEGIN DECLARE @tmp BIT IF LEFT(@checkTmp

从头开始 C语言的旅程

大学的时候虽然上过C语言这门课,但是不得不承认,打酱油了,什么也不会,连个HELLO WORD都写不出来的其实,但是为了今天的自己比昨天的进步一些,我决定从头开始我的C语言之旅. 今天看了谭浩强的C语言教程,第一二章,试着写了一下书上的两个小例子,发现,看程序和写程序之间还是有很大的区别的,即便是那么小那么小的程序,我居然写起来都不确定哪里该加分号,哪里该加双引号,哎,鄙视自己一下好了. 今天通过两个小程序学到如下几点 1 整型函数和整型参数不是一回事 比如int main()是整型函数,,但是

《C和指针(Pointer on c)》 学习笔记(转自:http://dsqiu.iteye.com/blog/1687944)

首先本文是对参考中三个连接的博客进行的整理,非常感谢三位博主的努力,每次都感叹网友的力量实在太强大了…… 第一章 快速上手 1.  在C语言中用/*和*/来注释掉这段代码,这个实际上并不是十分的安全,要从逻辑上删除一段C代码,最好的办法是使用#if指令: #if 0 Statement #endif 2.  其他语言中,无返回值的函数称为过程(procedure). 3.  数组做参数的时候是以引用(reference)的方式传递的,即地址传递.而标量和常量都是传值调用,被调用的函数无法修改调用

C语言笔记(谭版 第六章~末)

第六章       利用数组批量处理数据 数组是一组有序数据的集合,数组中的每一个元素都属于同一数据类型. 算是一种数据的组织结构.初现结构端倪. 一维数组 定义: 类型符 数组名[常量表达式]  数组名命名遵行标示符命名规则 C语言中不允许对数组的大小作动态定义. 说明:如果在被调用函数中定义数组,其长度可以是变量或非常量表达式.实参.此情况称为可变长数组.若数组指定为静态存储方式,此方式不合法. 引用: 数组名[下标] 下标是常量或常量表达式   序号从0开始计起. 初始化:初始化列表  i

整理一些笔试题(要求手写代码的)

1.将一整数逆序后放入一数组中(要求递归实现) void convert(int *result, int n) { if(n>=10) convert(result+1, n/10); *result = n%10; } int main(int argc, char* argv[]) { int n = 123456789, result[20]={}; convert(result, n); printf("%d:", n); for(int i=0; i<9; i+

bc #54 A problem of sorting

A problem of sorting Accepts: 445 Submissions: 1706 Time Limit: 2000/1000 MS (Java/Others) Memory Limit: 65536/65536 K (Java/Others) 问题描述 给出一张许多人的年龄和生日表.你需要从年轻到年老输出人们的名字.(没有人年龄相同) 输入描述 第一行包含一个正整数T(T \leq 5)T(T≤5),表示数据组数. 对于每组数据,第一行包含一个正整数n(1 \leq n \

必须弄懂的495个C语言问题

必须弄懂的495个C语言问题 1.1 我如何决定使用那种整数类型? 如果需要大数 值(大于32, 767 或小于?32, 767), 使用long 型.否则, 如果空间很重要(如有大数组或很多结构), 使用short 型.除此之外, 就使用int 型.如果严格定义的溢出特征很重要而负值无关紧要, 或者你希望在操作二进制位和字节时避免符号扩展的问题, 请使用对应的无符号类型.但是, 要注意在表达式中混用有符号和无符号值的情况. 尽管字符类型(尤其是无符号字符型) 可以当成"小" 整型使用

扩展mysql - 手把手教你写udf

1 MySQL简介 MySQL是最流行的开放源码SQL数据库管理系统,相对于Oracle,DB2等大型数据库系统,MySQL由于其开源性.易用性.稳定性等特点,受到个人使用者.中小型企业甚至一些大型企业的广泛欢迎,MySQL具有以下特点: l  MySQL是一种关联数据库管理系统,关联数据库将数据保存在不同的表中,而不是将所有数据放在一个大的仓库内,这样就增加了速度并提高了灵活性. l  MySQL软件是一种开放源码软件. l  MySQL数据库服务器具有快速.可靠和易于使用的特点. l  My

(转载)虚幻引擎3--UnrealScript语言参考

档概要: UnrealScript 介绍和简要参考.最初作者是Tim Sweeney (EpicGames) 内容 UnrealScript语言参考 介绍 快速链接 本文档的目的 UnrealScript的设计目标 虚幻引擎3中UnrealScript的新功能 代码结构示例 Unreal虚拟机 对象层次 类 变量 变量类型 内置类型 集合数据类型 Unreal类型 变量修饰符 可编辑性 数组 Structs 修饰符 枚举 常量 Object和actor引用变量 类引用变量 表达式 赋值 在类之间