CoC- declaration and definition

作者: SteveW_775f | 来源:发表于2018-05-30 10:14 被阅读0次

Require Import ZArith.

Open Scope Z_scope.

Reset binomial_def.

Section binomial_def.

Variables a b:Z.

Definition binomial (z:Z):= a*z + b.

Section trinomial_def.

Variable c : Z.

Definition trinomial (z:Z) := (binomial z) * z + c.

End trinomial_def.

End binomial_def.

Print binomial.

Definition p1 : Z->Z := binomial 5 (-3).

Print p1.

Definition polynomial (x:Z) : Z := 2*x*x + 3*x +3.

Compute polynomial (-6).

CoC- declaration and definition
Require Import ZArith. Open Scope Z_scope. Reset binomial...
2018-02-03
c++ 复习declaration definition When a variable is defined,i...
C++ 学习笔记2 C++的编译
一些基本概念定义(definition) vs 声明(declaration) : 定义是指给出关于变量/结构/...
C/C++语言声明与定义详解
C/C++语言中，声明（Declaration）与定义（Definition）很容易混淆，但是正确使用声明与定义对...
必须知道的C语言知识细节：声明和定义
C语言中的声明(declaration)和定义(definition)是两个容易混淆的概念。声明只是给变量、函数...
C++基础知识学习-声明/定义/引用/指针
声明(declaration),定义(definition) 如果想声明一个变量而非定义它,就在变量名前添加关键字...
CSS-复习手册
一、 Property:属性 Value:值 CSS declaration CSS declaration b...
Declaration
This is a cool place. I found it several days ago, and fe...
Definition
世间无意，人心惶惶。我们只是在互相伤害中，缓慢生长。你逐渐老去，被我的话语刺伤。嘴角的微笑，又何时被...
definition
this / getActivity() this is a reference to the current c...