从数学建模到数学实验

从数学应用的角度，结合我校的实际工作，阐述了大学数学为什么要开设数学建模和数学实验课，以及数学建模和数学实验之间的关系。     

数学应用与数学新课程

有这样一些教师，他们认为数学应用面对所有学生太难了，因此他们只教给好学生数学应用；同时又有这样一些教师，他们认为数学应用不是好的数学，只可以用来对差学生激发学习兴趣，因此差学生学数学应用，因为差学生学不了好的数学．     

数学解题教学与数学美

“问题是数学的心脏”．只有通过问题的解才能训练学生的数学思维，又只有在充满兴趣的情境下才能训练学生的数学思维，更只有在数学美的氛围中才能对数学解题充满兴趣．什么是数学美呢?它就是数学的优美感．数学家庞加莱说：“数学的优美感，不过就是问题的解答适合我们心灵需要而产生的一种满足感．”     

数学教学应教给学生正确的数学观

数学观就是一个人对“数学是什么”的观念或认识，其内涵十分丰富，一个数学工作者的数学观念将直接影响到他从事数学研究的方式，同样，一个数学教师的数学观也会在他的教学过程中体现出来，并最终影响到学生数学观的形成，因为，数学课堂本质上是一个环境，学生的数学观正是在这样的环境中逐渐形成的，学校的数学教学应该反映数学的本质，     

营造文化数学氛围建构数学教育新观念

在日常数学教学活动中，愈来愈多的学生对数学学习的动力不是来自数学本身，而主要来自于考试的压力，学生被动的数学学习观念，不仅阻止了他们的主动性与探索性，扼杀了数学的魅力，而且不利于数学学科的发展，不利于学生创新思维能力及个人综合能力的形成．也就是说，学生学到了数学的壳，却丢掉了数学的核；学到了数学的形式，却扔掉了数学的美；学到了数学的方法，却抛弃了数学的灵魂．新一轮的数学课程改革提出了数学的应用性、文化性两个新观念，以通过课程、课堂及课外的途径，改变过去重结论轻过程、重理论轻应用、重知识轻能力的局面，给课堂以生机与活力．     

工科数学教学中的数学实验课

本从工科院校数学教学改革的角度，提出散学实验课的思想，并探讨了数学实验课的有关内涵和实施措施。末同时指出了数学实验课对数学教学所产生的一些影响。     

数学素质培养与大学数学教学创新

数学素质是数学素养与数学能力的辩证统一。数学能力为骨，数学素养为肉，合为一体，构成数学素质教育。数学素质是大学数学教育的灵魂。在大学数学教学中，需要在教学理念、教学目标、教学内容、教学方法及教学手段等方面不断创新，与时俱进，以培养适应21世纪需要的创新型人才。     

工科数学教学中的数学实验课

本文从工科院校数学教学改革的角度，提出数学实验课的思想，并探讨了数学实验课的有关内涵和实施措施。文末同时指出了数学实验课对数学教学所产生的一些影响     

数学交流及其对数学教育的启示

阐述了数学交流的缘起和功能，指出除具有一般的教学功能外，数学交流的教学意义特别表现在完善数学思维活动和实现数学教学的社会价值两方面。最后，从三个方面探讨了数学交流观点对数学教育的启示，即重视培养学生的数学交流素养，利用师生互动的形式重塑教学过程，在强调认知的同时关注学生的精神生活。     

数学认知结构在数学概念学习中的作用

数学概念的学习是一切数学知识学习和形成的基础，是一个完整数学认知结构建构的第一步．正确的教学方法可以形成学生良好的数学认知结构和较强的数学思维能力，否则，会在学生头脑中形成模糊的甚至是错误的数学观念．传统数学教学的主要缺点之一是不重视学生的心理状况，不深入了解学生的数学认知结构状况，盲目地进行机械式的教学，形成不了学生良好的数学概念系统．而看数学概念是否掌握的关键是看学生是否真正理解了所学的数学概念，即是否在数学认知结构中形成了一个稳定而清晰的固定点．1数学认知结构数学认知结构是学习者头脑中的数…     

