Проверка теоретико-множественных отношений с помощью формул логики высказываний
Ранее в материалах представлены два раздела "Формулы логики. Логика высказываний" и "Теория множеств. Бинарные отношения. Функции", при этом в теории множеств существуют ряд законов, в частности, законы коммутативности, ассоциативности и дистрибутивности для операций пересечения и объединения множеств, а при описании логических законов также приводились законы аналогичные по смыслу, но применительно к логическим операциям над высказываниями, таким как конъюнкция и дизъюнкция. Это связано с тем,...
349 читали · 3 года назад
Операции с множествами в SQL
Без данных операций не обходится ни один сложный запрос в SQL. В этой статье я разберу каждую из них на примерах, чтобы лучше понять их особенности и отличия. В демонстрационных целях будем работать с...