襄樊学院学报怎么投稿

有如其他数学或科学，应用逻辑是用理论逻辑去解决其他学科或实用问题。逻辑学主要应用于：电子工程（如电子板的逻辑设计）、计算机学（如程式的复杂计算）、认知科学（cognitive science)（如认知的数理模型）。

数理逻辑的应用

1 逻辑运算 逻辑运算又称布尔运算，它是用数学的方法解决或研究逻辑问题，即用离散的符号“1”和“0”表示逻辑中的“真”和“假”再加上一套与之相关的“与”、“或”、“非”为运算基础的逻辑运算规则解决实际逻辑问题的方法，从而实现复杂逻辑运算到简单的数值计算的转化。

尽管互联网的查询系统原理各不相同，但使用与(&)、或(||)、非(-)通配符的查词方法却是一致的，这便是逻辑运算的最好例子。下面我们就逻辑运算在电路设计中的运用加以探讨：

某公司王某欲搬入新房，搬迁前需要完成电路的设计安装，由于该房深处闹市，四周楼房林立，严重影响了客厅的采光，于是王某想设计一个电路，要求客厅四盏灯由一个开关控制，开关按下一次亮一盏灯，再按一下亮两盏，以此类推，直到按下第五次时所有灯熄灭。假设四个灯依次为A、B、C、D，灯亮为1，灯灭为0，开关有脉冲输入为1，否则为0，则根据题意可得真值表(如图1)

设第n号灯的上一状态为Nn，第n+1号灯现在在的状态为Nn+1，脉冲输入状态为M，则有：

Nn+1=Nn∧M(N0与M的且运算)

其中Nn=NA∧NB...∧Nn-1灯亮的条件为(A∧┐B∧┐C∧┐D)∨(A∧B∧┐C∧┐D)∨(A∧B∧C∧┐D)∨(A∧B∧C∧D)

如B灯亮的条件是A灯亮并且有脉冲输入，C灯亮的条件是AB都亮并且有脉冲输入。该电路功能由一个与门电路和一个计数触发器连接即可完成，当开关第5次输入后计数器输出信号置0，灯全部关闭，此时设备全部复位。如图2。

2 范式理论 范式是逻辑运算符号化表示的一种标准表达形式，根据这种方法，把同一类型中尽可能出现的命题变相以及具有完整功能的符号化内容通过合、析取的方式联合在一起，而不改变其逻辑功能。

甲、乙、丙、丁四个人有且只有两个人参加围棋比赛。关于谁参加比赛，下列四个判断都是正确的：

(1)甲和乙只有一人参加比赛。

(2)丙参加，丁必参加。

(3)乙或丁至多参加一人。

(4)丁不参加，甲也不会参加。

请推断出哪两个人参加围棋比赛。

设a：甲参加了比赛。

b：乙参加了比赛。

c：丙参加了比赛。

d：丁参加了比赛。

(1) (a∧┐b)∨(┐a∧b)

(2) c→d

(3) ┐(b∧d)

(4) ┐d→ ┐a

于是，

((a∧┐b)∨(┐a∧b))∧(c→d)∧(┐(b∧d))∧(┐d→ ┐a)

Û(a∧┐b∧┐c∧d)∨(a∧┐b∧d)∨(┐a∧b∧┐c∧┐d)

根据题意条件，有且仅有两人参赛，

故┐a∧b∧┐c∧┐d为0，所以

(a∧┐b∧┐c∧d)∨(a∧┐b∧d)为1，

即甲和丁参加了比赛。

又如在某次研讨会的中间休息时间，3名与会者根据王教授的口音对他是哪个省市的人进行了判断：

甲说王教授不是苏州人，是上海人。

乙说王教授不是上海人，是苏州人。

丙说王教授既不是上海人，也不是杭州人。

听完以上3人的判断后，王教授笑着说，他们3人中有一人说的全对，有一人说对了一半，另一人说的全不对。试用逻辑演算法分析王教授到底是哪里人?

设命题 p：王教授是苏州人。

q：王教授是上海人。

r：王教授是杭州人。

显然p,q,r中有且只有一个真命题。

甲的判断为A1=┐p∧q

乙的判断为A2=p∧┐q

丙的判断为A3=┐q∧┐r

那么，

甲的判断全对B1=A1=┐p∧q

甲的判断对一半B2=(┐p∧┐q)∨(p∧q)

甲的判断全错 B3=p∧┐q

乙的判断全对 C1=A2=p∧┐q

乙的判断对一半C2=(p∧q)∨(┐p∧┐q)

乙的判断全错 C3=┐p∧q

丙的判断全对 D1=A3=┐q∧┐r

丙的判断对一半D2=(q∧┐r)∨(┐q∧r)

丙的判断全错D3=q∧r

由王教授所得析取范式：

