Сундук со сказками

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

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

( К примеру )

Сам по себе подход перебора вариантов не порочен. В конце концов, классические компьютеры так и устроены. Но для человека он ощущается неэлегантным. Слишком много мыслительных ресурсов тратится впустую, на подробное рассмотрение неправильных вариантов. И ладно, когда надо выбрать одного короля из трех персон. Это табличка на шесть строк. Но мне встречалась задача, где перебор вариантов растягивался на шесть страниц.[2] Такие задачи решать можно, но скучно. Мне интересно насобачиться действовать отсечением, которое позволяет вычленять ключевые варианты, а не имитировать компьютер, рассматривая все.

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

Иначе я себя чувствую как-то так:

(Картинка с Pinterest)

( [1] )
***
( [2] )

В ходе поиска учебников по формальной логике, Витька раскопал свой шкаф и достал оттуда университетские материалы, раскрывающие данную тему. Прошелся по оглавлениям, отчеркнул нужные главы, выдал мне.

Теперь, выпасая ребенка на площадке после школы, я читаю “Introduction to Automata Theory, Languages, and Computation”. На очереди “A Practical Theory of Programming” и “A Friendly Introduction to Number Theory”.

Почему-то чувствую себя, как героиня Муравьевой в “Москва слезам не верит”, которая таскала с собой Большие и Важные Книжки, чтобы умных парней привлекать. Хотя читаю не напоказ, а для себя.

( А вчера в задачнике попалась элегантная задачка. )