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 / 阅读(112) / 评论(0) 分类 用Mp3背六级单词

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

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

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

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

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

发表于:2018-12-18 / 阅读(61) / 评论(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 / 阅读(57) / 评论(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 / 阅读(77) / 评论(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 / 阅读(591) / 评论(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 / 阅读(71) / 评论(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 / 阅读(77) / 评论(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 / 阅读(103) / 评论(0) 分类 实用英语

66 神秘的彗星

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

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

发表于:2019-02-01 / 阅读(83) / 评论(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 / 阅读(94) / 评论(0) 分类 经济学人科技系列

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

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

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

发表于:2019-02-08 / 阅读(113) / 评论(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 / 阅读(94) / 评论(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 / 阅读(109) / 评论(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 / 阅读(95) / 评论(0) 分类 阅读空间

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

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

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

发表于:2019-02-25 / 阅读(181) / 评论(0) 分类 考研英语
学英语单词
acrokinesia
Advanced RISC Computing Specification
almsmen
Amélie-les-Bains-Palalda
asynchronous interface
at the strain
ballpark frank
become excited with
breynia rhamnoides muell.-arg.
central cylindrical projection
central occlusion
chevils
circumvolves
computation complexity
conical collector
Cooke-Ponder method
difficulty and pain in micturition
dihydroxy-pyrimidine
diosellinic acid
dishiness
dispense
distemperer
dithiometon
dyssymbolia
elbow-to-elbow
emendatory
EMXA
essential discontinuity
flower tile
generalized moment
genus anabass
hidden figure
hyperspeed
infinitely great
inspection glass for oil level
Kaltag
Kays
lasioderma formosanum
load center
mail store
Mannheim proeess
metacestodes
microcopied
military item
misassigning
monkey on your back
more-secure
mountain region farming
murty
nasoantral
negotiable check
Nivnoye
normalism
ophiotoma
outdistanced
pedestal basin
penetration stain
Personal Insurance Clause
pert
pinion drive
plastic cement grout
play the deuce with
Polonised
processes for synthetic ammonia
protein composition
PTDSER
pyroclasite
quotient proximity
radio science
rectangular matrix
rough ... out
scalebar
scrutinator
self-acting feed
self-integrating method
sixth nerve
sodium chloroosmate
SOE (sequence of events)
solderer
solifluxions
Sols
statistics start
Suecophile
technique of presentation of reports
television tracking system
Thenclor
theorem on the composition Of velocities
thought-forms
thousand fold
tritriacontyl
try sth on
tubular foundation
two lip end milling cutter
ubiquitinylation
uncurry
under-graduates
Vichy salt
welans
WLAN - wireless local-area network
wulf electroscope
Yefremkino
YOURSELF, YOURSELVES