Введение в теорию программирования. Функциональный подход

       

Варианты заданий


Выразить в базисе {K,S} комбинаторы с заданными характеристиками, убедиться в справедливости произведенных преобразований:

  1. I, где Ia = a;
  2. B, где B abc = a(bc);
  3. C, где C abc = acb;
  4. W, где W ab = abb;
  5. Y, где Y abcd = a(bc)(bd);
  6. C[2], где C[2] abcd = acdb;
  7. C[2], где C[2] abcd = adbc;
  8. Y, где Ya = a (Ya);
  9. C[3], где C[3] abcde = acdeb;
  10. C[3], где C[3] abcde = aebcd;
  11. B3, где B3 abcde = a(bcde);
  12. F, где F abcd = a(bd)(cd);

Выразить в базисе {B,C,S} комбинаторы с заданными характеристиками, убедиться в справедливости произведенных преобразований:

  1. I, где Ia = a;
  2. K, где K ab = a;
  3. S, где S abc = ac(bc);
  4. W, где W ab = abb;
  5. Y, где Y abcd = a(bc)(bd);
  6. C[2], где C[2] abcd = acdb;
  7. B2, где B2 abcd = a(bcd);
  8. Y, где Ya = a (Ya);
  9. C[3], где C[3] abcde = acdeb;
  10. C[3], где C[3] abcde = aebcd;
  11. F, где F abcd = a(bd)(cd).



Содержание раздела