Просто функция, отображение, биективное, сюрьективное, как угодно. Но не логика.
https://ru.m.wikipedia.org/wiki/%D0%90%D0%BB%D0%B3%D0%B5%D0%B1%D1%80%D0%B0_%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B8 нет
Bogdan (SirEdvin)
Bogdan (SirEdvin)
Там еще есть множество елементов
Alexey
Ты можешь определить логику над множеством {0, 1, ?} и назвать её тринарной например.
Pavel
Ну да, просто в питоне она своя, неклассическая
Pavel
А еще там можно объявить что * это операция деления... =)
Pavel
Ну мало ли че в голову взбредет
rus
Ты можешь определить логику над множеством {0, 1, ?} и назвать её тринарной например.
По классике {-1, 0, 1} =)
Bogdan (SirEdvin)
Вот только отрицания нет, это да
Bogdan (SirEdvin)
Хотя его и в си нет, а остальные аисиомы работают
Bogdan (SirEdvin)
А в си еще хуже, там x or x == x не работает
Alexey
Ну это я так понимаю из-за того что приоритеты у && и || поломаны
Pavel
Так что к математике ближе питон
коммутативности же нет, то есть к математике он не имеет отношения как бы
Bogdan (SirEdvin)
Ну это я так понимаю из-за того что приоритеты у && и || поломаны
Я про то, что 2 && 2 вернет 1
Bogdan (SirEdvin)
коммутативности же нет, то есть к математике он не имеет отношения как бы
А в си нет идемпотентности
Pavel
Потому что там неявные касты к 1, а не 2 && 2 😠
Alexey
В си вообще мало чего есть. Пишите на typescript
Pavel
2 && 2 сначала будет представлено как 1 && 1 а потом уже = 1
Bogdan (SirEdvin)
нет там кастов
Bogdan (SirEdvin)
Именно 2 && 2 вернет 1
Bogdan (SirEdvin)
Пруф: https://msdn.microsoft.com/uk-ua/library/z68fx2f1.aspx
Bogdan (SirEdvin)
Логические операторы не выполняют обычных арифметических преобразований. Вместо этого они оценивают каждый операнд с точки зрения его эквивалентности нулю. Результатом логической операции является либо 0, либо 1. Результат имеет тип int.
Анатолий
Тем временем в джаваскрипте
2 | ![] && {} | 2 == 2 || ![] & {} || 2, так-то!
Pavel
Логические операторы не выполняют обычных арифметических преобразований. Вместо этого они оценивают каждый операнд с точки зрения его эквивалентности нулю. Результатом логической операции является либо 0, либо 1. Результат имеет тип int.
Ну окей, но написано же что это деталь имплементации. Считай что во время оценки эквивалентности нулю каст и происходит.
Pavel
Так как вообще невозможно вычислить 2 && 2, сначала не сконвертировав в bool их все. Алгебра логики не умеет.
Alexey
Да умеет же! Булева алгебра это только подмножество алгебры логики.
Pavel
Ладно ты прав, умеет. 😞 Но и тем не менее, коммутативным надо быть бы тоже .
Dmitrii
В другом чате уже разобрали почему пхп возвращает true
Dmitrii
Александр
Теорема - доказана. Зачетку давай!
Pavel
яннп
Pavel
Какой еще другой чат? Кто сливает набросы отсюда по другим чатам?
Dmitrii
Ахаха
Tonych
Вечер в хату
Danila
Девопсаны
Дмитрий
как к Заббиксу относишся ?)
Max
Заббикс в глаз или в жопу раз
Max
Жесть у вас тут вопросики)
Дмитрий
как грубо
Max
Made my Day
Tonych
Да там начался забикс-срач и 'это уже было в симпсонах' и дали линк сюда
Tonych
Есть два стула
Andrew
Жесть, чатик запрудили серуны, аааа ужос какой...
Danila
А ты чо, пикабушник что ли?
Tonych
На одном Прометей точеный на другом заббикс дроченый
Tonych
А если я не знаю пикабушник ли я?
Danila
То ты лепер?
Danila
Tadeusz
Я
Tadeusz
Andrew
Антона на вас всех нет.
Ivan
Если бы онтонов было много - русскоязычный телеграм бы перстал существовать
Bogdan (SirEdvin)
Если бы онтонов было много - русскоязычный телеграм бы перстал существовать
Каждый из нас внутри Антон
Tonych
Просто меня про пикабу спрашивали почему-то, я не знаю есть ли там президент
Дмитрий
онон
Dmitry
Начинай свой день со срача Прометей вс заббикс
Danila
Еееее бой
Danila
Я послушаю
Dmitry
Я думаю всем хватило прошлой недели
Alexander 🐕
Старый
А перл норм
А, си же еще
Си хуже PHP
И C++
C++ это вообще ад дна
ты ещё 2 дн наза говорил что перл хуже пайтона