4
Які відмінності між логічними відношеннями та моделюванням?
Я початківець, який працює над методами, що підтверджують еквівалентність програми. Я прочитав декілька робіт про визначення логічних зв’язків або моделювання, щоб довести, що дві програми є рівнозначними. Але я дуже заплутаний у цих двох техніках. Я знаю лише, що логічні відносини індуктивно визначаються, тоді як симуляції ґрунтуються на коіндукції. Чому …