Логика
Логика появилась примерно в IV веке до н.э. в Древней Греции, её создателем считается Аристотель. Аристотелевская, или традиционная, логика для анализа правильного мышления использует естественный язык, а символическая логика, появившаяся в XIX веке, пользуется искусственным языком символов, подобным языку математики.
В конце ХIХ — начале ХХ века были заложены основы математической, или символической, логики. Её суть заключается в том, что для обнаружения истинного значения выражений естественного языка можно применять математические методы.
Большой вклад в развитие символической логики внесли такие учёные, как Дж. Буль, О. де Морган, Г. Фреге, Ч. Пирс и др. В ХХ веке математическая логика оформилась в качестве самостоятельной дисциплины.
В середине XX века развитие вычислительной техники привело к появлению логических элементов, логических блоков и устройств вычислительной техники, что было связано с дополнительной разработкой таких областей логики, как проблемы логического синтеза, логическое проектирование и логическое моделирование логических устройств и средств вычислительной техники.