Создан заказ №3903520
23 апреля 2019
Предмет Матлогика и теория алгоритмов
Как заказчик описал требования к работе:
Предмет Матлогика и теория алгоритмов, в списке не нашёл просто , вторая тема
Фрагмент выполненной работы:
Введение
В настоящее время интерес к математической логике и теории алгоритмов непрерывно растет. Это связано как с динамичным развитием самих этих наук, так и обширными областями приложения в различных областях математики, информатики и технике.
Развитием логики высказываний в направлении дальнейшей формализации является исчисление высказываний.
Исчисление высказываний (ИВ) — это формальная система, с помощью которой из исходного множества формул, называемых аксиомами, выводят с помощью правил вывода доказываемые формулы.
В данной работе предлагается рассмотреть следующие вопросы:
Основные понятия исчисления высказываний;
Семантика исчисления высказываний;
Проблема полноты в исчислениях высказываний. (работа была выполнена специалистами author24.ru)Посмотреть предложения по расчету стоимости
Заказчик
заплатил
заплатил
200 ₽
Заказчик не использовал рассрочку
Гарантия сервиса
Автор24
Автор24
20 дней
Заказчик воспользовался гарантией, чтобы исполнитель повысил уникальность работы
24 апреля 2019
Заказ завершен, заказчик получил финальный файл с работой
5
Предмет Матлогика и теория алгоритмов.docx
2019-04-27 20:43
Последний отзыв студента о бирже Автор24
Общая оценка
5
Положительно
очень долго ждала результата от автора ,редко отвечал на мои вопросы , в итоге скинул готовое решение с задержкой месяц, но в конце исправлял что-то, когда просила подправить
Хочешь такую же работу?
300 ₽
