ALGEBRA OF PREDICATES AND RELATED GEOMETRIC MODELS CREATION IN REGARDS OF UNIFIED STATE EXAM IN INFORMATICS (RUSSIAN EGE)
Keyword(s):
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.
2013 ◽
Vol 655-657
◽
pp. 7-10
Keyword(s):
Keyword(s):
Keyword(s):
2000 ◽
Vol 24
(2)
◽
pp. 415-435
◽
Keyword(s):
2002 ◽
Vol 14
(02)
◽
pp. 47-54
◽
2006 ◽
Vol 12
(1)
◽
pp. 147-152
◽
2013 ◽
Vol 416-417
◽
pp. 1187-1191
Keyword(s):