<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Publishing DTD v1.3 20210610//EN" "JATS-journalpublishing1-3.dtd">
<article article-type="research-article" dtd-version="1.3" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xml:lang="ru"><front><journal-meta><journal-id journal-id-type="publisher-id">infoschool</journal-id><journal-title-group><journal-title xml:lang="ru">Информатика в школе</journal-title><trans-title-group xml:lang="en"><trans-title>Informatics in school</trans-title></trans-title-group></journal-title-group><issn pub-type="ppub">2221-1993</issn><publisher><publisher-name>Publishing House Education and Informatics</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.32517/2221-1993-2019-18-3-40-47</article-id><article-id custom-type="elpub" pub-id-type="custom">infoschool-333</article-id><article-categories><subj-group subj-group-type="heading"><subject>Research Article</subject></subj-group><subj-group subj-group-type="section-heading" xml:lang="ru"><subject>ИТОГОВАЯ АТТЕСТАЦИЯ ПО ИНФОРМАТИКЕ</subject></subj-group><subj-group subj-group-type="section-heading" xml:lang="en"><subject>FINAL CERTIFICATION IN INFORMATICS</subject></subj-group></article-categories><title-group><article-title>АЛГЕБРА ПРЕДИКАТОВ И ПОСТРОЕНИЕ ГЕОМЕТРИЧЕСКИХ МОДЕЛЕЙ НА ЕГЭ ПО ИНФОРМАТИКЕ</article-title><trans-title-group xml:lang="en"><trans-title>ALGEBRA OF PREDICATES AND RELATED GEOMETRIC MODELS CREATION IN REGARDS OF UNIFIED STATE EXAM IN INFORMATICS (RUSSIAN EGE)</trans-title></trans-title-group></title-group><contrib-group><contrib contrib-type="author" corresp="yes"><name-alternatives><name name-style="eastern" xml:lang="ru"><surname>Мирончик</surname><given-names>Е. А.</given-names></name><name name-style="western" xml:lang="en"><surname>Mironchik</surname><given-names>E. A.</given-names></name></name-alternatives><bio xml:lang="ru"><p>учитель информатики</p><p>654007, Кемеровская область, г. Новокузнецк, ул. Кирова, д. 35а.</p></bio><email xlink:type="simple">mironch-elena@yandex.ru</email><xref ref-type="aff" rid="aff-1"/></contrib></contrib-group><aff-alternatives id="aff-1"><aff xml:lang="ru"><institution>лицей № 111, г. Новокузнецк, Кемеровская область</institution><country>Россия</country></aff><aff xml:lang="en"><institution>Lyceum 111, Novokuznetsk, Kemerovo Region</institution><country>Russian Federation</country></aff></aff-alternatives><pub-date pub-type="collection"><year>2019</year></pub-date><pub-date pub-type="epub"><day>08</day><month>05</month><year>2019</year></pub-date><volume>0</volume><issue>3</issue><fpage>40</fpage><lpage>47</lpage><permissions><copyright-statement>Copyright &amp;#x00A9; Мирончик Е.А., 2019</copyright-statement><copyright-year>2019</copyright-year><copyright-holder xml:lang="ru">Мирончик Е.А.</copyright-holder><copyright-holder xml:lang="en">Mironchik E.A.</copyright-holder><license xml:lang="ru" license-type="creative-commons-attribution" xlink:href="https://creativecommons.org/licenses/by/4.0/" xlink:type="simple"><license-p>Данная работа распространяется под лицензией Creative Commons Attribution 4.0.</license-p></license><license xml:lang="en" license-type="creative-commons-attribution" xlink:href="https://creativecommons.org/licenses/by/4.0/" xlink:type="simple"><license-p>This work is licensed under a Creative Commons Attribution 4.0 License.</license-p></license></permissions><self-uri xlink:href="https://school.infojournal.ru/jour/article/view/333">https://school.infojournal.ru/jour/article/view/333</self-uri><abstract><p>В статье рассматривается метод решения задания № 18 ЕГЭ по информатике и ИКТ. Основная идея метода состоит в записи условия задачи на языке формальной логики с использованием элементарных предикатов. Полученное сложное логическое выражение по законам логики преобразовывается в выражение, по которому строится геометрическая модель, позволяющая записать ответ. Изложенный алгоритм позволяет задание высокой сложности свести к простому.</p></abstract><trans-abstract xml:lang="en"><p>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.</p></trans-abstract><kwd-group xml:lang="ru"><kwd>предикат</kwd><kwd>базисный предикат</kwd><kwd>множество</kwd><kwd>геометрическая модель</kwd><kwd>логика</kwd><kwd>логические операции</kwd><kwd>законы логики</kwd><kwd>делимость</kwd><kwd>битовые операции</kwd><kwd>ЕГЭ</kwd></kwd-group><kwd-group xml:lang="en"><kwd>predicate</kwd><kwd>basic predicate</kwd><kwd>set</kwd><kwd>geometric model</kwd><kwd>logic</kwd><kwd>logical operations</kwd><kwd>laws of logic</kwd><kwd>divisibility</kwd><kwd>bit operations</kwd><kwd>Unified State Exam</kwd></kwd-group></article-meta></front><back><ref-list><title>References</title><ref id="cit1"><label>1</label><citation-alternatives><mixed-citation xml:lang="ru">Босова Л. Л., Босова А. Ю. Информатика. 10 класс: учебник. М.: БИНОМ. Лаборатория знаний, 2016. 288 с.</mixed-citation><mixed-citation xml:lang="en">Босова Л. Л., Босова А. Ю. Информатика. 10 класс: учебник. М.: БИНОМ. Лаборатория знаний, 2016. 288 с.</mixed-citation></citation-alternatives></ref><ref id="cit2"><label>2</label><citation-alternatives><mixed-citation xml:lang="ru">Босова Л. Л., Мирончик Е. А.. Множества в задачах с анализом битовых цепочек // Информатика в школе. 2017. № 7. С. 44–47.</mixed-citation><mixed-citation xml:lang="en">Босова Л. Л., Мирончик Е. А.. Множества в задачах с анализом битовых цепочек // Информатика в школе. 2017. № 7. С. 44–47.</mixed-citation></citation-alternatives></ref><ref id="cit3"><label>3</label><citation-alternatives><mixed-citation xml:lang="ru">Герасименко Н. И. Задачи 18 с делителями в КИМ ЕГЭ по информатике // Преподавание, наука и жизнь: сайт Константина Полякова. http://kpolyakov.spb.ru/download/del18.pdf</mixed-citation><mixed-citation xml:lang="en">Герасименко Н. И. Задачи 18 с делителями в КИМ ЕГЭ по информатике // Преподавание, наука и жизнь: сайт Константина Полякова. http://kpolyakov.spb.ru/download/del18.pdf</mixed-citation></citation-alternatives></ref><ref id="cit4"><label>4</label><citation-alternatives><mixed-citation xml:lang="ru">Зубарева И. И., Мордкович А. Г. Математика. 6 класс: учебник для учащихся общеобразовательных организаций. М.: Мнемозина, 2013. 264 с.</mixed-citation><mixed-citation xml:lang="en">Зубарева И. И., Мордкович А. Г. Математика. 6 класс: учебник для учащихся общеобразовательных организаций. М.: Мнемозина, 2013. 264 с.</mixed-citation></citation-alternatives></ref><ref id="cit5"><label>5</label><citation-alternatives><mixed-citation xml:lang="ru">Конина Н. Л. Задачи 18 с делимостью // Преподавание, наука и жизнь: сайт Константина Полякова. http://kpolyakov.spb.ru/download/ege18del.pdf</mixed-citation><mixed-citation xml:lang="en">Конина Н. Л. Задачи 18 с делимостью // Преподавание, наука и жизнь: сайт Константина Полякова. http://kpolyakov.spb.ru/download/ege18del.pdf</mixed-citation></citation-alternatives></ref><ref id="cit6"><label>6</label><citation-alternatives><mixed-citation xml:lang="ru">Поляков К. Ю. Подготовка к ЕГЭ по информатике // Преподавание, наука и жизнь: сайт Константина Полякова. http://kpolyakov.spb.ru/school/ege.htm</mixed-citation><mixed-citation xml:lang="en">Поляков К. Ю. Подготовка к ЕГЭ по информатике // Преподавание, наука и жизнь: сайт Константина Полякова. http://kpolyakov.spb.ru/school/ege.htm</mixed-citation></citation-alternatives></ref></ref-list><fn-group><fn fn-type="conflict"><p>The authors declare that there are no conflicts of interest present.</p></fn></fn-group></back></article>
