Java知识分享网 - 轻松学习从此开始!    

Java知识分享网

Java1234官方群25:java1234官方群17
Java1234官方群25:838462530
        
SpringBoot+SpringSecurity+Vue+ElementPlus权限系统实战课程 震撼发布        

最新Java全栈就业实战课程(免费)

springcloud分布式电商秒杀实战课程

IDEA永久激活

66套java实战课程无套路领取

锋哥开始收Java学员啦!

Python学习路线图

锋哥开始收Java学员啦!
当前位置: 主页 > Java文档 > Java基础相关 >

Specifying Systems PDF 下载


分享到:
时间:2021-06-06 12:56来源:http://www.java1234.com 作者:转载  侵权举报
Specifying Systems PDF 下载
失效链接处理
Specifying Systems PDF 下载


本站整理下载:
提取码:jl3i 
 
 
相关截图:
 
主要内容:


Chapter 1
A Little Simple Math
1.1 Propositional Logic
Elementary algebra is the mathematics of real numbers and the operators +,
−, ∗ (multiplication), and / (division). Propositional logic is the mathematics
of the two Boolean values true and false and the five operators whose names
(and common pronunciations) are
∧ conjunction (and)
∨ disjunction (or)
¬ negation (not)
⇒ implication (implies)
≡ equivalence (is equivalent to)
To learn how to compute with numbers, you had to memorize addition and
multiplication tables and algorithms for calculating with multidigit numbers.
Propositional logic is much simpler, since there are only two values, true and
false. To learn how to compute with these values, all you need to know are the
following definitions of the five Boolean operators:
∧ F ∧ G equals true iff both F and G equal true. iff stands for if
and only if. Like
most mathematicians, I use or to
mean and/or. ∨ F ∨ G equals true iff F or G equals true (or both do).
¬ ¬F equals true iff F equals false. ⇒ F ⇒ G equals true iff F equals false or G equals true (or both).
≡ F ≡ G equals true iff F and G both equal true or both equal false.

 

------分隔线----------------------------

锋哥公众号


锋哥微信


关注公众号
【Java资料站】
回复 666
获取 
66套java
从菜鸡到大神
项目实战课程

锋哥推荐