From Formal Logic through Program Transformations to System Dynamics: 40 Years of Meeting Points with Martin Wirsing

2015 ◽  
pp. 24-26
Author(s):  
Wolfgang Hesse
Keyword(s):  
System Dynamics ◽  
Formal Logic ◽  
Program Transformations

ALGEBRA OF PREDICATES AND RELATED GEOMETRIC MODELS CREATION IN REGARDS OF UNIFIED STATE EXAM IN INFORMATICS (RUSSIAN EGE)

2019 ◽  
pp. 40-47
Author(s):  
E. A. Mironchik
Keyword(s):  
Geometric Model ◽  
Main Idea ◽  
Formal Logic ◽  
High Complexity ◽  
Geometric Models ◽  
Complexity Problem ◽  
Logical Expression ◽  
State Examination

The article discusses the method of solving the task 18 on the Unified State Examination in Informatics (Russian EGE). The main idea of the method is to write the conditions of the problem utilizing the language of formal logic, using elementary predicates. According to the laws of logic the resulting complex logical expression would be transformed into an expression, according to which a geometric model is supposed to be constructed which allows to obtain an answer. The described algorithm does allow high complexity problem to be converted into a simple one.

Estimating of Public Evacuation Time based on System Dynamics for NPP Radioactive Leakage Accident

2018 ◽  
Vol 19 (4) ◽  
pp. 125-144
Author(s):  
Hyung Won Lee ◽  
Min Ho Cha ◽  
Chang Hoon Kim
Keyword(s):  
System Dynamics ◽  
Evacuation Time
Sign in / Sign up

Export Citation Format

Share Document