Большая Советская Энциклопедия (цитаты)

Венн Джон

Венн (далее В) (Venn) Джон (4.8.1834, Драйпул, близ Халла, — 4.4.1923, Кембридж), английский логик. Работал в области логики классов, где создал особый графический аппарат (так называемые диаграммы Ва), нашедший применение в логико-математической теории "формальных нейронных сетей". В. принадлежит обоснование обратных операций в логическом исчислении Дж. Буля. В. занимался также вероятностной логикой.

  Соч.: The logic of chance, 3 ed., L., 1888; The principles of empirical or inductive logic, L., 1889; Symbolic logic, L., 1881.

  Лит.: Стяжкин Н. И., формирование математической логики, М., 1967; Гутчин И. Б., Кузичев А. С., Бионика и надежность, М., 1967; Кузичев А. С., Диаграммы Ва, М., 1968.


Для поиска, наберите искомое слово (или его часть) в поле поиска


Новости 27.04.2024 05:27:03