scholarly journals Transaction Logic with Partially Defined Actions

2012 ◽  
Vol 1 (2) ◽  
pp. 99-131 ◽  
Author(s):  
Martín Rezk ◽  
Michael Kifer
Keyword(s):  
2021 ◽  
Vol 2136 (1) ◽  
pp. 012055
Author(s):  
Yan Yang ◽  
Zijian Sha

Abstract The network teaching assistance system uses the form of dialogue to discuss the teaching content with students, the course schedule arrangement, the way and technology of teaching and training, which can effectively improve the teaching quality, shorten the teaching time and increase the teaching efficiency to achieve the established optimization of teaching purposes. In this paper, a forum system for experimental teaching is proposed, which aims to establish a public communication platform to serve the experimental teaching process, and to apply it to the exchange and study between the experimental instructors and students. Through text multimedia technology, the quality of experimental teaching is improved, and students’ practical ability and innovative thinking are cultivated. The experimental teaching forum uses B/S structure to design the interactive platform of information exchange, and presents the information to the user through the browser. The transaction logic is processed by the server side, and the front-end represents the exchange of information.


Sign in / Sign up

Export Citation Format

Share Document