|
Купить Гарантия | |
| Код работы: | 25785 | |
| Дисциплина: | Математика | |
| Тип: | Контрольная | |
| Вуз: | Иной - посмотреть другие работы и дисциплины по этому вузу | |
| Цена: | 390 руб. | |
| Просмотров: | 12507 | |
| Уникальность: | В пределах нормы. При необходимости можно повысить оригинальность текста |
|
| Содержание: |
Содержание ИТП по теме «Аксиоматическая теория» 3 Задачи на движение 10 Список использованных источников 15 |
|
| Отрывок: |
ИТП по теме «Аксиоматическая теория» I. Выполните задания тип Т1, Т2, Т3: Т1: Заполните пропуск, используя определения понятий и их свойства: А1: Натуральным числом в аксиоматической теории называется элемент множества в„•, на котором введено отношение «непосредственно следовать за» и выполнены четыре аксиомы А1 – А4. А2: Коммутативный закон сложения натуральных чисел символически записывается (в€Ђa, bв€Љ в„•)(a +b = b+ a)/ Сложение натуральных чисел обладает свойствами: Для любых а, b, с из в„• 1. (а + b) + с = а + (b + с) = а + b + с; (ассоциативность) 2. а + b =b + а; (коммутативность) От перемены мест слагаемых сумма не меняется. 3. а + b п‚№ bпѓ™а + bп‚№ а; Сумма двух любых натуральных чисел не равна ни одному из слагаемых. 4. а + b > апѓ™а + b >b; Сумма двух любых натуральных чисел больше любого из этих чисел. [...] Ответ Множество натуральных чисел удовлетворяет системе аксиом Пеано, для изображенной модели выполняются аксиомы 1, 2 и 4, но не выполняется аксиома 3, так как первый элементом следует сразу за двумя элементами, значит утверждение неверно. А6: Следующая модель является моделью множества натуральных чисел: {-3; -1; 1; 3; 5; …} Ответ Для данного множества выполняется система аксиом Пеано. Поскольку в аксиоматической теории не говорится о природе элементов данного множества, то можно установить взаимно однозначное соответствие между множествами {-3; -1; 1; 3; 5; …} и {1; 2; 3; 4; 5; …}. Соответственно, данная модель будет являться моделью множества натуральных чисел. А7: Система аксиом должна быть независимой и непротиворечивой Ответ Данное утверждение является верным, так как при аксиоматическом построении теории все утверждения выводятся путем доказательства из аксиом, поэтому к системе аксиом предъявляют требования непротиворечивости и независимости.[...] | |
|
Купить эту работу Гарантия возврата денег |
||
Другие готовые работы для скачивания, которые могут Вам подойти
| Тема: | Задания 1-11, Вариант 14 | Подробнее |
| Тип: | Контрольная | |
| Вуз: | Алтайский институт экономики | |
| Просмотры: | 12864 | |
| Тема: | контрольные работы 1,2,3 - вариант 1. Составить 10-15 предложений | Подробнее |
| Тип: | Контрольная | |
| Вуз: | АлтГТУ | |
| Просмотры: | 17403 | |
| Тема: | 2 контрольных. Вариант 10. Банк взять не из МУ | Подробнее |
| Тип: | Контрольная | |
| Вуз: | БГТУ (Брянский Государственный Технический Университет) | |
| Просмотры: | 9801 | |
| Тема: | Планирование инвестиционных затрат на проект. Вариант 10 | Подробнее |
| Тип: | Контрольная | |
| Вуз: | Неизвестен | |
| Просмотры: | 1854 | |
| Тема: | Земельное право / Вопросы / вариант 1 | Подробнее |
| Тип: | Контрольная | |
| Вуз: | АГУ | |
| Просмотры: | 19677 | |
| Тема: | Дифференциальное исчисление функций одной переменной, функций нескольких переменных Вариант 1 | Подробнее |
| Тип: | Контрольная | |
| Вуз: | АлтГТУ | |
| Просмотры: | 11248 | |
Поиск других готовых работ, выполненных в «ИнПро»
