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