Academic Journal
View in EDS

О ПОНЯТИИ ДОКАЗАТЕЛЬСТВА МАТЕМАТИЧЕСКИХ ТЕОРЕМ

Bibliographic Details
Title: О ПОНЯТИИ ДОКАЗАТЕЛЬСТВА МАТЕМАТИЧЕСКИХ ТЕОРЕМ
Contributors: Казанский (Приволжский) федеральный университет
Publisher Information: 2017.
Publication Year: 2017
Subject Terms: inference from the axioms, propositional calculus, the theorem, аксиоматическая теория, proof, axiomatic theory, аксиоматический метод, доказательство, формализованное исчисление высказываний, вывод из аксиом, теорема, axiomatic method
Description: The graduates of modern secondary schools have a poor command of the concept and methods of mathematical proofs, especially geometric theorems. This is due to the system of organization of study of geometry in school (Unified State Examination, cancel the oral examination), and the low level of logical-didactical training of future teachers of mathematics at the levels of undergraduate and graduate programs in a reformed classical universities. The message proposed to strengthen the role of the course in mathematical logic in the system of preparation of future teachers of mathematics, in particular, in the process of forming the concept of rigorous mathematical proof. A great methodological model for this may be formalized propositional calculus. It is shown that the proof of the theorems of school geometry course completely fit into the concept of rigorous mathematical proofs offered by formal calculus.
Выпускники современной средней школы слабо владеют понятием и методами доказательства математических, прежде всего геометрических, теорем. Это обусловлено как системой органи-зации изучения геометрии в школе (ЕГЭ, отмена устного экзамена), так и недостаточным уровнем логико-дидактической подготовки будущих учителей математики на уровнях бакалавриата и ма-гистратуры в реформированных классических университетах. В сообщении предлагается усилить роль курса математической логики в системе подготовки будущих учителей математики, в частности, в процессе формирования у них понятия строгого математического доказательства. Прекрасной методической моделью для этого может служить формализованное исчисление высказываний. Показывается, что доказательства теорем школьного курса геометрии полностью укладываются в концепцию строгого математического доказательства, предлагаемую формализованным исчислением высказываний.
83-88
Document Type: Article
Access URL: https://openrepository.ru/article?id=155199
Accession Number: edsair.httpsopenrep..f1c30de164c52708e39ebcbd66a2ef2a
Database: OpenAIRE
FullText Text:
  Availability: 0
Header DbId: edsair
DbLabel: OpenAIRE
An: edsair.httpsopenrep..f1c30de164c52708e39ebcbd66a2ef2a
RelevancyScore: 796
AccessLevel: 3
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 796.4208984375
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: О ПОНЯТИИ ДОКАЗАТЕЛЬСТВА МАТЕМАТИЧЕСКИХ ТЕОРЕМ
– Name: Author
  Label: Contributors
  Group: Au
  Data: Казанский (Приволжский) федеральный университет
– Name: Publisher
  Label: Publisher Information
  Group: PubInfo
  Data: 2017.
– Name: DatePubCY
  Label: Publication Year
  Group: Date
  Data: 2017
– Name: Subject
  Label: Subject Terms
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22inference+from+the+axioms%22">inference from the axioms</searchLink><br /><searchLink fieldCode="DE" term="%22propositional+calculus%22">propositional calculus</searchLink><br /><searchLink fieldCode="DE" term="%22the+theorem%22">the theorem</searchLink><br /><searchLink fieldCode="DE" term="%22аксиоматическая+теория%22">аксиоматическая теория</searchLink><br /><searchLink fieldCode="DE" term="%22proof%22">proof</searchLink><br /><searchLink fieldCode="DE" term="%22axiomatic+theory%22">axiomatic theory</searchLink><br /><searchLink fieldCode="DE" term="%22аксиоматический+метод%22">аксиоматический метод</searchLink><br /><searchLink fieldCode="DE" term="%22доказательство%22">доказательство</searchLink><br /><searchLink fieldCode="DE" term="%22формализованное+исчисление+высказываний%22">формализованное исчисление высказываний</searchLink><br /><searchLink fieldCode="DE" term="%22вывод+из+аксиом%22">вывод из аксиом</searchLink><br /><searchLink fieldCode="DE" term="%22теорема%22">теорема</searchLink><br /><searchLink fieldCode="DE" term="%22axiomatic+method%22">axiomatic method</searchLink>
– Name: Abstract
  Label: Description
  Group: Ab
  Data: The graduates of modern secondary schools have a poor command of the concept and methods of mathematical proofs, especially geometric theorems. This is due to the system of organization of study of geometry in school (Unified State Examination, cancel the oral examination), and the low level of logical-didactical training of future teachers of mathematics at the levels of undergraduate and graduate programs in a reformed classical universities. The message proposed to strengthen the role of the course in mathematical logic in the system of preparation of future teachers of mathematics, in particular, in the process of forming the concept of rigorous mathematical proof. A great methodological model for this may be formalized propositional calculus. It is shown that the proof of the theorems of school geometry course completely fit into the concept of rigorous mathematical proofs offered by formal calculus.<br />Выпускники современной средней школы слабо владеют понятием и методами доказательства математических, прежде всего геометрических, теорем. Это обусловлено как системой органи-зации изучения геометрии в школе (ЕГЭ, отмена устного экзамена), так и недостаточным уровнем логико-дидактической подготовки будущих учителей математики на уровнях бакалавриата и ма-гистратуры в реформированных классических университетах. В сообщении предлагается усилить роль курса математической логики в системе подготовки будущих учителей математики, в частности, в процессе формирования у них понятия строгого математического доказательства. Прекрасной методической моделью для этого может служить формализованное исчисление высказываний. Показывается, что доказательства теорем школьного курса геометрии полностью укладываются в концепцию строгого математического доказательства, предлагаемую формализованным исчислением высказываний.<br />83-88
– Name: TypeDocument
  Label: Document Type
  Group: TypDoc
  Data: Article
– Name: URL
  Label: Access URL
  Group: URL
  Data: <link linkTarget="URL" linkTerm="https://openrepository.ru/article?id=155199" linkWindow="_blank">https://openrepository.ru/article?id=155199</link>
– Name: AN
  Label: Accession Number
  Group: ID
  Data: edsair.httpsopenrep..f1c30de164c52708e39ebcbd66a2ef2a
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsair&AN=edsair.httpsopenrep..f1c30de164c52708e39ebcbd66a2ef2a
RecordInfo BibRecord:
  BibEntity:
    Languages:
      – Text: Undetermined
    Subjects:
      – SubjectFull: inference from the axioms
        Type: general
      – SubjectFull: propositional calculus
        Type: general
      – SubjectFull: the theorem
        Type: general
      – SubjectFull: аксиоматическая теория
        Type: general
      – SubjectFull: proof
        Type: general
      – SubjectFull: axiomatic theory
        Type: general
      – SubjectFull: аксиоматический метод
        Type: general
      – SubjectFull: доказательство
        Type: general
      – SubjectFull: формализованное исчисление высказываний
        Type: general
      – SubjectFull: вывод из аксиом
        Type: general
      – SubjectFull: теорема
        Type: general
      – SubjectFull: axiomatic method
        Type: general
    Titles:
      – TitleFull: О ПОНЯТИИ ДОКАЗАТЕЛЬСТВА МАТЕМАТИЧЕСКИХ ТЕОРЕМ
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Казанский (Приволжский) федеральный университет
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 01
              Type: published
              Y: 2017
          Identifiers:
            – Type: issn-locals
              Value: edsair
ResultId 1