Просмотр одиночного сообщения
Old 25-09-2018, 07:05   #19
ponom
uusi jäsen
 
Аватар для ponom
 
Сообщений: 6,621
Проживание: Tampere
Регистрация: 13-04-2016
Status: Offline
Цитата:
Сообщение от HelVa
У Кэрролла про это есть. Алиса где-то там упомянула, что говорит, что думает и думает, что говорит (или как-то так). За что ей попало то ли от Шляпника, то ли от Герцогини, мол, это абсурд и то же самое, что говорить вижу, что ем и ем, что вижу - одно и то же... В общем, я плохо помню, но как раз подобный же логический расклад был.

А кто такой Буль?


Джордж Буль (англ. George Boole; 2 ноября 1815, Линкольн — 8 декабря 1864, Баллинтемпл, графство Корк, Ирландия) — английский математик и логик. Профессор математики Королевского колледжа Корка (ныне Университетский колледж Корк) с 1849 года. Один из основателей математической логики.

От его фамилии - название логического типа данных "boolean" во многих языках программирования. Переменные этого типа могут принимать два значения, TRUE (истина) или FALSE (ложь).

Если кому-то нужно для самообразования, то я могу порекомендовать, например, вот эту книгу:

Кузнецов О. П. "Дискретная математика для инженера"