Создан заказ №1548615
4 декабря 2016
Автоматическое доказательство теорем. Метод резолюций
Как заказчик описал требования к работе:
Курсовая в виде реферата по матлогике
1.Оглавление
2. Введение
3. Основная часть 2-3 пункта
4. Заключение
5. Список литературы (~6 лет книги)
6. Объем ~13-15 листов
Фрагмент выполненной работы:
Введение
С древнейших времен человечеству известна логика, иначе говоря, искусство правильно рассуждать. Имея утверждения в чем-либо, истинность которых проверена на опыте путем долгих построений, приходит к другому заключению, которое так же является истинным.
Выбранная тема становится актуальна с 60 - х годов XX века, когда создается общий решатель проблем, позволяющий доказывать теоремы формальной логики, разработанный Расселом и Уайтхедом, считавшими, что для решения задач математики достаточно всего иметь формальный вывод теорем из основных аксиом.
По данной теме задают часто один вопрос: когда программы будут самостоятельно доказывать новые теоремы?
На данном этапе ученые уже разработали программы, которые могут получать новые результаты и уже получили их достаточно много. (работа была выполнена специалистами Автор 24) Автоматическое доказательство теорем способно уже сейчас внести реальный вклад в исследования в различных областях.
С использованием доказывающей программы были решены открытые проблемы в математике и в формальной логике, но этим не исчерпываются возможные приложения. Есть реальные свидетельства практического использования таких программ, и успех в области проектирования схем и обнаружения отказов - один из примеров тому.
Таким образом, исследования в выбранной теме постоянно развиваются и вопрос остается только в том, как быстро смогут создать более совершенные системы.
Объектом исследования является: метод резолюций.
Предмет исследования: автоматическое доказательство теорем.
Задачи исследования: изучение автоматического доказательства теорем, метод резолюцийПосмотреть предложения по расчету стоимости
Заказчик
заплатил
заплатил
500 ₽
Заказчик не использовал рассрочку
Гарантия сервиса
Автор24
Автор24
20 дней
Заказчик принял работу без использования гарантии
7 декабря 2016
Заказ завершен, заказчик получил финальный файл с работой
5
Автоматическое доказательство теорем. Метод резолюций.docx
2019-06-17 20:23
Последний отзыв студента о бирже Автор24
Общая оценка
4
Положительно
Внимательный, вежливый автор. Учел рекомендуемые требования, консультировал по интересующим вопросам.
Хочешь такую же работу?
300 ₽
