In new situation, the work of college moral education should take the scientific outlook on development as the guidance, insist the orientation of human education, emphasize the work center, innovate the working concept of moral education, enhance the working efficiency, strengthen the group construction of college students’ ideological and political education, and try to cultivate eligible bui...

Guided by the idea of letters with finite lists of predecessors and successors, the paper develops the Chomsky-Schützenberger theorem for languages of arrows in any free prop with a finite set of generators on the positive integers. The setting of monoidal categories is essential to obtain a well-behaved generalization of rational set, from monoids to monoidal categories.

New software based on explicit Runge-Kutta formulas have been developed to replace well-established, widely-used codes written by the authors (RKF45 and its successors in the SLATEC Library and the NAG Fortran 77 Library Runge-Kutta codes). The new software has greater functionality than its predecessors. Also, it is more eecient, more robust and better documented.

This formulation of the Roy-Floyd-Warshall algorithm for the transitive closure bypasses matrices and arrays, but uses a more direct mathematical model with adjacency functions for immediate predecessors and successors. This can be implemented efficiently in functional programming languages and is particularly adequate for sparse relations.

al-ṭabaqāt al-kubrā by muḥammad b. sa‘d baṣrī (d. 230/844) is one of the significant books on the biography of the prophet (s.a.w.), his companions, successors to the companions, and the transmitters of ḥadīth up to the early decades of third ah century. with a case study of imam ‘alī’s life in this book, the present research seeks to elucidate the difference of the reports presented by the tra...