М.: «Наука», 1968. - 253 с.
Книга посвящена графическому аппарату математической логики - диаграммам Венна, их истории и применению. Автор показывает, что диаграммы Венна могут облегчать решение различных задач математической логики и задач, связанных с построением надёжных алгоритмов из не вполне надёжных элементов. В книге разбирается ряд задач, сформулированных Булем, Джевонсом, Порецким и другими логиками, и показывается развитие метода диаграмм в связи с задачами логики высказываний и логики одноместных предикатов, а также в связи с проблемами теории нейронных схем.
Книга посвящена графическому аппарату математической логики - диаграммам Венна, их истории и применению. Автор показывает, что диаграммы Венна могут облегчать решение различных задач математической логики и задач, связанных с построением надёжных алгоритмов из не вполне надёжных элементов. В книге разбирается ряд задач, сформулированных Булем, Джевонсом, Порецким и другими логиками, и показывается развитие метода диаграмм в связи с задачами логики высказываний и логики одноместных предикатов, а также в связи с проблемами теории нейронных схем.