SCI Библиотека

Книга посвящена графическому аппарату математической логики — диаграммам Веннa, их истории и применению. Автор показывает, что диаграммы Веннa могут облегчать решение различных задач математической логики и задач, связанных с построением надежных автоматов из не вполне надежных элементов.

В книге разбирается ряд задач, сформулированных Булем, Джевонсом, Порецким и другими логиками, и показывается развитие метода диаграмм в связи с задачами логики высказываний и логики одноместных предикатов, а также в связи с проблемами теории нейронных схем.