ИТП по теме «Аксиоматическая теория» Вариант 1 |
Купить Гарантия | |
Код работы: | 25785 | |
Дисциплина: | Математика | |
Тип: | Контрольная | |
Вуз: | Иной - посмотреть другие работы и дисциплины по этому вузу | |
Цена: | 290 руб. | |
Просмотров: | 7796 | |
Уникальность: | В пределах нормы. При необходимости можно повысить оригинальность текста |
|
Содержание: |
Содержание ИТП по теме «Аксиоматическая теория» 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,2,3 вариант 19 | Подробнее |
Тип: | Контрольная | |
Вуз: | КГТУ | |
Просмотры: | 7647 | |
Тема: | Вариант 4 , таблица 11 - вариант 1 и 5 | Подробнее |
Тип: | Контрольная | |
Вуз: | АГУ | |
Просмотры: | 10057 | |
Тема: | Экономика здравоохранения, Вариант 11 | Подробнее |
Тип: | Контрольная | |
Вуз: | АГМУ | |
Просмотры: | 10775 | |
Тема: | Заявление об увольнении санитарки ЛПУ+задание 3(а,б) вариант 12 | Подробнее |
Тип: | Контрольная | |
Вуз: | АГМУ | |
Просмотры: | 11258 | |
Тема: | Контрольная работа №2, вариант 1 | Подробнее |
Тип: | Контрольная | |
Вуз: | ВЗФИ | |
Просмотры: | 9696 | |
Тема: | Математика вариант 10 задание 1,2 | Подробнее |
Тип: | Контрольная | |
Вуз: | АГАУ | |
Просмотры: | 9565 | |