Международный женский день
Пасха
День Победы
Выберите Ваш город X

ИТП по теме «Аксиоматическая теория» Вариант 1

Купить Гарантия
Код работы: 25785
Дисциплина: Математика
Тип: Контрольная
Вуз:Иной - посмотреть другие работы и дисциплины по этому вузу
   
Цена: 290 руб.
Просмотров: 7484
Уникальность: В пределах нормы. При необходимости можно повысить оригинальность текста
   
Содержание: Содержание

ИТП по теме «Аксиоматическая теория» 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 Подробнее
Тип: Курсовая
Вуз: АлтГТУ
Просмотры: 8134
Тема: КН / Вариант 1 Подробнее
Тип: Контрольная
Вуз: Финансовый университет при Правительстве Российской Федерации (ВЗФЭИ)
Просмотры: 6617
Тема: Правоведение вариант 12 Подробнее
Тип: Контрольная
Вуз: АГМУ
Просмотры: 9241
Тема: Контрольная работа №2 Вариант 1 Подробнее
Тип: Контрольная
Вуз: Торгово-экономический колледж
Просмотры: 9302
Тема: Государственный бюджет Российской Федера-ции: разработка, принятие, выполнение + зада-ния вариант 1 Подробнее
Тип: Контрольная
Вуз: нет
Просмотры: 3833
Тема: Ист. гос. и права заруб. стран Вариант 13 Подробнее
Тип: Контрольная
Вуз: СПбУУЭ
Просмотры: 11754

Поиск других готовых работ, выполненных в «ИнПро»


Не нашли готовую работу? Отправьте заявку - закажите работу по нужной теме нашим авторам!
 
Вы также можете: Вернуться к рубрикатору дисциплин »