Висвітлено теорію множин, алгебру висловлень і предикатів, елементи комбінаторики, рекурсивні функції, машини Тьюринга. Розглянуто частково рекурсивні та примітивно рекурсивні функції, а також рекурсивно перераховані множини. Наведено критерії оборотності, тотожної істинності та хибності. Розкрито основний принцип комбінаторики, основні комбінаторні поняття, залежності між операціями. Запропоновано формули алгебри висловлювань.

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"