E = (B1∧C2∧D3)∨(B1∧C3∧D2)∨(B2∧C1∧D3)∨(B2∧C3∧D1)∨(B2∨C1∧D2)∨(B3∧C2∧D1) 为真命题。

经过演算化为主析取范式后后,可得

E Û (┐p∧q∧┐r)∨(p∧┐q∧r)

由题设，王教授不能既是上海人，又是杭州人，因而p,r中必有一个假命题，即p∧┐q∧rÛ0，

于是

E Û ┐p∧q∧┐r

为真命题，因而必有p,r为假命题，q为真命题，即甲说的全对，丙说对了一半，而乙全说错了，王教授是上海人。

3等值演算

等值演算是指利用逻辑恒等式、代入规则、替换规则和对偶原理对命题公式进行推理、演算，等值演算的目的在于化简复杂的命题公式，从而提取出于命题等价的核心要素，便于利用。

以下是《现代社会更需要专才还是通才》辩论记录：

正方：对方辩友，既然您都说了专才是有缺陷的，难道你还认为专才比通才更需要吗?既然您仍然认为专才那么重要，那么我们还要通才干什么，吃饭吗?

反方：对方辩友啊我们说通才比专才更需要，没说通才不需要啊!

在这短短而又激烈的辩论片段中反方辩手显然是找到了有力的反驳切入点，那么这个切入点是什么呢，试着作一下分析：

P：P代表专才比通才更需要是错误的;

Q：Q表示通才没用。

那么正方的意思可以表示为P∧(┐P→Q)

根据蕴含等值式(A→BÛ┐A∨B)和吸收律(A∧(A∨B)ÛA)化简有P∧(┐P→Q)ÛP∧(P∨Q)ÛP

化简后得到P，P就是P∧(┐P→Q)的要点，P和P∧(┐P→Q)得真值是一样的，因而反方根据P(切入点)快速的做出反驳，“我们并没用说通才不需要”，显然得出这样的结论是经过逻辑思考的。

4 逻辑推理

“逻辑推理是从前提推论出结论的思维过程”①(《离散数学(第四版)》page22第1.6节推理理论耿素云屈婉玲张立昂著清华大学出版社)，它是指在逻辑推理的过程中通过不断的前提引入，等值与置换等，运用逻辑推理的相关推理理论，得出未知(蕴含)结果的一种方法。逻辑推理广泛的应用于人工智能，案件的侦探与审理，人事科研和日常生活的各方各面。以下将从案件侦探方面体现逻辑的推理基本应用。

一次警方接到报警，在某胡同发生严重的刑事案件，当警方及时赶到犯罪现场时有5人死亡，仅剩甲、乙二人仍在殊死搏斗，审讯时甲乙双方都指责对方是罪犯，自己是受害者，搏斗时出于自卫，警方根据证据最终判断有以下事实：

A：甲乙二人必有一人是罪犯，一人是受害者;

B：如果甲是出于自卫，则必定有伤;

C：甲没有受伤

推道谁是罪犯。当然这道题是一眼便知的，但是还是我们试着有逻辑推理的做以下分析：

设：p：甲是自卫;

q：甲是罪犯;

r：甲受伤。

前提p→r ，┐q→p，┐r。

解析：

(1)┐r; 前提引入

(2)p→r; 前提引入

(3)┐r→┐p; (2)拒取式

(4)┐p;

(5)┐q→p; 前提引入

(6)┐p→q; (5)拒取式

(7)q. (4)(6)假言推理故甲为罪犯。

参考书目

[1]耿素云屈婉玲张立昂离散数学(第四版)[M] 北京清华大学出版社[

2]徐小萍命题逻辑演绎推理在日常生活中的应用[A] 分类号：TO142文献标志码：A 文章编号：1009-2854(2007)11-0013-04 襄樊襄樊学院学报

[3]滕定明命题逻辑在语用研究中的应用[A] (分类号: H 030 文献标志码:A 文章编号: 16732-2804(2008) 032-00882-03)河北河北理工大学学报(社会科学版)

[4]刘海慧数理逻辑在生活中的应用研究[A] (分类号:O14 文献标识码:A 文章编号:1673-9795(2007)11(a)-0097-02) 山东中国科教创新导刊

日语专业本科大学生毕业论文书写格式要求

毕业论文的论文书写格式是如何的呢?下文是我收集的日语专业本科大学生毕业论文的书写格式要求，欢迎大家阅读!

一. 论文的组成

1. 论文封面指学院下发的硬封面，装订论文时向相关老师领取。

2. 学位论文作者声明(优秀毕业论文作此声明)为中文，见附件一。

3. 开题报告，例文见附件二。用日语书写(一份表格，请查看附件三;一份文字开题报告)。

开题报告(全篇除了参看文献中的中文参考书目用宋体外，其余全用MS Mincho字体)：

