The curriculum ideology and politics play an important role in cultivating students’correct worldview,outlook on life,and values.In recent years,universities and colleges have begun to pay attention to the cultivatio...The curriculum ideology and politics play an important role in cultivating students’correct worldview,outlook on life,and values.In recent years,universities and colleges have begun to pay attention to the cultivation of postgraduates’moral education and the construction of postgraduates’curriculum ideology and politics.This paper takes the course“Theory of Software Engineering”of Anqing Normal University as an example,discusses the paths of integrating postgraduate professional courses into the construction of curriculum ideology and politics,and puts forward the paths of feeding back from scientific research,connecting with practice and summarizing and condensing,which are aimed at improving postgraduates’comprehensive quality and innovation ability,and have positive significance for cultivating high-level applied scientific and technological talents who are both moral and talented.展开更多
Established on October 18th of 2002, the School of Software Engineering of Beijing University of Posts and Telecommunications is one of the 35 national model schools of software engineering approved by the Ministry of...Established on October 18th of 2002, the School of Software Engineering of Beijing University of Posts and Telecommunications is one of the 35 national model schools of software engineering approved by the Ministry of Education and the National Committee of Development and Reform. According to current requirements and international trends, the school has set up its objective as to educate students with multi-level, practical, and composition talents. To this end,展开更多
The concept of institution of variable truth values is introduced and somemain results about institutions are generalized. In particular, some propertiesof institutions of variable truth vaues preserved by change of t...The concept of institution of variable truth values is introduced and somemain results about institutions are generalized. In particular, some propertiesof institutions of variable truth vaues preserved by change of truth values areestablished.展开更多
The problem of putting consistent theories together in institutions is dis-cussed. A general necessary condition for consistency of the resulting theory iscarried out, and some sufficient conditions are given for diag...The problem of putting consistent theories together in institutions is dis-cussed. A general necessary condition for consistency of the resulting theory iscarried out, and some sufficient conditions are given for diagrams of theories inwhich shapes are tree bundles or directed graphs. Moreover, some transforma-tions from complicated cases to simple ones are established.展开更多
基金Project of Teaching Research of Anqing Normal University(Project numbers:2022aqnujyxm20,2023aqnujyxm05,2023aqnujyxm12,and 2023aqnujyxm34)Project of Provincial Quality Project Program for Nurturing People in the New Era(Graduate Education)of Anhui Province(Project number:2023jyjxggyjY199)Project of Quality Engineering of Anhui Province(Project number:2022xsxx119)。
文摘The curriculum ideology and politics play an important role in cultivating students’correct worldview,outlook on life,and values.In recent years,universities and colleges have begun to pay attention to the cultivation of postgraduates’moral education and the construction of postgraduates’curriculum ideology and politics.This paper takes the course“Theory of Software Engineering”of Anqing Normal University as an example,discusses the paths of integrating postgraduate professional courses into the construction of curriculum ideology and politics,and puts forward the paths of feeding back from scientific research,connecting with practice and summarizing and condensing,which are aimed at improving postgraduates’comprehensive quality and innovation ability,and have positive significance for cultivating high-level applied scientific and technological talents who are both moral and talented.
文摘Established on October 18th of 2002, the School of Software Engineering of Beijing University of Posts and Telecommunications is one of the 35 national model schools of software engineering approved by the Ministry of Education and the National Committee of Development and Reform. According to current requirements and international trends, the school has set up its objective as to educate students with multi-level, practical, and composition talents. To this end,
文摘The concept of institution of variable truth values is introduced and somemain results about institutions are generalized. In particular, some propertiesof institutions of variable truth vaues preserved by change of truth values areestablished.
文摘The problem of putting consistent theories together in institutions is dis-cussed. A general necessary condition for consistency of the resulting theory iscarried out, and some sufficient conditions are given for diagrams of theories inwhich shapes are tree bundles or directed graphs. Moreover, some transforma-tions from complicated cases to simple ones are established.
