ИТП по теме «Аксиоматическая теория» Вариант 1 |
Купить Гарантия | |
Код работы: | 25785 | |
Дисциплина: | Математика | |
Тип: | Контрольная | |
Вуз: | Иной - посмотреть другие работы и дисциплины по этому вузу | |
Цена: | 290 руб. | |
Просмотров: | 7485 | |
Уникальность: | В пределах нормы. При необходимости можно повысить оригинальность текста |
|
Содержание: |
Содержание ИТП по теме «Аксиоматическая теория» 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: Система аксиом должна быть независимой и непротиворечивой Ответ Данное утверждение является верным, так как при аксиоматическом построении теории все утверждения выводятся путем доказательства из аксиом, поэтому к системе аксиом предъявляют требования непротиворечивости и независимости.[...] | |
Купить эту работу Гарантия возврата денег |
Тема: | Статистика вариант 11 | Подробнее |
Тип: | Контрольная | |
Вуз: | СибАГС | |
Просмотры: | 9028 | |
Тема: | Математика Вариант 10 | Подробнее |
Тип: | Контрольная | |
Вуз: | СГУ | |
Просмотры: | 7377 | |
Тема: | лаб. Раб. № 4 вариант 12 | Подробнее |
Тип: | Лабораторная работа | |
Вуз: | АлтГТУ | |
Просмотры: | 10960 | |
Тема: | Стиль управления и руководства. Вариант 17 | Подробнее |
Тип: | Контрольная | |
Вуз: | Финансовый университет при Правительстве Российской Федерации (ВЗФЭИ) | |
Просмотры: | 9809 | |
Тема: | Организация и регулирование оплаты труда. Вариант 12 | Подробнее |
Тип: | Контрольная | |
Вуз: | Финансовый университет при Правительстве Российской Федерации (ВЗФЭИ) | |
Просмотры: | 9552 | |
Тема: | Логистика (КН вариант 11) | Подробнее |
Тип: | Контрольная | |
Вуз: | АлтГТУ | |
Просмотры: | 7465 | |