Базовый Эрудит — questions

Пусть P - рекурсивная процедура. Если гарантируется, что P рано или поздно завершает работу, то какие утверждения верны?

Рассмотрим паскалеобразный фрагмент:

    var i,j:integer;
    procedure P(k,m : integer by reference);
    begin
        k:=k-m;
        m:=k+m;
        k:=m-k;
    end;
    i:=2;
    j:=3;
    P(i,j);

Какие обьекты в вашей базе помогут избежать безумных запросов с кучей JOINнов (которых обычно городят необученные новички):

Программист Андрей Таранов написал быструю программу проверки орфографии. Сначала программа инициализирует логическую хеш-таблицу (булев массив, проиндексированный хеш-функцией) hashDict в false. Затем программа пробегает по всему словарю, и для каждого слова dicWord, выполняется hashDict[dicWord]=true. При проверке синтаксиса, для каждого слова word в тексте, программа проверяет hashDict[word].

Какие утверждения верны:

Боб загадал (и записал) число от 1 до 1000. Алиса должна отгадать это число и может задавать любые вопросы, подразумевающие ответ да/нет, а Боб обязан отвечать правду. Сколько вопросов придется задать в худшем случае при использовании оптимальной стратегии?