Статья 289

В частности, силлогистические рассуждения широко применяются в различного рода диаграммах. Наиболее известны и удобны для приложений методы диаграмм Дж. Венна и Л. Кэррола.

Логика в программировании.

Теория алгоритмов и логика – родители программирования.

Программирование, вычислительные машины с самого начала тесно связаны с математической логикой. Идею вычислительной машины с программным управлением впервые смогли реализовать болгарский ученый С. Атанасов в 1940 г. и немецкий ученый К. Цузе в 1942 г. Они вдохновлялись воспоминанием о титанических замыслах Ч. Бэббиджа, пытавшегося реализовать подобную идею еще в первой половине века, и математической теорией вычислимости, теорией алгоритмов, развитой логиками в 30-х годах.
В теории алгоритмов были предугаданы основные концепции, заложенные в аппаратуру и языки программирования ЭВМ. Четыре главные модели алгоритма математически эквивалентны, но на практике породили разные направления в программировании.