标题(论文作成开始报告书)，三号字，加粗，居中。

空一行，左对齐，専攻、学生番号、氏名、指导教师及冒号用小四号字体，加粗，相应内容用小四号字体。

接下来空一行进入开题报告正文，必须包括以下几项：テーマとその由来、テーマを选んだ理由と研究意义、国内外研究现状、研究内容及び実行可能性分析、研究方法及び内容、スケジュール、参考文献。以上项目用MS Mincho字体、小四号字、加粗。相应内容用小四号、宋体。具体格式请参看附件二。

4. 任务书。见附件四。

5. 论文指导记录表，见附件四。由学生填写，论文指导教师签名(至少9次)。

6. 论文内封面：论文内封面统一用日文书写，最上面为襄樊学院校徽。包括论文题目(正标题 明朝MS Mincho，三号，居中，加粗，20字以内;有副标题的，置于第二行，明朝MS Mincho，小三号，居中，加粗);专业(専攻)、学号(学生番号)、姓名(氏名)、指导教师(指导教师)、论文定稿时间(统一为2010年5月，明朝MS Mincho，小四号，居中，加粗)。

7. 论文前五页包括第一页：署名;第二页：要旨(须在300字左右)、キーワード;第三页摘要(须在300字左右)、关键词;第四页：谢辞;第五页：目次。前五页页码用Ⅰ、Ⅱ、Ⅲ等标注在右下角。

①署名：用日文书写(标题：明朝MS Mincho，四号，加粗，居中。下一行，署名内容：明朝MS Mincho，小四，段首空一格)

②要旨、キーワード：

段首空一格，要旨和冒号(加粗)，五号字。紧接着为要旨内容，五号字。

下一行，段首空一格，キーワード和冒号，明朝MS Mincho，五号字。キーワード应在五个左右，キーワード与キーワード之间用分号隔开，最后一个キーワード后无标点。

③摘要、关键词：

段首空两格，摘要和冒号(加粗)，五号字。紧接着为摘要内容，五号字。

下一行，段首空一格，关键词和冒号(加粗)，五号字。紧接着为关键词，应在五个左右，关键词的词与词之间用分号隔开，最后一个关键词后无标点。

④致谢用“谢辞”表示，致谢内容用日文书写(标题：明朝MS Mincho，四号，加粗，居中;下一行，谢辞内容：明朝MS Mincho，小四。段首空一格)

⑤目录：目录用日文还是中文应与论文正文主体保持一致。日文名称：目次。目次(明朝MS Mincho，四号，加粗，居中);空一行进入目录内容(明朝MS Mincho，小四)。中文名称：目录(宋体，四号，加粗，居中);空一行;目录内容(宋体，小四)。

目录(目次)中序号，一级序号为1、2、3、4等。二级序号为1.1、1.2、1.3等，三级序号为1.1.1、1.1.2、1.1.3等，依次类推。

8. 正文：(包括脚注和参考文献)用日文书写。

二. 正文书写

1. 字数：7000～10000字。

2. 使用语言：日语。

3. 正文开始部分：

论文标题，明朝(MS Mincho)字体，四号字加粗，居中。接下来为：専门、学生番号、氏名、指导教师，明朝(MS Mincho)字体，五号字加粗，左对齐，相应填写内容为明朝(MS Mincho)字体，五号字。

空一行，另起一段，段首空一格，要旨和冒号(MS Mincho字体，五号字，加粗)，要旨内容(日语，MS Mincho字体，五号字)。

另起一行，キーワード，冒号(MS Mincho字体，五号字，加粗)，キーワード内容(日文，MS Mincho字体，五号字)。キーワード之间用分号隔开，最后一个无标点。

空一行，另起一段，段首空两格，摘要和冒号(宋体，五号字，加粗)，摘要内容(宋体，五号字)。

另起一行，段首空两格，关键词和冒号(宋体，五号字，加粗)，关键词内容(宋体，五号字)，关键词之间用分号，最后一个无标点。

4. 另起一页进入绪论(はじめに)。

使用字体：

用明朝(MS Mincho)字体。各章一级标题用四号，加粗。各章小标题用小四号，加粗。正文内容用小四号。正文不得使用斜体和字体着色。

份数：定稿后打印两份交至指导老师处。

5. 用纸：毕业论文撰写须选用A4纸，并打印成文。

6. 页面设置：

⑴页面设置按默认格式 (上、下：2.54cm; 左、右：3.17cm)，左装订，三个钉。

⑵行距：1.25倍行距。

7. 正文部分页眉需设定“襄樊学院外国语学院日语专业本科毕业论文”字样，小五号宋体，右对齐。非正文部分不需加页眉。

8. 页码：

正文页码在底端右侧，用阿拉伯数字表示，即：1.2.3… 。

