Сибирский университет потребительской кооперации
Опубликован: 04.05.2005 | Доступ: свободный | Студентов: 4130 / 1274 | Оценка: 4.45 / 4.22 | Длительность: 12:28:00
ISBN: 978-5-9556-0034-5
ACM
Лекция: 1 стр. 1
Предложите свое определение
arity
Лекция: 1 стр. 1
Предложите свое определение
AS
Лекция: 1 стр. 1
Предложите свое определение
CAR
Лекция: 7 стр. 1
Предложите свое определение
center
Лекция: 1 стр. 2
Предложите свое определение
compiler directive
Лекция: 5 стр. 1
Предложите свое определение
computing technology
Лекция: 1 стр. 1
Предложите свое определение
CONS
Лекция: 7 стр. 1
Предложите свое определение
database
Лекция: 13 стр. 1
Предложите свое определение
demonstration
Лекция: 1 стр. 1
Предложите свое определение
development
Лекция: 1 стр. 2
Предложите свое определение
division
Лекция: 8 стр. 1
Предложите свое определение
DOS
Лекция: 4 стр. 2
Предложите свое определение
end
Лекция: 12 стр. 1
Предложите свое определение
FIB
Лекция: 4 стр. 2
Предложите свое определение
function
Лекция: 2 стр. 3
Предложите свое определение
fusion
Лекция: 8 стр. 3, 8 стр. 4
Предложите свое определение
generation
Лекция: 1 стр. 1
Предложите свое определение
IFIP
Лекция: 1 стр. 1
Предложите свое определение
international
Лекция: 1 стр. 2
Предложите свое определение
Виктор Бондарь
Виктор Бондарь

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

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

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

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