Создан заказ №1548364
4 декабря 2016
Существование и единственность модели формализации теории
Как заказчик описал требования к работе:
В любой математической теории принципиально важным является вопрос о существовании и единственности модели формализации этой теории. В курсовой работе необходимо проанализировать этот вопрос для элементарной теории арифметики.
План:
1. Рассмотреть язык логики узкого исчисления предикатов арифметики
и его стандартную интерпретацию в алгебре натур. чисел.
2. Доказать теорему о существовании нестандарт. моделей элементарной теории арифметики.
3. Изучить метод построения моделей элементарной теории арифметики с помощью нестандартного анализа
подробнее
Заказчик
заплатил
заплатил
500 ₽
Заказчик не использовал рассрочку
Гарантия сервиса
Автор24
Автор24
20 дней
Заказчик воспользовался гарантией для внесения правок на основе комментариев преподавателя
7 декабря 2016
Заказ завершен, заказчик получил финальный файл с работой
5
Существование и единственность модели формализации теории.docx
2017-05-07 23:26
Последний отзыв студента о бирже Автор24
Общая оценка
5
Положительно
Работа сделана очень хорошо, раньше срока. Автор очень общительный, все исправления вносил быстро. По ценам – гораздо дешевле, чем у других. В общем могу смело его рекомендовать!!!