Тема: Практическая часть дипломной работы Финансы. Учебная работа № 366384

Учебная работа № 366384. Тема: Практическая часть дипломной работы Финансы

Выдержка из подобной работы

…

Практические приложения алгебры высказываний

…….
Введение

1. Элементы алгебры высказываний

1.1 Логические операции над высказываниями
1.2
Равносильные формулы алгебры высказываний
1.3
Нормальные формы

1.4. Логические следствия

2. Решение задач с помощью алгебры
высказываний
2.1
Исследование рассуждений
2.2
Получение логических следствий из
данных формул и посылок для данных
логических следствий
2.3
Необходимые и достаточные условия
2.4
Анализ и синтез релейно-контактных схем

Заключение

Литература

Введение

Как самостоятельная
наука логика оформилась в трудах
греческого философа Аристотеля (384-322
г. до н.э.). Он систематизировал известные
до него сведения, и эта система стала в
последствии называться формальной или
Аристотелевой логикой.

Формальная
логика просуществовала без серьезных
изменений более двадцати столетий.
Естественно, что развитие математики
выявило недостаточность Аристотелевой
логики и потребовало дальнейшего
развития.

Впервые в истории идеи о построении
логики на математической основе были
высказаны немецким математиком Г.
Лейбницем в конце XVII века. Он считал,
что основные понятия логики должны быть
обозначены символами, которые соединяются
по особым правилам. Это позволит всякое
рассуждение заменить вычислением.

«Мы употребляем знаки не только
для того, чтобы передать наши мысли
другим лицам, но и для того, чтобы
облегчить сам процесс нашего мышления»
(Лейбниц).

Первая реализация идеи Лейбница
принадлежит английскому ученному
Д.Булю. Он создал алгебру, в которой
буквами обозначены высказывания, и это
привело к алгебре высказываний. Введение
символических обозначений в логику
имело для этой науки такое же решающее
значение, как и введение буквенных
обозначений для математики. Именно
благодаря введению символов в логику
была получена основа для создания новой
науки – математической логике.

Применение
математики к логике позволило представить
логические теории в новой удобной форме
и применить вычислительный аппарат к
решению задач, малодоступных человеческому
мышлению, и это, конечно, расширило
область логических исследований. К
концу XIX столетия актуальное значение
для математики приобрели вопросы
обоснования ее основных понятий и идей.
Эти задачи имели логическую природу и,
естественно, привели к дальнейшему
развитию математической логики.

Особенности математического
мышления объясняются особенностями
математических абстракций и многообразием
их взаимосвязей. Они отр
…