Математическая логика
Считается, что первые работы по логике появились в V в. до н. э. Впервые как самостоятельную теорию ее оформил греческий философ Аристотель в своем труде «Аналитики», где систематизировал известные до него сведения, и эта система впоследствии стала называться формальной логикой. С этого времени формальная логика просуществовала без особых изменений почти двадцать столетий. Впоследствии возникла идея и о том, что, записав исходные рассуждения формулами, похожими на математические, можно заменить все цепочки логического вывода формальными «вычислениями». В Средние века даже делались попытки создания машин «логического вывода». Развитие математики выявило недостатки логики, разработанной Аристотилем, и потребовало дальнейшего ее развития. Историческая справка Введение строения логики на математической основе была предложена немецким математиком Г. Лейбницем, который считал, что основные понятия логики возможно обозначить символами, соединяющимися по особым правилам, что позволит всякое рассуждение заменить вычислением. Первая реализация идей Лейбница принадлежит английскому ученому Дж. Булю (середина XIX в.), создавшему алгебру, в которой буквами обозначены высказывания. Его алгебра получила название алгебры высказываний. Введение в логику символических обозначений послужило основой для создания новой науки — математической логики. Применение математики к логике позволило представить логические теории в новой удобной форме и использовать вычислительный аппарат в решении задач, ранее практически недоступных человеческому мышлению, что существенно расширило область логических исследований. Функции алгебры логики называются также булевыми функциями, двоичными функциями или переключательными функциями.
Slaidy.com
