Департамент образования города москвы
ГБОУ СПО ПОЛИТЕХНИЧЕСКИЙ КОЛЛЕДЖ № 39
Методическая разработка
Темы 5: «Логические основы работы компьютера»
дисциплины «Информатика и ИКТ»
для групп первого курса СПО
технический профиль
Логические основы работы компьютеров
История возникновения алгебры логики
Термин «логика» происходит от греческого logos, означающего “слово, мысль, понятие, рассуждение, закон”. Логика – наука, изучающая законы и формы мышления. В логике мышление рассматривается как инструмент познания окружающего мира.
Основоположником логики считают Аристотеля, (384-322 гг. до н.э.). В определении Аристотеля логика – наука о выводе одних умозаключений из других сообразно их логической форме, (книги “Категории”, “Первая аналитика”, “Вторая аналитика”). Логику Аристотеля называют формальной.
! Логика – это наука о формах и способах мышления
Первые идеи о “математизации” логики появились в XVII в.. Французский философ и математик Рене Декарт (1596 -1650) рекомендовал в логике использовать общепринятые математические методы.
Великий немецкий философ и математик Готфрид Вильгельм Лейбниц (1646 - 1716) предложил детальную программу логический исследований методами математики. Лейбниц предложил использовать в логике математическую символику и впервые высказал мысль о возможности применения в ней двоичной системы счисления. Логические изыскания Лейбница существенно опередив эпоху, оставались неизвестными до конца XIX столетия, они были найдены и опубликованы французским математиком Луи Кутюра. Логические исследования Лейбница были столь значительны, что и через 200 лет оказали существенное влияние на развитие математической логики.
Отцом математической логики по праву считается английский математик XIX столетия Джордж Буль (1815 – 1864), именем которого назван раздел математической логики – булева алгебра. Знаменитые труды Д. Буля по началам математической логики - «Математический анализ логики», «Исчисление логики» и «Исследование законов мысли» – появились в конце 40-х – начале 50-х гг.. В них отразились убеждения Буля о возможности изучения свойств математических операций, осуществляемых не обязательно над числами. Именно он построил один из разделов формальной логики в виде некоторой «алгебры», аналогичной алгебре чисел, но не сводящейся к ней.
Джордж Буль
Большой вклад в становление и развитие математической логики внесли Аугустус де Морган (1806 – 1871), Уильям Стенли Джевонс (1835 – 1882), Платон Сергеевич Порецкий (1846 – 1907), Чарльз Сандерс Пирс (1839 – 1914) и др.
Математическая логика сегодня – это раздел математики, логика, развиваемая математическими методами, играющая важную роль в обосновании математических теорий, нашла многочисленные приложения в конструировании и применении вычислительных машин.
В ЭВМ информация подвергается не только арифметической, но и логической обработке. Основу работы логических схем и устройств ЭВМ составляет специальный математический аппарат – раздел математической логики, называемый алгеброй логики.