module system
Recently Published Documents


TOTAL DOCUMENTS

299
(FIVE YEARS 67)

H-INDEX

19
(FIVE YEARS 2)

2022 ◽  
Vol 32 (32) ◽  
Author(s):  
DEREK DREYER ◽  
BENJAMIN C. PIERCE

Abstract The Robert Harper Festschrift includes articles by three of Bob’s students and colleagues—Karl Crary, Andrzej Filinski, and Jonathan Sterling. Each of these articles touches on themes that are central to Bob’s research: module system design, proof-directed program development, and (to use Bob’s term) “computational trinitarianism”. In this foreword to the Festschrift, we have additionally compiled reminiscences of Bob Harper from his PhD students. We invited them to reflect on their experiences working with and learning from Bob. We believe these reminiscences, presented in chronological order of dissertation date, deliver a most fitting tribute to Bob in honor of his 64th birthday.


2021 ◽  
Author(s):  
Vladimirovna Svetlana ◽  
Gennad'evna Ol'ga

The teaching and methodological manual presents theoretical and practical aspects of the implementation of the system-activity approach in obtaining secondary general education, materials for conducting classes and self-study within the module "System-activity approach as a methodological basis of the Federal State Educational Standard of General Education" under the program "Achieving meta-subject educational results of students by means of teaching academic subjects". For teachers and trainees of the advanced training system, senior teaching staff and teachers interested in the implementation of the system-activity approach in educational activities.


2021 ◽  
Vol 5 (2) ◽  
pp. 45-51
Author(s):  
Johan Eko Prasetyo ◽  
Jamaaluddin Jamaaluddin

A good work environment will affect the level of productivity of workers in a company. The operation of the refrigeration machine in the cocoa powder grinding area is very important in production. The indicators for the operation of the cooling machine are dust density, ambient temperature and wind speed. With control on the indicator will increase efficiency. In this study, the indicator is controlled with a GP2Y1010AUF0F dust sensor, a DHT22 temperature sensor, a DS18B20 sensor, and a wind speed sensor as sensor inputs. Furthermore, the sensor will be processed by the Node M CU ESP826 module. System output will be displayed on LED and android. The results of this study indicate the accuracy of the dust sensor is 96.12%, the DHT22 temperature sensor is 99.80%, the DS18B20 temperature sensor is 99.57% and the speed sensor is 95.89%. In this prototype, we can monitor the temperature of the air velocity of dust particles in the engine and the temperature of the engine cooler together and closely monitored.


2021 ◽  
Author(s):  
◽  
Michael Homer

<p>Grace is a programming language under development aimed at education. Grace is object-oriented, imperative, and block-structured, and intended for use in first- and second-year object-oriented programming courses. We present a number of language features we have designed for Grace and implemented in our self-hosted compiler. We describe the design of a pattern-matching system with object-oriented structure and minimal extension to the language. We give a design for an object-based module system, which we use to build dialects, a means of extending and restricting the language available to the programmer, and of implementing domain-specific languages. We show a visual programming interface that melds visual editing (à la Scratch) with textual editing, and that uses our dialect system, and we give the results of a user experiment we performed to evaluate the usability of our interface.</p>


2021 ◽  
Author(s):  
◽  
Michael Homer

<p>Grace is a programming language under development aimed at education. Grace is object-oriented, imperative, and block-structured, and intended for use in first- and second-year object-oriented programming courses. We present a number of language features we have designed for Grace and implemented in our self-hosted compiler. We describe the design of a pattern-matching system with object-oriented structure and minimal extension to the language. We give a design for an object-based module system, which we use to build dialects, a means of extending and restricting the language available to the programmer, and of implementing domain-specific languages. We show a visual programming interface that melds visual editing (à la Scratch) with textual editing, and that uses our dialect system, and we give the results of a user experiment we performed to evaluate the usability of our interface.</p>


2021 ◽  
pp. 196-209

A module system, one of the biggest institutional factors of the educational system, and under this system, the main objective is to investigate the factors of the development of students' writing skills, to give them a worthy assessment and to develop important conclusions within the framework of scientific research. This article provides information on the most used module system today and the factors behind the development of writing skills in it. Today, the introduction of a module system into the educational system, through which, using various advanced pedagogical technologies, along with the progress in the educational system, is able to demonstrate the mistakes and shortcomings that are being made, improving writing skills, speech activity, communicative competence of students studying in the legal direction remains one of the biggest requirements. The evaluation of students’ writing skills in English, as well as other foreign languages, the improvement of this system with the help of modern methods are among the most important tasks. The constant increase in the English language proficiency, writing and communicative competence of students, especially students of law educational institutions, as well as the most important system of their assessment is more important than ever. Their specific methodological basis, in the process of studying alternative methods and options for evaluation, it should be noted that for language learners, students, those who want to acquire a certain specialty, the assessment is based on the work carried out, requiring the performance of authentic tasks with the application of oral or written communication skills. And the writing speech is a manifestation of oral speech in the form of a graphic image, and the psychophysiological connotations of oral speech are preserved in the form of written speech.


Solar Energy ◽  
2021 ◽  
Vol 226 ◽  
pp. 408-420
Author(s):  
Xu-Hui He ◽  
Hao Ding ◽  
Hai-Quan Jing ◽  
Xiao-Ping Wu ◽  
Xiao-Jun Weng

2021 ◽  
Vol 02 (08) ◽  
pp. 92-95
Author(s):  
Onakhon Mannapovna Jabborova ◽  
Keyword(s):  

The article analyses the basics of teaching the expansion of subjects in the credit-modular system of education.


Sign in / Sign up

Export Citation Format

Share Document