Создан заказ №3438446
10 декабря 2018
Решение логических задач по теме "Исчисление предикатов"
Как заказчик описал требования к работе:
Здравствуйте, дисциплина математическая логика. Специальность прикладная информатика. Количество страниц 15-18. Оригинальность 60-70%.
Требования, описывать схемы, формулы, примеры обязательно, рисунки и т.д
Фрагмент выполненной работы:
Введение
Логика – сложный, многогранный феномен духовной жизни человечества. Именно поэтому в современном языке этот термин имеет множество значений. Термин «логика» происходит от латинского слова «logos», что значит «мысль», «слово», «разум». Известно, что изучением процесса мышления занимаются и другие науки, например философия, психология, физиология, а также многие другие. Своеобразие логики заключается в том, что она занимается формальными рассуждениями безотносительно к их содержанию, изучает законы и формы правильного рассуждения, на основе которых получают правильные выводы. (работа была выполнена специалистами Автор 24)
Непосредственным результатом революции, произошедшей в логике в конце XIX – начале XX в.в., было возникновение логической теории, получившей название математической логики. Со временем это направление получило название классической логики. Один из важнейших разделов математической логики является исчисление (логика) предикатов, изучающая логические законы, общие для любой области объектов исследования (содержащей хоть один объект) с заданными на этих объектах
предикатами (т. е. свойствами и отношениями).
В логике предикатов рассматриваются законы построения утверждений в обобщенной форме с переменными, определяемыми в классах с конкретным информационным смыслом. В отличии от логики высказываний, которая демонстрирует методы вывода для конкретных фактов-высказываний и только подтверждает известные факты, то логика предикатов существенно расширяет область приложений и применима к общим задачам – поиска данных и получения новых фактов-знаний. В общих рассуждениях присутствуют не только факты, но и закономерности (правила), которые позволяют делать общие выводы для классов фактов. Язык логики предикатов, в который вкладывается смысл, играет важную роль в искусственном (автоматизированном) получении знанийПосмотреть предложения по расчету стоимости
Заказчик
заплатил
заплатил
200 ₽
Заказчик не использовал рассрочку
Гарантия сервиса
Автор24
Автор24
20 дней
Заказчик воспользовался гарантией, чтобы исполнитель повысил уникальность работы
11 декабря 2018
Заказ завершен, заказчик получил финальный файл с работой
5
Решение логических задач по теме "Исчисление предикатов".docx
2018-12-14 00:27
Последний отзыв студента о бирже Автор24
Общая оценка
4
Положительно
Хороший, общительный автор, пошел мне навстречу, и сделал раньше срока по моей просьбе, жаль только в реферат были вставлены скриншоты, которые плохо печатаются, пришлось немного переделать.