дискретная математика

[Malaya]

всем привет!Подскажите,как можно решить следующую задачи, или где можно хотя бы посмотреть как решаются аналогичные...Заранее спасибо!!
"Доказать на языке логике предикатов,что умножение матриц не коммутативно,сложение и умножение целых чисел коммутативно."
"Построить машину Тьюринга $f(x,y,z)=z$. И выполнить проверку $x=y=z=1$"

[PAV]

Тема перемещена в учебный раздел. Не забывайте правильно оформлять формулы - в данном случае достаточно было всего лишь окружить их знаками долларов. А главное - изложите свои попытки решения задач или хотя бы сделайте несколько первых шагов, это одно из требований форума