 13.05.2009 - Эрнст ШредерОдним из выдающихся продолжателей и систематизаторов результатов Буля и его школы является немецкий математик и логик Э. Шредер. В 1877 г. он опубликовал свой труд, в котором в предельно сжатой форме изложил алгебру логики и ввел в науный оборот термин “логическое исчисление”. Монументален его трактат “Лекции по алгебре логики”, опубликованный в 1890-95 гг., в котором не только продолжена разработка идей Буля, но излагаются и результаты, полученные его последователями. В отличие от Буля, взявшего за основу логического исчисления отношения равенства, Шредер построил свое исчисление на базе отношения включения класса в класс. Им введено понятие нормальной формы, открыт принцип двойственности (в логике классов).Опубликовано на сайте: http://intencia.ru Прямая ссылка: http://intencia.ru/index.php?name=FAQ&op=view&id=77 |