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

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

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

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

LI 5.8.22

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

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

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

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

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

Выкладываю:

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

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

LI 5.8.22

Ты где учишься?
В колонках играет: Grave Digger - Back To The Roots

LI 5.8.22

Исходное сообщение korifey: Ты где учишься?
В колонках играет: Grave Digger - Back To The Roots

Хм...не я учусь, а подруга. Ей надо "хвост" по предмету срочно закрывать. Пытаюсь помочь :)
Она в Бауманке учиться.

LI 5.8.22

"не я учусь, а подруга"
Я так и думал!
В колонках играет: Grave Digger - Shout It Out

LI 5.8.22

Исходное сообщение korifey: "не я учусь, а подруга"
Я так и думал!
В колонках играет: Grave Digger - Shout It Out

Догадливый :)
Ну так чего, есть мысли по этому поводу?

LI 5.8.22

Нету. Мы в Бауманках не обучались
В колонках играет: Grave Digger - Tears Of Madness (Intro)

LI 5.8.22

Исходное сообщение korifey: Нету. Мы в Бауманках не обучались
В колонках играет: Grave Digger - Tears Of Madness (Intro)

При чем тут место обучения? Моде ту тя были такие предметы?

LI 5.8.22