山东农业大学学报(自然科学版)
山東農業大學學報(自然科學版)
산동농업대학학보(자연과학판)
JOURNAL OF SHANDONG AGRICULTURAL UNIVERSITY(NATURAL SCIENCE)
2014年
z1期
134-136
,共3页
离散数学%数理逻辑%命题逻辑%谓词逻辑
離散數學%數理邏輯%命題邏輯%謂詞邏輯
리산수학%수리라집%명제라집%위사라집
Discrete mathematics%mathematical logic%proposition Logic%predicate logic
离散数学分为四部分:集合论,图论,数理逻辑,代数结构。数理逻辑是离散数学课程中研究推理的部分,它为确定一个给出的论证是否正确提供了重要的法则和技巧,它也用在计算机科学里用来检验程序的是否正确,同时也可以验证定理和推论,它也为今后学习相关计算机模型、计算机程序设计语言、计算机硬件系统、计算机体系结构及人工智能等相关课程打下坚实的基础。本文重点从课堂导入、与其它学科结合、提高学生解决实际问题能力等方面阐述了在教授数理逻辑教学时的一些观点。
離散數學分為四部分:集閤論,圖論,數理邏輯,代數結構。數理邏輯是離散數學課程中研究推理的部分,它為確定一箇給齣的論證是否正確提供瞭重要的法則和技巧,它也用在計算機科學裏用來檢驗程序的是否正確,同時也可以驗證定理和推論,它也為今後學習相關計算機模型、計算機程序設計語言、計算機硬件繫統、計算機體繫結構及人工智能等相關課程打下堅實的基礎。本文重點從課堂導入、與其它學科結閤、提高學生解決實際問題能力等方麵闡述瞭在教授數理邏輯教學時的一些觀點。
리산수학분위사부분:집합론,도론,수리라집,대수결구。수리라집시리산수학과정중연구추리적부분,타위학정일개급출적론증시부정학제공료중요적법칙화기교,타야용재계산궤과학리용래검험정서적시부정학,동시야가이험증정리화추론,타야위금후학습상관계산궤모형、계산궤정서설계어언、계산궤경건계통、계산궤체계결구급인공지능등상관과정타하견실적기출。본문중점종과당도입、여기타학과결합、제고학생해결실제문제능력등방면천술료재교수수리라집교학시적일사관점。
Discrete Mathematics contains four contents:set theory, graph theory, mathematical logic and algebraic structure. The aim of mathematical logic in discrete mathematic is to detect. Mathematical logic provides one important rule and technique to prove one judgment is true or not. It also uses to check whether one program is true in computer science. At the same time it can be used to prove one theorem and corollary. It can help students to study some subjects in the future. Take computer model, computer programming language, Computer hardware system, computer architecture, Artificial Intelligence for example. This paper puts forward some opinions about mathematical logic. Take class leading-in, In combination with other subjects, improve students’ ability to deal with problems when encountering in our life and so on.