n. 线性逻辑
[网络] 线性推理的逻辑;线性思维

linear logic的用法和样例:

例句

  1. Besides the linear notations for logic, reaschers in artificial intelligence have developed graphic notations called semantic networks.除了线性逻辑符号,人工智能研究者还为逻辑开发了图形符号,叫做语义网络。

measurement slave unlimited invert symmetrical lessen lever hip liability overlook thresh tensile vision likeness steady siege fission limp line linear vein commence obscure

发表于:2018-12-01 / 阅读(214) / 评论(0) 分类 用Mp3背六级单词

求职者类型:毕业生 Room 212 Building 343 Tsinghua University, Beijing 100084 (010) 62771234 Email:good@tsinghua.edu.com Zhang Yan -------------------------------------------------------------

发表于:2018-12-08 / 阅读(144) / 评论(0) 分类 VOA标准英语2016年(二月)

1681 、 箱 carcase 1682 、 编码 encode 1683 、 编码器 encoder 1684 、 编译器;编译程序 compiler 1685 、 线材 linearmaterials 1686 、 线性收缩 linearcontraction 1687 、 线性运

发表于:2018-12-08 / 阅读(150) / 评论(0) 分类 英文名句短语

A RESUME OF JUNJUN DU -------------------------------------------------------------------------------- Personal Information Name:Junjun Du Gender:Male Birthdate:May 25, 19xx Birthplace:Harbin

发表于:2018-12-18 / 阅读(132) / 评论(0) 分类 实用英语

Whether we expand existing towns or build new cities it begs the question about how we build an environment that helps us live in harmony with each other and with the natural world, upon which we depend for our existence.The history of the earth told

发表于:2018-12-28 / 阅读(114) / 评论(0) 分类 智慧人生篇章

LINDA WERTHEIMER, HOST: Does access to money predict social behavior? That's the question posed by researchers Emily Bianchi and Kathleen Vohs in a new study. They dug into data for nearly 30,000 respondents of the General Social Survey - that's a lo

发表于:2018-12-28 / 阅读(134) / 评论(0) 分类 英语语言学习

Callum:Hello. In recent programmes in this series, Who on Earth are we? Marc Beebys looked at some of the more obvious ways that cultures can be different from one another -the different ways we use language, or non-verbal communication, for example

发表于:2019-01-07 / 阅读(662) / 评论(0) 分类 英语讨论

Five Tips for Planning a Presentation 关于规划报告的五个小贴士 Editor's note: When teaching public speaking, Professor Charles Lebeau divides presentation into three aspects. The three aspects of a presentation are: the physical message,

发表于:2019-01-12 / 阅读(147) / 评论(0) 分类 2015年VOA慢速英语(三)月

Scientists Use Sound Waves to Find Hidden Cracks in Bridges, Airplanes 科学家利用声波在桥梁和飞机寻找隐蔽的裂缝 On August 1, 2007, a steel bridge in Minneapolis, Minnesota, collapsed, sending people and vehicles into the Mississip

发表于:2019-01-12 / 阅读(135) / 评论(0) 分类 2015年VOA慢速英语(四)月

Room 212 Building 343 Tsinghua University, Beijing 100084 (010) 62771234 Email:good@tsinghua.edu.com xxx Objective To obtain a challenging position as a software engineer with an emphasis in software design and development. Education 1997.9-2000.6 De

发表于:2019-01-17 / 阅读(154) / 评论(0) 分类 实用英语

66 神秘的彗星

发表于:2019-01-30 / 阅读(185) / 评论(0) 分类 科技之光

数据结构基本英语词汇 数据抽象 data abstraction 数据元素 data element 数据对象 data object 数据项 data item 数据类型 data type 抽象数据类型 abstract data type 逻辑结

发表于:2019-02-01 / 阅读(137) / 评论(0) 分类 实用英语

Science and technology 科学技术 Launching aircraft 发射飞机 Proof by induction 让电磁感应来验证 In the future, airliners could be catapulted into the sky by electric motors 将来,会用电动机将客机弹射到天空中 READERS o

