История появления натуральных чисел и нуля. Теоретико-множественное определение натурального числа и нуля. Теоретико-множественное определение сложения и разности целых неотрицательных чисел. Свойства сложения



Download 1,03 Mb.
bet16/60
Sana21.02.2022
Hajmi1,03 Mb.
#40272
TuriЛекция
1   ...   12   13   14   15   16   17   18   19   ...   60
Bog'liq
Лекция1

Лекция № 6-7


Тема: Аксиоматическое определение сложения и умножения целых неотрицательных чисел. Таблицы сложения и умножения. Определение вычитания и деления. Невозможность деления на ноль. Деление с остатком
При аксиоматическом построении какой-либо математической теории соблюдаются определенные правила:
- некоторые понятия теории выбираются в качестве основных и принимаются без определения;
- каждому понятию теории, которое не содержится в списке основ­ных, дается определение, в нем разъясняется его смысл с помощью ос­новных и предшествующих данному понятий;
- формулируются аксиомы- предложения, которые в данной тео­рии принимаются без доказательства; в них раскрываются свойства основных понятий;
- каждое предложение теории, которое не содержится в списке ак­сиом, должно быть доказано; такие предложения называют теоремамии доказывают их на основе аксиом и теорем, предшествующих рас­сматриваемой.
Если построение теории осуществляется аксиоматическим мето­дом, т.е. по названным выше правилам, то говорят, что теория по­строена дедуктивно.
При аксиоматическом построении теории по существу все утверж­дения выводятся путем доказательства из аксиом. Поэтому к системе аксиом предъявляются особые требования. Прежде всего, она долж­на бытьнепротиворечивой и независимой.
Система аксиом называется непротиворечивой, если из нее нельзя логически вывести два взаимно исключающих друг друга предложения.
Если система аксиом не обладает этим свойством, она не может быть пригодной для обоснования научной теории.
Непротиворечивая система аксиом называется независимой, если никакая из аксиом этой системы не является следствием других акси­ом этой системы.
При аксиоматическом построении одной и той же теории можно использовать разные системы аксиом. Но они должны быть равно­сильными. Кроме того, при выборе той или иной системы аксиом математики учитывают, насколько просто и наглядно могут быть получены доказательства теорем в дальнейшем. Но если выбор акси­ом условен, то сама наука или отдельная теория не зависят от каких-либо условий, - они являются отражением реального мира.
Аксиоматическое построение системы натуральных чисел осуществ­ляется по сформулированным правилам. Изучая этот материал, мы должны увидеть, как из основных понятий и аксиом можно вывести всю арифметику натуральных чисел. Конечно, его изложение в нашем курсе будет не всегда строгим - некоторые доказательства мы опускаем в силу их большой сложности, но каждый такой случай будем оговаривать.
Упражнения
1. В чем суть аксиоматического способа построения теории?
2. Верно ли, что аксиома - это предложение, которое не требует доказательства?
3. Назовите основные понятия школьного курса планиметрии. Вспомните несколько аксиом из этого курса. Свойства каких понятий в них описываются?
4. Дайте определение прямоугольника, выбрав в качестве родового понятие параллелограмма. Назовите три понятия, которые в курсе геометрии должны предшествовать понятию «параллелограмм».
5. Какие предложения называют теоремами? Вспомните, какова логическая структура теоремы и что значит доказать теорему.

Download 1,03 Mb.

Do'stlaringiz bilan baham:
1   ...   12   13   14   15   16   17   18   19   ...   60




Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©hozir.org 2024
ma'muriyatiga murojaat qiling

kiriting | ro'yxatdan o'tish
    Bosh sahifa
юртда тантана
Боғда битган
Бугун юртда
Эшитганлар жилманглар
Эшитмадим деманглар
битган бодомлар
Yangiariq tumani
qitish marakazi
Raqamli texnologiyalar
ilishida muhokamadan
tasdiqqa tavsiya
tavsiya etilgan
iqtisodiyot kafedrasi
steiermarkischen landesregierung
asarlaringizni yuboring
o'zingizning asarlaringizni
Iltimos faqat
faqat o'zingizning
steierm rkischen
landesregierung fachabteilung
rkischen landesregierung
hamshira loyihasi
loyihasi mavsum
faolyatining oqibatlari
asosiy adabiyotlar
fakulteti ahborot
ahborot havfsizligi
havfsizligi kafedrasi
fanidan bo’yicha
fakulteti iqtisodiyot
boshqaruv fakulteti
chiqarishda boshqaruv
ishlab chiqarishda
iqtisodiyot fakultet
multiservis tarmoqlari
fanidan asosiy
Uzbek fanidan
mavzulari potok
asosidagi multiservis
'aliyyil a'ziym
billahil 'aliyyil
illaa billahil
quvvata illaa
falah' deganida
Kompyuter savodxonligi
bo’yicha mustaqil
'alal falah'
Hayya 'alal
'alas soloh
Hayya 'alas
mavsum boyicha


yuklab olish