И без тва нямаше такава, аз бях научила как се решават тия
Ама забравих....
| forum.uni-sofia.bg https://forum.su.schools.bg/ |
|
| Задача по СЕП за устен https://forum.su.schools.bg/viewtopic.php?f=55&t=17610 |
Страница 1 от 1 |
| Автор: | Gracy [ 03 Юли 2010, 13:10 ] |
| Заглавие: | Задача по СЕП за устен |
Здравейте! Някой може ли да ми помогне с решението на тази задача, защото не съм сигурна дали съм разбрала правилно как се решава: Дадена е следната логическа програма P: p(a). q(X, f(X)) :- p(X). a) Дефинирайте оператора Гp (или Tp) за програмата P. б) Намерете Lp - най-малката неподвижна точка на Гp. в) Определете минималния Ербранов модел Mp на програмата P г) Определете множеството Output(P) на програмата P. |
|
| Автор: | HotStuff [ 08 Юли 2010, 03:10 ] |
| Заглавие: | Re: Задача по СЕП за устен |
Мисля, че "наличието" на отговор може да подскаже колко "много" хора от курса чаткат как се решават задачите.... |
|
| Автор: | dorianna [ 16 Юли 2010, 09:23 ] |
| Заглавие: | Re: Задача по СЕП за устен |
И без тва нямаше такава, аз бях научила как се решават тия Ама забравих....
|
|
| Страница 1 от 1 | Часовете са според зоната UTC + 2 часа |
| Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group http://www.phpbb.com/ |
|