дневник заведен 24-10-2002
постоянные читатели [14]
angel_inside, Babon, danamer, fl@sh, KatoNita, Nord, paprika, rika, skrudzh, smirnoffff, Yoghurt13, дикая кошка, Кисик, ПАРАД УРОДОВ
angel_inside, Babon, danamer, fl@sh, KatoNita, Nord, paprika, rika, skrudzh, smirnoffff, Yoghurt13, дикая кошка, Кисик, ПАРАД УРОДОВ
цитатник:
- • лента
18-06-2004 20:06 логическое программирование
не, блин....не могу я это читать...ладно еще в начале про пролог, куда ни шло. все таки лабы сама делала, понимала, но дальше...чем дальше в лес, тем больше дров...какая то логика предикатов, это вообще полный...квантор всеобщности и существования чего только стоят...вспомнился мальчишник "я не могу больше слушать весь этот бред! а а..а а" =) как раз про меня, если заменить слушать на читать.
Комментарии:
Камрад
Ну нашла чего пугаться. Квантор всеобщности означает"выполняется для всех элементов". Квантор существования - "есть такой элемент, для которого выполняется".
Камрад
это я поняла. но вот это (в частности, формулу) не могу.
"вхождение называется связанным, если переменная стоит непосредственно за квантором (здесь понятно) или входит в область действия квантора по этой переменной (здесь нет)"
F = t(x)&(/здесь квантор всеобщности/y)[S(x,y)->(здесь квантор существования/x)(r(x,y)/логическое или/t(y))]
1 и 2 вхождение x свободное, а 3 и 4 связанное. все вхождения y связаны.
и вообще все что касается предикатов не очень понятно, с логикой высказываний все просто.
"вхождение называется связанным, если переменная стоит непосредственно за квантором (здесь понятно) или входит в область действия квантора по этой переменной (здесь нет)"
F = t(x)&(/здесь квантор всеобщности/y)[S(x,y)->(здесь квантор существования/x)(r(x,y)/логическое или/t(y))]
1 и 2 вхождение x свободное, а 3 и 4 связанное. все вхождения y связаны.
и вообще все что касается предикатов не очень понятно, с логикой высказываний все просто.
Камрад
Но там всего 3 вхождения х? Одно связанное.
F истинно, если истинно t(x) и для любых у из того, что истинно S(x,y) следует, что существует такое х, что истинно r(x,y) или t(y).
F - это формула F(x), от у она не зависит, потому что все вхождения у связанные.
Формула вроде просто к t(x) сводится, потому что если t(x) ложно, то F тоже ложно, а если t(x) истинно, то t(y) тоже истинно для всех у и вторая часть( где импликация ) тогда тоже выполняется.
t(x) это кстати то же самое, что "для любого х " t(x) , первое истинно тогда и только тогда, когда второе истинно
Проверь, верно ли у тебя формула записана.
F истинно, если истинно t(x) и для любых у из того, что истинно S(x,y) следует, что существует такое х, что истинно r(x,y) или t(y).
F - это формула F(x), от у она не зависит, потому что все вхождения у связанные.
Формула вроде просто к t(x) сводится, потому что если t(x) ложно, то F тоже ложно, а если t(x) истинно, то t(y) тоже истинно для всех у и вторая часть( где импликация ) тогда тоже выполняется.
t(x) это кстати то же самое, что "для любого х " t(x) , первое истинно тогда и только тогда, когда второе истинно
Проверь, верно ли у тебя формула записана.
Камрад
Джей, как ты все это понимаешь? =)
в лекциях, которые давала препод, именно так и написано.
сдала я сегодня этот экзамен. про логику предикатов все таки чуши наговорила. как назло попалась. второй вопрос ответила, задачу решила, кстати такого типа мы не рассматривали на лекциях. а она мне се равно тройбан влепила. обидно. я просто слышала как отвечали другие. и главно никаких доп вопросов не задала. ладно...самое важное, что одним экзаменом меньше =)
в лекциях, которые давала препод, именно так и написано.
сдала я сегодня этот экзамен. про логику предикатов все таки чуши наговорила. как назло попалась. второй вопрос ответила, задачу решила, кстати такого типа мы не рассматривали на лекциях. а она мне се равно тройбан влепила. обидно. я просто слышала как отвечали другие. и главно никаких доп вопросов не задала. ладно...самое важное, что одним экзаменом меньше =)
Камрад
KaT:eHok 
по просьбе...=)
[Print]
sokolov-1970