Искусственный интеллект

следующих множеств. а) Множество Л' натуральных чисел, такое, что 0 е N. Если х е N, то s{x) e N, где s{x) — натуральное число, получающееся из числа х на следующем шаге с помощью некоторого преобразования. б) Множество D потомков Адама и Евы, таких, что Адам е D и Ева е D. Если х е D и у является потомком х, то у е Д в) Минимальное множество формул логики высказываний L, такое, что любая переменная х логики высказываний принадлежит множеству L. Если формулы wr w1 е L, то формулы не (w,), влечет (wt, w2) также принадлежат множеству L; г) Множество всех состояний инициального детерминированного автомата, находящихся в отношении эквивалентности R (см. главу 5).