ИТП по теме «Аксиоматическая теория» Вариант 1 |
Купить Гарантия | |
Код работы: | 25785 | |
Дисциплина: | Математика | |
Тип: | Контрольная | |
Вуз: | Иной - посмотреть другие работы и дисциплины по этому вузу | |
Цена: | 290 руб. | |
Просмотров: | 7756 | |
Уникальность: | В пределах нормы. При необходимости можно повысить оригинальность текста |
|
Содержание: |
Содержание ИТП по теме «Аксиоматическая теория» 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: Система аксиом должна быть независимой и непротиворечивой Ответ Данное утверждение является верным, так как при аксиоматическом построении теории все утверждения выводятся путем доказательства из аксиом, поэтому к системе аксиом предъявляют требования непротиворечивости и независимости.[...] | |
Купить эту работу Гарантия возврата денег |
Тема: | Теория языков программирования и методы трансляции. Лабораторная работа 8 заданий. Вариант 13 | Подробнее |
Тип: | Контрольная | |
Вуз: | СибГУТИ | |
Просмотры: | 8216 | |
Тема: | Двухиндексные задачи линейного программирования: задача о назначениях (постановка задачи, математическая модель, решение с применением сервиса Поиск решения в MS Excel). Вариант 10 | Подробнее |
Тип: | Контрольная | |
Вуз: | Неизвестен | |
Просмотры: | 10862 | |
Тема: | Гражданское право вариант 1 | Подробнее |
Тип: | Контрольная | |
Вуз: | БЮИ | |
Просмотры: | 11686 | |
Тема: | КН 1. Вариант 10 | Подробнее |
Тип: | Контрольная | |
Вуз: | Финансовый университет при Правительстве Российской Федерации (ВЗФЭИ) | |
Просмотры: | 8913 | |
Тема: | Информационные системы в экономике Вариант 14 | Подробнее |
Тип: | Иное | |
Вуз: | Неизвестен | |
Просмотры: | 6135 | |
Тема: | Ист. гос. и права заруб. стран Вариант 13 | Подробнее |
Тип: | Контрольная | |
Вуз: | СПбУУЭ | |
Просмотры: | 12249 | |