Исходное сообщение korifey:

Исходное сообщение Фаэрон: Народ, кто-нибудь смыслит в математческой логике или теории алгоритмов (машины Тьюринга) ?

Необходимо пару задаче решить.

Может помочь кто-нибудь?

Задачи вперёд!
В колонках играет: Grave Digger - Ruler Mr. H.

Выкладываю:

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

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

LI 5.8.22