发表于:2019-02-03 / 阅读(149) / 评论(0) 分类 经济学人科技系列

这份简历是一个大学毕业生的英文简历,他寻求的职位是软件工程师,希望能在软件设计方面能发掘自己的潜能。由于刚毕业,没有多少经验,因此着重介绍了自己的能力和所学的课程。这份

发表于:2019-02-08 / 阅读(200) / 评论(0) 分类 实用英语

大学英语College English 高等数学Advanced Mathematics 体育Physical Education 军事理论Military Theory 机械制图Mechanical Graphing 算法语言Algorithmic Language 大学物理College Ph

发表于:2019-02-08 / 阅读(189) / 评论(0) 分类 英文语法词汇

It goes up by 15 percent, 对于所有事物都是如此 and you have a 15 percent savings 你还能节省 on the infrastructure. 15%的基础设施经费 This, no doubt, is the reason 这无疑就是 why a million people a week are gathering in citi

发表于:2019-02-13 / 阅读(155) / 评论(0) 分类 TED演讲教育篇

Before I talk about that, 谈到这之前 I've written down at the bottom there 我在底下标出了 the slope of this curve, this straight line. 这条曲线的斜率,即这条直线 It's three-quarters, roughly, 大约为3比4 which is less than

发表于:2019-02-13 / 阅读(171) / 评论(0) 分类 TED演讲教育篇

The average person in the United States watches almost five hours of television a day, more than an hour greater than the average of people in the world's biggest economies, new research says. 一项新研究发现,美国人平均每天看电视的时

发表于:2019-02-17 / 阅读(161) / 评论(0) 分类 阅读空间

line of business 业务范围 line of credit 信贷限额 linear development 线型发展;直线发展 linear programming 线性规划 linked assets 相连资产 linked exchange rate system 联系汇率

发表于:2019-02-25 / 阅读(206) / 评论(0) 分类 财会英语

kin n.家属(集合称), 亲戚, 同族, 血缘关系, 家族 adj.有亲属关系的, 性质类似的, 同类的 kit n.成套工具, 用具包, 工具箱, 成套用具 lapse n.失误, 下降, 流逝, 丧

发表于:2019-02-25 / 阅读(242) / 评论(0) 分类 考研英语
学英语单词
a1
agglomeration test
aid post
ALLTV
amorphous silica-alumina catalyst
analogue watch
associate student
automodulation
Bank Ameri-card
behrendts
birth injuries
Buhoup platform
cassette cartridge
check and balance one another
chromatographic data processor
Chrymoyidae
CIOF
cold-water-swelling starch
constitutional rights
corundum ware
covering depth
cucujus haematodes opacus
cultorist
dativizable
deserved
Deyeuxia suizanensis
dry seal pipe thread
duplex-independent
El Tor
english peoples
ergotocine
ethnonymic
examination of distant vision
extra-oral film
finite projection
fishing plate
Fluoximesteron
fly reed
Freestone State
fresh hide
Galaone
Glanil
go a very little way towards
gyermeh
high shaft furnace
inclined floor
induced disintegration
infinite impulse response(IIR)
instantaneous direction finding
invert elevation
jamaica quassias
jumping pass
land classification
length machined
level infection
massondew
Maxwellian distribution law
mega bar
mental outlook
minimall
monatomic acid
morsing
multi national
musculus erector radii
New Zealand Trade Commission
nicotinoyl chloride
o-cymene
para-gneiss
photoelectric plethysmography
polarisings
polymeric material vessel
pranotherapist
Pratia brevisepala
previous crops
primary vickers hardness standard machine
Primula deflexa
quarte-wave line
rangebased
regressious
richmen
roll spin
running gear system
running operation
schizanhenol
self-certifieds
self-medicating
septanoside
splotched
standard letter-sheet size
super-telephone frequency
SWI/SNF
the queen of
two-part hull construction
use with freedoms with someone
vacuum retarding mechanism
variation of parameter method
vespertilionids
veyre
water barge
wedge tornado
wharf demurrage
zipper tape