Кодирование проблем укладки домино логическими средствами

Будет рассказано о том, как с помощью укладки домино можно кодировать вычисления на машинах Тьюринга. Затем будет показано, как с помощью логических средств можно описывать проблемы укладки домино и получать нижние оценки алгоритмической сложности задач, возникающих в логике.