高一数学同步课堂提升
坚持就是胜利！ 1.2.1 命题与量词
1.2.2 全称量词命题与存在量词命题的否定
1. 课标要求
考点 学习目标 核心素养
全称量词命题与存在量词命题的定义 理解全称量词、全称量词命题的定义，理解存在量词、存在量词命题的定义 数学抽象
全称量词命题与存在量词命题的真假判断 掌握判断全称量词命题与存在量词命题真假的方法 逻辑推理
全称量词命题与存在量词命题的否定 理解全称量词命题与存在量词命题的关系，掌握对全称量词命题或存在量词命题进行否定的方法 数学抽象
2. 自主预习
预习教材P22－P29，思考以下问题：
1．全称量词、全称量词命题的定义是什么？
2．存在量词、存在量词命题的定义是什么？
3．全称量词命题与存在量词命题的否定分别是什么命题？
4．全称量词命题“∀x∈M，r(x)”的否定是什么？
5．存在量词命题“∃x∈M，s(x)”的否定是什么？
3. 基础知识
1. 全称量词和存在量词
全称量词 存在量词
量词 任意、所有、每一个 存在、有、至少有一个
符号 ∀ ∃ 高一数学同步课堂提升
坚持就是胜利！ 命题 含有全称量词的命题叫做全称量词命题 含有存在量词的命题叫做存在量词命题
命题形式 “对集合M中任意一个元素x，有r(x)成立”，可用符号简记为“∀x∈M，r(x)” “存在集合M中的一个元素x，使s(x)成立”，可用符号简记为“∃x∈M，s(x)”
2. 全称量词命题与存在量词命题的否定
q ¬q 结论
全称量词命题
∀x∈M，q(x) ∃x∈M，¬q(x) 全称量词命题的否定
是存在量词命题
存在量词命题
∃x∈M，p(x) ∀x∈M，¬p(x) 存在量词命题的否定
是全称量词命题
4. 基本方法
（1）全称量词命题与存在量词命题的辨析
例1.判断下列语句是否为全称量词命题或存在量词命题．
(1)所有不等式的解集A，都满足A⊆R；
(2)有些实数a，b能使|a－b|＝|a|＋|b|；
1.2 基本算法语句
【学习目标】
经历将具体问题的程序框图转化为程序语句的过程，理解几种基本算法语句——输入语句、输出语句、赋值语句、条件语句、循环语句，体会算法的基本思想。
【知识网络】
【学路导引】 学习重点：输入语句、输出语句、赋值语句、条件语句、循环语句的用法
学习难点：用SCILAB语言来演示实现算法的三种基本结构
学法指导：通过模仿、操作、探索，将程序框图转变为程序语言，了解算法语言的基本构成，理解几种基本算法语句，熟悉算法的三种基本结构。
【范例精析】
例1：给定x的任一个值，求函数0,10,)(2xxxxxf 的值。
精析：属于条件分支结构，利用键盘输入语句和条件语句编程。
解：x=input("x=")
if x>0
y=x*x+1
else y=x
end
点评：先编制程序框图，再根据框图编写程序。
例2：求平方不超过1000的最大正整数。
精析：利用while循环语句
解：j=1;
while j*j<1000
j=j+1;
end
j=j-1
点评：循环语句有for循环和while循环两种。循环语句的一定要以end结束循环体。
例3：求100以内的勾股数。
精析：本题实际上是求不定方程222zyx的整数解问题，x、y、z的取值范围都是1到100的整数，可以利用三重循环结构和条件分支结构。 基本算法语句 输入语句
输出语句
赋值语句
条件语句
循环语句 解：for x=1:100
for y=1:100
for z=1:100
a=x^2;b=y^2;c=z^2;
if a+b<>c
else print(%io(2),x,y,z)
end
end
end
end
点评：对于求不定方程的整数解的问题，利用循环语句和条件语句可以找出所有的解。
例4：已知n个数排成一行如下：
nnaaaaa,,,,,1321 其中下脚码表示n个数的排列位置。这一行数满足条件：
第三章 Verilog-HDL中的语句
1.基本语句
1.1赋值语句
赋值语句分为连续赋值语句和过程赋值语句。
1.1.1连续赋值语句
1.连续赋值语句用于把值赋给wire型变量(不能为reg型变量赋值)。
语句形式为：assign A = B & C;
a.只要在右端表达式的操作数上有事件(事件为值的变化)发生时，表达式即被计算；
b.如果计算的结果值有变化，新结果就赋给左边的线网。
2.连续赋值的目标类型
标量线网 wire a;
向量线网 wire [7:0] a;
向量线网的常数型位选择 a[1]
向量线网的常数型部分选择 a[3:1]
上述类型的任意的拼接运算结果 {3a[2],a[2:1]}
注：多条assign语句可以合并到一起。
3.线网说明赋值
连续赋值可作为线网说明本身的一部分。这样的赋值被称为线网说明赋值。如:
wire Clear = 'b1;
等价于 wire clear;
assign clear=‘b1;
1.1.2 过程赋值语句
1.
a．过程性赋值是仅仅在initial语句或always语句内的赋值
b．它只能对reg型的变量赋值。表达式的右端可以是任何表达式。
c．过程性赋值分两类：阻塞性过程赋值 =
非阻塞性过程赋值<=
2.语句内部时延与句间时延
a．在赋值语句中表达式右端出现的时延是语句内部时延。
Done = #5 1'b1;
b．通过语句内部时延表达式，右端的值在赋给左端目标前被延迟。即右端表达式在语句内部时延之前计算，随后进入时延等待，再对左端目标赋值。
c．对比以下语句间的时延
begin
Temp = 1'b1;
#5 Done = Temp; //语句间时延控制
end
3.阻塞性过程赋值
承德实验中学高 一 年级 （数学）导学案
班级： ；小组： ；姓名： ；评价： ；
课题: 1.2.1 基本算法语句（1）
输入语句、输出语句和赋值语句 课型 新授课
课时 2
主备人：鲁文敏 审核人 鲁文敏 时间
学习目标1.了解算法输入语句、输出语句和赋值语句语句
2.掌握正确的语句格式
重点难点：基本语句及其一般格式
方 法：自主学习 合作探究 师生互动
一知识衔接
1．算法的概念
算法通常是指按照一定规则解决某一类问题的明确和有限的_______．现在，算法通常可以编写成计算机程序，让计算机执行并解决问题．
2．几个基本程序框及其功能（略）
3．执行如下图所示的程序框图，若输入A的值为2，则输出的P值为( )
二自主预习
1．输入语句 课堂随笔:
格式 INPUT“提示内容”； _______
功能 可以一次为一个或多个变量_______，实现了算法中的_______功能
说明 “提示内容”是提示用户输入什么样的_______．程序框图中的_______框转化为算法语句就是输入语句
2．输出语句
格式 PRINT“提示内容”； _______
功能 先计算表达式的_____，然后输出结果，实现了算法中的______功能．显示在计算机屏幕上，也就是输出信息，可以是_______、_______的值和_______信息．
说明 程序框图中的_______框转化为算法语句就是输出语句.
3．赋值语句
格式 变量＝_______
功能 先计算表达式的值，然后把结果赋值给“＝”_____边的变量，此步完成后，“＝”_____边变量的值就改变了
说明 (1)赋值语句中的“＝”叫做_______，它和数学中的等号不一样．
(2)本教材用BASIC语言编写的计算机程序是由若干个语句组成的，计算机按语句行排列的顺序依次执行程序中的语句，每个完整的程序最后一行都是END语句(又称结束语句)，表示程序到此_______