高等数学课堂教学语言探究

高等数学是学生进入大学以后最先碰到的“重头课”,教师课堂中的教学语言直接影响到学生学习效果,提高高等数学教师的教学语言水平显得尤为重要．教师在教学中要能做到：准确运用文字语言描述数学问题;重视符号语言的教学;合理利用图像语言进行教学;口头语言简洁规范、生动、亲切．     

A theorical point of view of reality,perception, and language

It is possible to view the relations between mathematics and natural language from different aspects. This relation between mathematics and language is not based on just one aspect. In this article, the authors address the role of the Subject facing Reality through language. Perception is defined and a mathematical theory of the perceptual field is proposed. The distinction between purely expressive language and purely informative language is considered false, because the subject is expressed in the communication of a message, and conversely, in purely expressive language, as in an exclamation, there is some information. To study the relation between language and reality, the function of ostensibility is defined and propositions are divided into ostensives and estimatives. © 2013 Wiley Periodicals, Inc. Complexity 20: 27–37, 2014     

22号初等元胞自动机的极限语言复杂性

§1Introduction Thetaskofthispaperistosolvetheproblemproposedin[1],i.e.,toexplorethe complexityoflimitset,orequivalently,limitlanguageoftheelementarycellularautomaton ofrule22bythetoolsofformallanguagetheory.Cellularautomata(abbreviatedasCA),asmathematicalmodelsforcomplexnatural systemscontaininglargenumbersofsimpleidenticalcomponentswithlocalinteractions,havebeenwidelyusedinphysical,biological,chemicalandcomputationalsystems[2].Despitetheirsimpleconstruction,someCAcandisplayveryrichandcompl…     

An internal language for autonomous categories

We present an internal language for symmetric monoidal closed (autonomous) categories analogous to the typed lambda calculus as an internal language for cartesian closed categories. The language we propose is the term assignment to the multiplicative fragment of Intuitionistic Linear Logic, which possesses exactly the right structure for an autonomous theory. We prove that this language is an internal language and show as an application the coherence theorem of Kelly and Mac Lane, which becomes straightforward to state and prove. Finally, we extend the language with the natural numbers and show that this corresponds to a weak Natural Numbers Object in an autonomous category.     

Translation grammars for compilation and decompilation

A notation is presented for specifying the compilation and decompilation of high-level language programs. Given the decompilation grammar of a programming language, it is possible to study certain properties of that language, such as the redundancy of source language constructs that yield identical object code sequences and the ambiguity of object code generated by procedure calls.     

Fuzzy有理语言与Fuzzy有限态自动机的关系

引入了fuzzy有理语言的概念,得到了∑+的子集可识别当且仅当有理的.从而揭示了fuzzy有理语言与fuzzy有限态自动机语言的关系.     

一种基于人工语言系统的模糊语言近似方法

提出一种基于人工语言系统的模糊语言近似方法 ,包括对单个词和合成词的语义的语言近似算法、相关定理及证明 ,实现由语义可能性分布表示向自然语言中的词及句子的转换。     

Regular Component Splittable Languages

Every infinite regular language contains a regular subset of the formuv+w for some words u, v, w, where v is not the empty word. The regularsubsets of the above form are called regular components. Some well-knowncontext-free languages, such as the Dyck language and the balanced language(over an alphabet X with |X| = 2), are decomposed as disjointunions of disjunctive languages. In this paper, we investigate thedecompositions of some of the regular languages and the context-freelanguages as disjoint unions of regular components. An infinite language iscalled regular component splittable if it can be expressed as a disjointunion of regular components and a finite set. We show that the Dycklanguage, the balanced language and some disjunctive context-free splittablelanguages are regular component splittable. We also present an example toshow that there is a disjunctive context-free language which is not regularcomponent splittable.