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

V V
V V || рейтинг: 11.00 (общий рейтинг: 11.00)
Сергей Титенков
Сергей Титенков || рейтинг: 11.00 (общий рейтинг: 11.00)
Беларусь, Новополоцк
Темы:
предложить дружбу
Дмитрий Пурлин
Дмитрий Пурлин || рейтинг: 11.00 (общий рейтинг: 22.80)
Александр Черников
Александр Черников || рейтинг: 11.00 (общий рейтинг: 22.60)
Кирилл Сухарев
Кирилл Сухарев || рейтинг: 11.00 (общий рейтинг: 11.00)
Беларусь, Новополоцк
Темы:
предложить дружбу
Алексей Федорченко
Алексей Федорченко || рейтинг: 11.00 (общий рейтинг: 21.90)
Яна Соколовская
Яна Соколовская || рейтинг: 11.00 (общий рейтинг: 11.00)
Арсентий Чандер
Арсентий Чандер || рейтинг: 11.00 (общий рейтинг: 11.00)
Виктор Бондарь
Виктор Бондарь

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

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

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

Сергей Пантелеев
Сергей Пантелеев
Россия, Москва
Денис Комаров
Денис Комаров
Россия, Москва