Судоку, или магический квадрат, — это цифровая головоломка, решать которую надо на специальном игровом поле. Судоку, или магический квадрат, — это цифровая головоломка, решать которую надо на специальном игровом поле. Классическое поле представляет собой расчерченный квадрат размерами 9 на 9 клеток. Большая фигура, в свою очередь, состоит из девяти малых, размерами 3 на 3 клетки каждая. В каждой строке и столбце цифрами заполнены лишь несколько клеточек. Задача играющего — выяснить, каких цифр не хватает, и правильно расположить их во всех пустых ячейках квадрата...

Судоку — это не про угадывание. Это про логику, терпение и три железных правила! Готовы стать детективом цифр? «Я никогда не понимал(а), как в это играть!» — обычная реакция на судоку. Кажется, что нужно быть гением или просто ставить цифры наугад. Но секрет в том, что судоку — это чистейшая логическая конструкция с тремя простыми правилами. Освоив их, ваш ребенок не просто будет решать головоломки — он будет тренировать мозг, как спортсмен тренирует мышцы. Начнем с самого простого уровня! Правило...

Высокопроизводительные SMT-решатели обычно кажутся чем-то громоздким, академическим и далёким от реальной разработки. Но стоит открыть Z3Py — Python-обёртку над Z3 от Microsoft Research — и внезапно обнаруживается: многие задачи, которые программно решают сотнями строк кода, можно выразить… в десятке логических ограничений. Z3 превращает Python в мини-язык математических теорем, где вы просто формулируете условия — а решатель находит модель. И это работает одинаково хорошо для Судоку, зависимостей...