scholarly journals Application for Logical Expression Processing

Author(s):  
Marcin Michalak ◽  
Michal Dubiel ◽  
Jolanta Urbanek

2019 ◽  
pp. 40-47
Author(s):  
E. A. Mironchik

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.



2015 ◽  
Vol 47 (1) ◽  
pp. 50
Author(s):  
Haibin WANG ◽  
Jiamei LU ◽  
Benxian YAO ◽  
Qingsong SANG ◽  
Ning CHEN ◽  
...  


2021 ◽  
Vol 148 ◽  
pp. 105678 ◽  
Author(s):  
Arianna Schiano Lomoriello ◽  
Antonio Maffei ◽  
Sabrina Brigadoi ◽  
Paola Sessa


2021 ◽  
pp. 108056
Author(s):  
Sebastian Schindler ◽  
Clara Tirloni ◽  
Maximilian Bruchmann ◽  
Thomas Straube


2009 ◽  
Vol 80 (4) ◽  
pp. 1134-1146 ◽  
Author(s):  
Hironori Akechi ◽  
Atsushi Senju ◽  
Yukiko Kikuchi ◽  
Yoshikuni Tojo ◽  
Hiroo Osanai ◽  
...  


2008 ◽  
Vol 19 (5) ◽  
pp. 1124-1133 ◽  
Author(s):  
D. Lenzi ◽  
C. Trentini ◽  
P. Pantano ◽  
E. Macaluso ◽  
M. Iacoboni ◽  
...  


Synthese ◽  
1982 ◽  
Vol 51 (1) ◽  
pp. 87-116 ◽  
Author(s):  
James E. McClellan
Keyword(s):  


2013 ◽  
Vol 13 (9) ◽  
pp. 99-99 ◽  
Author(s):  
A. Omigbodun ◽  
G. Cottrell


2019 ◽  
Vol 19 (10) ◽  
pp. 183
Author(s):  
Anna Hudson ◽  
Heather Henderson ◽  
Roxane Itier


PLoS ONE ◽  
2011 ◽  
Vol 6 (7) ◽  
pp. e22287 ◽  
Author(s):  
Samantha Baggott ◽  
Romina Palermo ◽  
Mark A. Williams


Sign in / Sign up

Export Citation Format

Share Document