ИТП по теме «Аксиоматическая теория» Вариант 1 |
Купить Гарантия | |
Код работы: | 25785 | |
Дисциплина: | Математика | |
Тип: | Контрольная | |
Вуз: | Иной - посмотреть другие работы и дисциплины по этому вузу | |
Цена: | 290 руб. | |
Просмотров: | 7798 | |
Уникальность: | В пределах нормы. При необходимости можно повысить оригинальность текста |
|
Содержание: |
Содержание ИТП по теме «Аксиоматическая теория» 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 Вариант 10 | Подробнее |
Тип: | Контрольная | |
Вуз: | Финансовый университет при Правительстве Российской Федерации (ВЗФЭИ) | |
Просмотры: | 7964 | |
Тема: | КН 1 Вариант 1 | Подробнее |
Тип: | Контрольная | |
Вуз: | Финансовый университет при Правительстве Российской Федерации (ВЗФЭИ) | |
Просмотры: | 6326 | |
Тема: | Бухучет Вариант 1.1-3 | Подробнее |
Тип: | Контрольная | |
Вуз: | иной | |
Просмотры: | 11111 | |
Тема: | контрольная работа / вариант 1 | Подробнее |
Тип: | Контрольная | |
Вуз: | АГАУ | |
Просмотры: | 11069 | |
Тема: | Страхование вариант 1 | Подробнее |
Тип: | Контрольная | |
Вуз: | ААЭП | |
Просмотры: | 7809 | |
Тема: | Назначение уголовного судопроизводства / вариант 1 | Подробнее |
Тип: | Курсовая | |
Вуз: | АГУ | |
Просмотры: | 5439 | |