Latest posts from topic “Задача по СЕП за устен” on “forum.uni-sofia.bg”. https://forum.su.schools.bg/viewtopic.php?f=55&t=17610 Sat, 03 Jul 2010 14:10:23 +0300 dorianna Fri, 16 Jul 2010 10:23:08 +0300 https://forum.su.schools.bg/viewtopic.php?f=55&p=760156#p760156 https://forum.su.schools.bg/viewtopic.php?f=55&p=760156#p760156 И без тва нямаше такава, аз бях научила как се решават тия Ама забравих....]]> HotStuff Thu, 08 Jul 2010 04:10:25 +0300 https://forum.su.schools.bg/viewtopic.php?f=55&p=755581#p755581 https://forum.su.schools.bg/viewtopic.php?f=55&p=755581#p755581 Gracy Sat, 03 Jul 2010 14:10:23 +0300 https://forum.su.schools.bg/viewtopic.php?f=55&p=752894#p752894 https://forum.su.schools.bg/viewtopic.php?f=55&p=752894#p752894
Дадена е следната логическа програма P:
p(a).
q(X, f(X)) :- p(X).

a) Дефинирайте оператора Гp (или Tp) за програмата P.
б) Намерете Lp - най-малката неподвижна точка на Гp.
в) Определете минималния Ербранов модел Mp на програмата P
г) Определете множеството Output(P) на програмата P.]]>