<?xml version="1.0" encoding="utf-8"?>
<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Publishing DTD v1.3 20210610//EN" "https://jats.nlm.nih.gov/publishing/1.3/JATS-journalpublishing1-3.dtd">
<article article-type="research-article" dtd-version="1.3" xml:lang="ru">
  <front>
    <journal-meta>
      <journal-title-group>
        <journal-title>Computing, Telecommunication and Control</journal-title>
        <trans-title-group xml:lang="ru">
          <trans-title>Информатика, телекоммуникации и управление</trans-title>
        </trans-title-group>
      </journal-title-group>
      <issn pub-type="epub">2687-0517</issn>
    </journal-meta>
    <article-meta>
      <article-id pub-id-type="publisher-id">33</article-id>
      <title-group>
        <article-title>System of verification for parametric classes of tasks in mathematics</article-title>
        <trans-title-group xml:lang="ru">
          <trans-title>Система верификации для параметрических классов задач по математике</trans-title>
        </trans-title-group>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <name>
            <surname>Mantserov</surname>
            <given-names>Dmitry</given-names>
          </name>
        </contrib>
      </contrib-group>
      <pub-date publication-format="electronic" date-type="pub" iso-8601-date="2008-10-10">
        <day>10</day>
        <month>10</month>
        <year>2008</year>
      </pub-date>
      <issue>5</issue>
      <issue-id pub-id-type="publisher-id">65</issue-id>
      <fpage>183</fpage>
      <lpage>189</lpage>
      <abstract xml:lang="en">
        <p>In clause system for creation tasks in mathematics and verification of knowledge by using parametric classes of tasks. Also in clause is expounded the base of parametric classes of tasks and structure of verification system.</p>
      </abstract>
      <kwd-group xml:lang="en">
        <kwd>parametric class of tasks</kwd>
        <kwd>specimen of a parametric class</kwd>
        <kwd>class-pattern</kwd>
        <kwd>predicates of a class-pattern</kwd>
        <kwd>generation of specimen</kwd>
      </kwd-group>
    </article-meta>
  </front>
</article>
