Godless писал(а):
> При реализации МТ для логического типа (стр. 139-140) возникает
> пара вопросов:
> 1. Что за символ "Н" в машинах?
Это знак неопределённости (\bottom)!
> 2. Что за машина Wu (на схеме дизъюнкции и конъюнкции)?
Наверное, это машина записи знака неопределённости W_{\bottom}.
К сожалению, иллюстрации иногда не соответствуют тексту, они делались в разное время разными людьми в разных системах, на их исправление нет времени, оно не так просто делается. Надеюсь, к 1 сентября исправим эти ошибки, а, может быть, перерисуем в Postscript.
К счастью, эти ошибки находятся во второстепенных местах и довольно легко находятся и исправляются студентами.
> Извиняюсь, если эти аспекты были не усвоены мною на лекциях.
Немудрено: на лекциях мы проскакали эти места галопом.
Диаграммы поразрядной логики предлагаются на экзамене как типовые задачи, а диаграммы конъюнкции и дизъюнкции (истинностные таблицы из лекции) рекомендовали написать самим (школьная программа!).