Создан заказ №1283632
15 июня 2016
Тавтологии алгебры высказываний
Как заказчик описал требования к работе:
Нужен аспирант или преподаватель, чтобы помочь сделать реферат по высшей математике, сроки очень сжатые. Отзовитесь, пожалуйста!
Фрагмент выполненной работы:
Введение
Как самостоятельная наука логика оформилась в трудах греческого философа Аристотеля (384-322 г. до н.э.). Он систематизировал известные до него сведения, и эта система стала в последствии называться формальной или Аристотелевой логикой.
Формальная логика просуществовала без серьезных изменений более двадцати столетий. Естественно, что развитие математики выявило недостаточность Аристотелевой логики и потребовало дальнейшего развития.
Впервые в истории идеи о построении логики на математической основе были высказаны немецким математиком Г. (работа была выполнена специалистами author24.ru) Лейбницем в конце XVII века. Он считал, что основные понятия логики должны быть обозначены символами, которые соединяются по особым правилам. Это позволит всякое рассуждение заменить вычислением.
«Мы употребляем знаки не только для того, чтобы передать наши мысли другим лицам, но и для того, чтобы облегчить сам процесс нашего мышления» (Лейбниц).
Первая реализация идеи Лейбница принадлежит английскому ученному Д.Булю. Он создал алгебру, в которой буквами обозначены высказывания, и это привело к алгебре высказываний. Введение символических обозначений в логику имело для этой науки такое же решающее значение, как и введение буквенных обозначений для математики. Именно благодаря введению символов в логику была получена основа для создания новой науки – математической логике.
Применение математики к логике позволило представить логические теории в новой удобной форме и применить вычислительный аппарат к решению задач, малодоступных человеческому мышлению, и это, конечно, расширило область логических исследований. К концу XIX столетия актуальное значение для математики приобрели вопросы обоснования ее основных понятий и идей. Эти задачи имели логическую природу и, естественно, привели к дальнейшему развитию математической логики.
Особенности математического мышления объясняются особенностями математических абстракций и многообразием их взаимосвязей. Они отражаются в логической систематизации математики, а доказательстве математических теорем. В связи с этим современную математическую логику определяют как раздел математики, посвященный изучению математических доказательств и вопросов оснований математики.
Методы обоснования математики были развиты Д.Гильбортом и его школой. Они основываются на построении математических теорий как синтаксических теорий, в которых все аксиомы записываются формулами в некотором алфавите и точно указываются правила вывода одних формул из других, то есть в теорию как составная часть входит математическая логика.
Таким образом математическая теория непротиворечивость которой требовалось доказать, стала предметом другой математической теории, которую Гильберт назвал математикой, или теорией доказательств.
Алгебра высказываний является составной частью одного из современных быстро развивающихся разделов математики - математической логики. Математическая логика применяется в информатике, позволяет моделировать простейшие мыслительные процессы. Одним из занимательных приложений алгебры высказываний - решение логических задач.
В логических задачах исходными данными являются не только и не столько числа, а сложные логические суждения, подчас весьма запутанные. Эти суждения и связи между ними бывают иногда столь противоречивы, что для их разрешения привлекают вычислительные машины.
Одна из главных задач логики - определить, как прийти к выводу из предпосылок. Логика служит базовым инструментом почти любой науки. Основателем логики считают Сократа. Позднее из логики стала выделяться самостоятельная часть - математическая логика, изучающая основания математики и принципы построения математических теорий.
Целью данной работы является изучение тавтологии алгебры высказываний, которую более подробно раскроем в двух главахПосмотреть предложения по расчету стоимости
Заказчик
заплатил
заплатил
200 ₽
Заказчик не использовал рассрочку
Гарантия сервиса
Автор24
Автор24
20 дней
Заказчик воспользовался гарантией, чтобы исполнитель повысил уникальность работы
16 июня 2016
Заказ завершен, заказчик получил финальный файл с работой
5
Тавтологии алгебры высказываний.docx
2017-06-30 07:19
Последний отзыв студента о бирже Автор24
Общая оценка
5
Положительно
Спасибо огромное автору ,преподаватель поставил отметку "Отлично" .Автор справился с заданием раньше поставленного срока.
Хочешь такую же работу?
300 ₽
