Рейтинг выпускников | 

V V
V V || рейтинг: 11.00 (общий рейтинг: 11.00)
Виктор Нарушевич
Виктор Нарушевич || рейтинг: 11.00 (общий рейтинг: 11.00)
Дмитрий Пурлин
Дмитрий Пурлин || рейтинг: 11.00 (общий рейтинг: 22.80)
Андрей Пялинок
Андрей Пялинок || рейтинг: 11.00 (общий рейтинг: 11.00)
Наталья Костенко
Наталья Костенко || рейтинг: 11.00 (общий рейтинг: 20.90)
Виктор Бондарь
Виктор Бондарь

После приведения формулы вида ПНФ к виду ССФ вы получаете формулу, в безквантовой матрице которой дизъюнкт содержит оба контранрных атома:. Как тогда проводить его унификацию, если в случае замены x на f(x) весь дизъюнкт обратится в единицу?

Ольга Потапенко
Ольга Потапенко

никак не могу увидеть тексты самих лекций.