Почитай о формалзиции поподробнее) Все тогда будет понятно) Во втором задании методом рассуждений. Числовой -> Просто числа. Счётчик -> тип данных для уникальных натуральных чисел. Текст -> Какой-то текст. Логический -> значит логические операции, а значит присутсвтуют условия.