9. 图表：图表必须注名序号和名称,如 图1, 《2000至2005年日本进口贸易额增长明细》, 引用他人图标必须注明出处。

三. 正文各部分撰写要求

1. 绪论(はじめに)：是论文的开头部分，前言要写得简明扼要，篇幅不要太长。

2. 论文主体(本论)：是论文的主要部分，在本部分要运用各方面的信息资料和研究方法，分析问题，论证观点，尽量反映出自己的科研能力和学术水平。

3. 结论(おわり)：是毕业论文的收尾部分，是围绕本论所作的结束语。其基本的要点就是总结全文，加深题意。

4. 注释(注釈)：毕业论文中有个别名词或引用情况需要解释时，可加注说明，注释用页脚注(将注文放在加注页稿纸的下端，如下例所示)。若在同一页中有两个以上的注释时，按各注释出现的先后，按序排列，注释只限于写在注释符号出现的同页，不得隔页。

文中序号用右上标的①、②、③等。

注：(加粗，日文用MS Mincho，五号，左对齐，中文用宋体，五号，左对齐)

①「考える」の(知力を働かせる)という意味特徴は、长嶋(1979)の记述を受け継ぐものである。

②松木(1995)と砂川(1987)を参照。

③田中角栄：政治家、1947年代议士となり、72～74年首相・自民党総裁。中日国交正常化を実现。政策として打ち出した｢日本列岛改造论｣は狂言物価を招き、ロッキード事件で実刑判决を受ける。

④赵慧.从生态批评看浪漫主义文学中自然科技关系[J].聊城大学学报,2007,(2).

⑤袁宪军.华兹华斯的《水仙》与诗歌语言[J].北京第二外国语学院学报,2006, (2).

⑥马玉凤.华兹华斯浪漫主义自然观解读[J].辽宁大学学报(哲学社会科学版),

May.2005,Vol.33 (3).

⑦王颖.华兹华斯诗歌的现代阐述[J].重庆工学院学报(社会科技报),2007.8,VOL.21(8).

⑧刘启君.浪漫派诗歌——情的兴发，意的表达[J].双语学习，2007.11: 21-23.

5. 文献格式规范：

参考文献另起一页，用五号字，排序先日文后中文。具体要求请参看附件五。

四. 其他

1. 术语和标点符号要合乎日文的规范。

2. 如果文中夹杂中文, 字体使用宋体， 字号同前后文的日文。

3. 例句图标的序码要用阿拉伯数字，阿拉伯数字一律使用半角,序码采用当页单独排序的方式。比如第一页的脚注为①②③，第二页也要重新从①开始。

4. 正文中的注释序码为右上标的“①②③”，相关文中的序码使用①②③……

5. 标题体系

毕业论文的全部标题层次应有条不紊，整齐清晰，相同的层次应采用统一的表示体例，正文中各级标题下的内容应同各自的标题对应，不应有与标题无关的内容。章节编号方法应采用分级阿拉伯数安编号方法，第一级为“1”、“2”、“3”、等，第二级为“2.1”、“2.2”、“2.3”等，第三级为“2.2.1”、“2.2.2”、“2.2.3”等，但分级阿拉伯数字的.编号一般不超过四级，两级之间用下角圆点隔开，除第一级外，其余各级的末尾不加标点。各层标题均单独占行书写，第一级和第二级标题序数顶格书写，空一格接写标题，第三级和第四级标题均顶格书写序数和标题。第四级以下单独占行的标题须序采用A.B.C.…和a.b.c. …两层，标题均空一格书写序数和标题。正文中对总项包括的分项采用1)、2)、3)…的序号，对分项中的小项采用①、②、③…的序号，数字加半括号或括号后，不再加其他标点。

6. 如遇未规定的其他格式问题请和指导教师探讨商定，尽量保持页面整洁美观

学位论文一般应包括下述几部分：

论文首页格式：

其中学位论文题目用 黑体二号 字，其余用 宋体四号 字

论文题目应能概括整个论文最重要的内容，简明、恰当，一般不超过25个字。

中文摘要及其关键词(宋体5号字b5排版)：

4论文第二页为500字左右的中文内容摘要，应说明本论文的目的、研究方法、成果和结论。

学位论文摘要是学位论文的缩影，尽可能保留原论文的基本信息，突出论文的创造性成果和

新见解。论文摘要应尽量深入浅出，通俗易懂，少用公式字母，语言力求精炼、准确。

4 在本页的最下方另起一行，注明本文的关键词3╠5个。

英文摘要及其关键词(宋体5号字b5排版)：

论文第三页为英文摘要，内容与中文摘要和关键词相同。

学校名称：东北师范大学

院(系)名称：计算机系

本科生学号：

学 位 论 文 题 目

学 科、专 业： 计算机科学技术

本科生姓名： _____ _

指导教师姓名： _________

指导教师职称： ___________