Задачи по математической логике
Доказать в исчислении высказываний (буквы обозначают произвольные формулы):
1. (X&Y) -> X

Задачи по теории алгоритмов
Написать программу МТ (машин Тьюринга), которая аннулирует все слова в алфавите {a, b}, содержащие вхождение заданного непустого слова u.
Указание: пусть u = u (1) … u (m); буквы слова u должны содержаться в программе машины в качестве параметров.

LI 5.09.15