По предмету Математическая логика и теория алгоритмов нужно сделать 3 примера.

3. Нужно доказать.
4. A={0,1,2}. Считая непустое слово P записью числа в троичной системе счисления, определить, является оно чётным числом или нет. Ответ: 1 (да) или 0. (Замечание: в чётном троичном числе должно быть чётное количество цифр 1.)
5. A={a,b,c}. За первым символом непустого слова P вставить символ c.
Замечания*
1) В задачах рассматриваются только целые неотрицательные числа, если не сказано иное.
2) Под «единичной» системой счисления понимается запись неотрицательного целого
числа с помощью палочек – должно быть выписано столько палочек, какова величина
числа, + одна; например: 2 => | | | , 5 => | | | | | | , 0 => 1