Как стать автором
Обновить

Комментарии 9

Complement — отрицание (булева выражения или логической переменной). Это перевод именно в программировании.

Это да, это понятно… Только обычный человеческий смысл этого слова какой-то совсем другой, и это сбивает меня с толку ) Обычно есть всё-таки нормальная логическая связь терминов из языков программирования с терминами из нашего реального мира.

Complement так и переводится — дополнение.
Комплимент по английски — compliment.

Так и переводится, "дополнение", всё верно. И как вы логически соотносите "дополнение" и "отрицание"? Это синонимы, или, может, термины, близкие друг к другу по значению? Я лично под "отрицанием" понимаю одно, а под "дополнением" — другое. А комплимент здесь причём?

И как вы логически соотносите «дополнение» и «отрицание»?

Никак не соотносил. В теории множеств есть термин дополнение. Он означает множество элементов не принадлежащих данному. Термин понятный и привычный любому программисту. Очевидно, что именно он и имеется ввиду. Не знаю причём тут отрицание.

Логику работы этой функции в фп-языках более правильно было бы описать как "отрицание" всё-таки. Пока что я так понимаю. До сих пор не могу уловить, каким образом её можно было назвать комплементом. В этом и весь вопрос был.

Есть очевидное соответствие теоретико-множественных операций (объединение, пересечение, дополнение) и булевских (дизъюнкция, конъюнкция, отрицание). Характеристическая функция множества-дополнения это отрицание характеристической функции исходного множества.

Спасибо, теперь и для таких тупых как я понятно, откуда всё это)


Картинка из инета для наглядности:


image


Оно конечно чисто со смысловой стороны меня всё равно до сих пор никак не удовлетворяет, я не вижу логики называть "дополнением" и то, что происходит на картинке… Ну теперь хотя-бы понятно, откуда растут корни )

«Дополнение A» не следует путать с «дополнением A до B» (она же — разность множеств).

http://ru.math.wikia.com/wiki/Дополнение (теория множеств)

Дополнение с одним аргументом — полный аналог булевской инверсии —
habrastorage.org/webt/z-/oo/rd/z-oordxtw3g63jhsyfefk8yqsdi.png
Зарегистрируйтесь на Хабре, чтобы оставить комментарий

Публикации

Истории