<?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE book PUBLIC "-//NLM//DTD BITS Book Interchange DTD v2.3 20210610//EN" "BITS-book2.3.dtd"> <book xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:mml="http://www.w3.org/1998/Math/MathML" book-type="conference-proceedings" dtd-version="2.3" xml:lang="ru"> <front> <book-meta>  <book-id book-id-type="isbn">978-5-9500127-2-3</book-id>   <book-id pub-id-type="doi">10.21661/a-405</book-id>   <title-group>  <book-title xml:lang="ru">Весенний школьный марафон</book-title>   </title-group>  <description xml:lang="ru"> <p>В сборнике представлены результаты исследований участников IV Международной научно-практической конференции школьников, охватывающие широкий круг вопросов и освещающие различные школьные дисциплины.
Предназначен для широкого круга читателей.</p> </description>   <contrib-group>  <contrib contrib-type="editor" id="editor1">  <contrib-id contrib-id-type="role">chief_editor</contrib-id>    <name-alternatives>  <name name-style="eastern" xml:lang="ru"> <surname>Широков</surname> <given-names>Олег Николаевич</given-names> </name>   </name-alternatives>   <email xlink:type="simple">425954@rambler.ru</email> </contrib>  <contrib contrib-type="editor" id="editor2">    <name-alternatives>  <name name-style="eastern" xml:lang="ru"> <surname>Абрамова</surname> <given-names>Людмила Алексеевна</given-names> </name>   </name-alternatives>   <email xlink:type="simple">labramova@interactive-plus.ru</email> </contrib>  <contrib contrib-type="editor" id="editor3">  <contrib-id contrib-id-type="role">executive_editor</contrib-id>    <name-alternatives>  <name name-style="eastern" xml:lang="ru"> <surname>Яковлева</surname> <given-names>Татьяна Валериановна</given-names> </name>   </name-alternatives>   <email xlink:type="simple">info@interactive-plus.ru</email> </contrib>  <contrib contrib-type="editor" id="editor4">  <contrib-id contrib-id-type="role">associate_editor</contrib-id>    <name-alternatives>  <name name-style="eastern" xml:lang="ru"> <surname>Семенова</surname> <given-names>Светлана Юрьевна</given-names> </name>   </name-alternatives>   <email xlink:type="simple">ssemenova@interactive-plus.ru</email> </contrib>  </contrib-group>   <contrib-group>  <contrib contrib-type="member-of-organizing-committee" id="orgcomm1">  <contrib-id contrib-id-type="role">chief_editor</contrib-id>    <name-alternatives>  <name name-style="eastern" xml:lang="ru"> <surname>Широков</surname> <given-names>Олег Николаевич</given-names> </name>   </name-alternatives>   </contrib>  <contrib contrib-type="member-of-organizing-committee" id="orgcomm2">    <name-alternatives>  <name name-style="eastern" xml:lang="ru"> <surname>Бекназаров</surname> <given-names>Рахым Агибаевич</given-names> </name>   </name-alternatives>   </contrib>  <contrib contrib-type="member-of-organizing-committee" id="orgcomm3">    <name-alternatives>  <name name-style="eastern" xml:lang="ru"> <surname>Бережная</surname> <given-names>Светлана Викторовна</given-names> </name>   </name-alternatives>   </contrib>  <contrib contrib-type="member-of-organizing-committee" id="orgcomm4">    <name-alternatives>  <name name-style="eastern" xml:lang="ru"> <surname>Абрамова</surname> <given-names>Людмила Алексеевна</given-names> </name>   </name-alternatives>   </contrib>  <contrib contrib-type="member-of-organizing-committee" id="orgcomm5">    <name-alternatives>  <name name-style="eastern" xml:lang="ru"> <surname>Иваницкий</surname> <given-names>Александр Юрьевич</given-names> </name>   </name-alternatives>   </contrib>  </contrib-group>   <event>  <event-desc xml:lang="ru">Весенний школьный марафон</event-desc>   <event-desc xml:lang="en">Spring school marathon</event-desc>     <conf-loc xml:lang="ru">Чебоксары</conf-loc>  </event>   <publisher> <publisher-name>Центр научного сотрудничества «Интерактив плюс»</publisher-name> </publisher>    <pub-date pub-type="collection"> <year>2017</year> </pub-date>    <permissions> <copyright-statement>Copyright &#x00A9; Коробков Г. П., Фёдоров Д. С., Загуменов В. П., Коробкова О. К., 2017</copyright-statement> <copyright-year>2017</copyright-year> <license license-type="open-access" 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>  </book-meta> <book-part book-part-type="conference-paper"> <book-part-meta>   <book-id custom-type="publisher-id" pub-id-type="custom">119396</book-id> <title-group>  <chapter-title xml:lang="ru">Элементы математической логики</chapter-title>   </title-group>  <contrib-group>   <contrib contrib-type="author" id="author1">   <name-alternatives>  <name name-style="eastern" xml:lang="ru"> <surname>Коробков</surname> <given-names>Георгий Павлович</given-names> </name>    </name-alternatives>   <xref ref-type="aff" rid="aff1"/> </contrib>   <contrib contrib-type="author" id="author2">   <name-alternatives>  <name name-style="eastern" xml:lang="ru"> <surname>Фёдоров</surname> <given-names>Дмитрий Сергеевич</given-names> </name>    </name-alternatives>   <xref ref-type="aff" rid="aff1"/> </contrib>   <contrib contrib-type="author" id="author3">   <name-alternatives>  <name name-style="eastern" xml:lang="ru"> <surname>Загуменов</surname> <given-names>Владимир Петрович</given-names> </name>    </name-alternatives>   <xref ref-type="aff" rid="aff1"/> </contrib>   <contrib contrib-type="author" id="author4">   <name-alternatives>  <name name-style="eastern" xml:lang="ru"> <surname>Коробкова</surname> <given-names>Оксана Константиновна</given-names> </name>    </name-alternatives>  <email xlink:type="simple">korobkova.ok@yandex.ru</email> <xref ref-type="aff" rid="aff2"/> </contrib>   <aff-alternatives id="aff1">   <aff xml:lang="ru">  <institution>МАОУ «Математический лицей»</institution>   <country>Россия</country> </aff>     </aff-alternatives>  <aff-alternatives id="aff2">   <aff xml:lang="ru">  <institution>ФГБОУ ВО «Хабаровский государственный университет экономики и права»</institution>   <country>Россия</country> </aff>     </aff-alternatives>  </contrib-group>   <fpage>84</fpage> <lpage>87</lpage>   <abstract xml:lang="ru"> <p>тема исследования является актуальной, так как в работе рассматриваются теоретические вопросы одного из направлений развития современной математики. Цель исследования – изучить понятие логики в математике, которая изучает вопросы применения математических методов для решения логических задач и построения логических схем, которые лежат в основе работы любого компьютера. В статье рассматриваются математические символы и их исторический аспект. Методологической основой работы является обобщение изученной нормативно-справочная информации, учебно-методической литературы.</p> </abstract>           <kwd-group xml:lang="ru">  <kwd>логика</kwd>  <kwd>математическая логика</kwd>  <kwd>элементы математической логики</kwd>  <kwd>математические символы</kwd>  </kwd-group>        </book-part-meta> </book-part> </front>  <back> <ref-list> <title>References</title>  <ref id="ref1"> <label>1</label> <citation-alternatives>  <mixed-citation xml:lang="ru">1. Гончаров С.С. О роли математической логики в образовании по математическим направлениям / С.С. Гончаров, Б.Н. Дроботун // Сибирский журнал чистой и прикладной математики. – 2008. Т. 8 – №1. – С. 15–25.</mixed-citation>    </citation-alternatives> <element-citation publication-type="other">  <person-group person-group-type="author">  <name> <surname>Гончаров</surname> <given-names>С. С.</given-names> </name>  <name> <surname>Дроботун</surname> <given-names>Б. Н.</given-names> </name>  </person-group>   <article-title>О роли математической логики в образовании по математическим направлениям</article-title> <source>Сибирский журнал чистой и прикладной математики</source> <year>2008</year>  <issue>№1</issue> <fpage>15</fpage> <lpage>25</lpage>         </element-citation> </ref>  <ref id="ref2"> <label>2</label> <citation-alternatives>  <mixed-citation xml:lang="ru">2. Ершов Ю.Л. Математическая логика: Учеб. пособие для студентов высших учебных заведений, обучающихся по направлениям и специальностям «Математика», «Прикладная математика и информатика», «Механика» / Ю.Л. Ершов, Е.А. Палютин. – 6-е изд., исп. – М., 2011. – 356 с.</mixed-citation>    </citation-alternatives> <element-citation publication-type="other">  <person-group person-group-type="author">  <name> <surname>Ершов</surname> <given-names>Ю. Л.</given-names> </name>  <name> <surname>Палютин</surname> <given-names>Е. А.</given-names> </name>  </person-group>   <article-title>Математическая логика: Учеб. пособие для студентов высших учебных заведений, обучающихся по направлениям и специальностям «Математика», «Прикладная математика и информатика», «Механика»</article-title>               <publisher-loc>М.</publisher-loc> <publisher-name></publisher-name>  </element-citation> </ref>  <ref id="ref3"> <label>3</label> <citation-alternatives>  <mixed-citation xml:lang="ru">3. Янкина Л.А. Использование элементов логики при изучении математических понятий / Л.А. Янкина // ПМНО: Поиск. Мастерство. Новаторство. Опыт.: Материалы всероссийской научно-практической конференции / Мордовский государственный педагогический институт имени М.Е. Евсевьева. – Саранск, 2013. – С. 122–125.</mixed-citation>    </citation-alternatives> <element-citation publication-type="other">  <person-group person-group-type="author">  <name> <surname>Янкина</surname> <given-names>Л. А.</given-names> </name>  </person-group>   <article-title>Использование элементов логики при изучении математических понятий</article-title> <source>ПМНО: Поиск. Мастерство. Новаторство. Опыт</source>    <fpage>122</fpage> <lpage>125</lpage>         <publisher-loc>Саранск</publisher-loc> <publisher-name></publisher-name>  </element-citation> </ref>  </ref-list> </back>  </book>