Создан заказ №772427
11 ноября 2015
Цель данной работы заключается в том, чтобы дать систематический обзор истории развития метода семантических таблиц, указать достоинства и недостатки данного метода, рассмотреть основные логические системы, к которым применяется данный метод.
Как заказчик описал требования к работе:
Срочно выполнить курсовую работу по высшей математике с оформлением по госту и списком литературы. Срок 8 дней, подробное описание темы приложено к заданию
Фрагмент выполненной работы:
Введение
В 50-е гг. наряду с такими известными методами доказательства как аксиоматический, натуральный, секвенциальный получил широкое распространение и применение метод семантических таблиц. Табличный метод имеет фундаментальное значение для теории доказательств, являющейся одной из интенсивно развивающихся областей современной логики. Не меньшее значение имеет табличный метод и для развития исследований по искусственному интеллекту, в частности в такой его области как теория и практика автоматического доказательства теорем. (работа была выполнена специалистами Автор 24)
Однако область применения метода семантических таблиц не ограничивается математической логикой и искусственным интеллектом. Метод семантических таблиц широко используется в исследованиях по философии и методологии науки. Табличный метод, в частности, является хорошим средством описания и анализа научной дискуссии. Научная дискуссия, по сути, есть систематический способ отыскания контр-примеров, который приводит либо к опровержению, либо к доказательству некоторого утверждения.
За последнее время появилось большое количество работ, посвященных применению таблиц в различных логических системах. Важным для понимания развития табличных методов и возможностей их применения является вопрос об использовании метода семантических таблиц в области искусственного интеллекта, в частности в области теории и практики автоматического доказательства теорем.
Цель данной работы заключается в том, чтобы дать систематический обзор истории развития метода семантических таблиц, указать достоинства и недостатки данного метода, рассмотреть основные логические системы, к которым применяется данный метод.Посмотреть предложения по расчету стоимости
Заказчик
заплатил
заплатил
500 ₽
Заказчик не использовал рассрочку
Гарантия сервиса
Автор24
Автор24
20 дней
Заказчик воспользовался гарантией, чтобы исполнитель повысил уникальность работы
14 ноября 2015
Заказ завершен, заказчик получил финальный файл с работой
5
Цель данной работы заключается в том, чтобы дать систематический обзор истории развития метода семантических таблиц, указать достоинства и недостатки данного метода, рассмотреть основные логические системы, к которым применяется данный метод..docx
2020-02-01 11:26
Последний отзыв студента о бирже Автор24
Общая оценка
5
Положительно
Автор задачу выполнила удовлетворительно и очень старалась . чтобы помочь мне. ))