Автор работы: Пользователь скрыл имя, 04 Ноября 2014 в 15:23, контрольная работа
Логика как искусство рассуждений зародилась в глубокой древности. Начало науки о законах и формах рассуждений связывают с именем Аристотеля. Прошло два тысячелетия, прежде чем Лейбниц предложил ввести в логику математическую символику и использовать ее для общих логических построений. Эту идею последовательно реализовал в позапрошлом столетии Джордж Буль и тем самым заложил основы математической логики.