finmen
Цитата:
|
Но наверняка существует алгоритмизированный способ решения.
|
Конечно, исчисления высказываний и предикатов первого порядка тут вполне достаточно. Однако, вопрос формализации, конечно, никто не отменял (которые практически нереально тут алгоритмизировать). Тот, кто сможет формализовать эти задачи, то есть свести к вышеназванным формальным системам и решить их, конечно, имеет достаточно развитие абстрактно-логического мышления.
Так что даже того, кто сможет решить эти задачи в ПРОЛОГе или ЛИСПе, безусловно, следует признать прошедшим этот тест
