После развития логики работами Буля, Гёделя, Моргана, Рассела, Лейбница и Фреге, на основе этой дисциплины создаётся новая — информатика. Языки программирования опираются на базовые законы и операции расширенной логики Аристотеля — предикатной логики, описательная…
Это обзорная статья, в которой очень поверхностно и не подробно рассказывается о том, что такое формальная верификация программного кода, зачем она нужна и чем она отличается от аудита и тестирования. Формальная верификация — это доказательство с использованием…
Анемичная модель предметной области (Anemic domain model) это такая модель, где сущности содержат только свойства, а бизнес-логика находится в сервисах. Ее противоположность это богатая модель предметной области (Rich domain model), где логика находится в сущностях, а cервиcы рекомендуют писать только в редких случаях.В этой статье я хочу показать, почему логика в сервисах является более правильным подходом. Мы рассмотрим пример бизнес-требований и их реализацию с Anemic domain model. Читать далее
Говорят, женщину нельзя переспорить. Можно, если понимать, как работает женская логика, которой не чужда закономерность.«Пол мозга»Женская логика, которая раньше означала «полное отсутствие логики», получила сегодня научное объяснение. Оказалось, женский мозг по размеру…