|
|
-
Стамалиева К.А., Боруева С.Ш.
-
Стамалиева К.А., Боруева С.Ш.
-
K. Stamalieva, S. Borueva
-
СПОСОБЫ ПРИМЕНЕНИЯ ЭЛЕМЕНТОВ МАТЕМАТИЧЕСКОЙ ЛОГИКИ ПРИ ДОКАЗАТЕЛЬСТВЕ ТЕОРЕМ
-
МАТЕМАТИКАЛЫК ЛОГИКАНЫН ЭЛЕМЕНТТЕРИН ТЕОРЕМАЛАРДЫ ДАЛИЛДӨӨДӨ КОЛДОНУУ ЫКМАЛАРЫ
-
METHODS OF APPLICATION OF ELEMENTS OF MATHEMATICAL LOGIC IN THE PROOF OF THEOREMS
-
В этой научной статье показаны способы
использования некоторых элементов математической логики
при доказательстве теорем и различных утверждений,
требующих доказательство с целью повышения уровня
знаний обучаемых, обучения их правильному мышлению,
научить делать правильные выводы. В частности,
рассмотрены закон контрапозиции, понятие аргумента,
метод проверки путем заполнения таблицы, способы
упрощения формул с использованием логических законов. Было
отмечено, что в математической логике существует
множество логических законов и что они могут быть использованы для упрощения формул, как в курсе алгебры и наиболее
важным из которых является то, что элементы математической логики могут быть применены в любое время. Было
отмечено, что элементы математической логики помогают
хорошо усвоить традиционные понятия, такие как «функции
и их графики», «решение уравнений и неравенств», «элементы
геометрии» и т.д.
-
Бул илимий макалада билим алуучулардын билим
деңгээлдерин көтөрүү, аларды туура ой-жүгүртүүгө жана
туура так жыйынтык чыгарууга үйрөтүү максатында
теоремаларды жана ар кандай тастыктай турган
сүйлөмдөрдү далилдөөдө математикалык логиканын кээ бир
элементтерин колдонуу ыкмалары көрсөтүлдү. Тактап
айтканда, контрапозиция закону, аргумент түшүнүгү,
таблица толтуруу аркылуу текшерүү ыкмасы, логикалык
закондорду колдонуу менен формулаларды жөнөкөйлөтүү
жолдору каралган. Математикалык логикада көптөгөн
закондор бар экендиги жана аларды алгебра курсундагыдай
эле формулаларды жөнөкөйлөтүүдө колдонууга мүмкүн
экендиги, эң негизинен математикалык логиканын
элементтерин каалаган убакытта колдонууга мүмкүн экендиги баса белгиленген. Математикалык логиканын элементтерин көптөгөн «функция жана график», «теңдемелерди жана
барабарсыздыктарды чыгаруу», «геометриянын элементтери» сыяктуу традициондук түшүнүктөрдү баяндоодо
жакшы түшүнүүгө мүмкүндүк берери белгиленген.
-
This scientific article shows ways to use some elements of
mathematical logic in proving theorems and various statements
that require proof in order to increase the level of knowledge of
trainees, teach them to think correctly, teach them to draw the
right conclusions and choose the right path. In particular, the law
of contraposition, the concept of an argument, the method of
checking by filling in a table, ways to simplify formulas using
logical laws are considered. It was noted that there are many
logical laws in mathematical logic and that they can be used to
simplify formulas, as in the algebra course and the most important
of which is that the elements of mathematical logic can be applied
at any time. It was noted that elements of mathematical logic helps
to master traditional concepts well, such as "functions and their
graphs", "solving equations and inequalities", "elements of
geometry", etc.
-
математика, элементы логики, теоремы, предложения, закон контрапозиции, логические законы, аргумент, таблица истинности, тавтология, равносильность, упрощение формул.
-
математика, логиканын элементтери, теоремалар, сүйлөмдөр, контрапозиция закону, логикалык закондор, аргумент, чындык таблица, тавтология, тең күчтүүлүк, формулаларды жөнөкөйлөтүү.
-
mathematics, elements of logic, theorems, propositions, the law of contraposition, logical laws, argument, truth table, tautology, equivalence, simplification of formulas
Авторлор жөнүндө маалымат
-
Стамалиева К.А., Таласский государстенный
университет, г. Талас, Кыргызская Республика,
кандидат педагогических наук, доцент.
Боруева С.Ш., Таласский государстенный
университет, г. Талас, Кыргызская Республика,
преподаватель.
-
Стамалиева К.А., Талас мамлекеттик университети,
Талас шаары, Кыргыз Республикасы, педагогика
илимдеринин кандидаты, доцент.
Боруева С.Ш., Талас мамлекеттик университети,
Талас шаары, Кыргыз Республикасы, окутуучу.
-
K. Stamalieva, Talas State University, Talas, Kyrgyz
Republic, candidate of pedagogical sciences,
associate professor.
S. Borueva, Talas State University, Talas, Kyrgyz
Republic, lecturer.
10.26104/NNTIK.2019.45.557
Стамалиева К.А., Боруева С.Ш. СПОСОБЫ ПРИМЕНЕНИЯ ЭЛЕМЕНТОВ МАТЕМАТИЧЕСКОЙ ЛОГИКИ ПРИ ДОКАЗАТЕЛЬСТВЕ ТЕОРЕМ. Наука, новые технологии и инновации Кыргызстана. 2022. №. 5. C. 25-29
|
