23 May
2009
23 May
'09
11:16 a.m.
Ezúttal is köszönöm Szeredi Tanár úrnak a határidő meghosszabbítását,
szerencsére már sikerrel vette a programom az akadályt.
A vizsgakészüléshez van egy kérdésem, az indexikálisokkal kapcsolatban
van pár dolog ami nem egészen világos.
A -: klózt mikor használja a CLPFD szűkítésre? Csak akkor, ha
reifikált korlátként, tagadó módban vesszük fel a korlátot, vagy más
esetben is lehet hogy segít a szűkítésben?
(Magyarul, ha nem tervezek egy FD predikátumot reifikálni, akkor
érdemes-e megírni a -: klózt, javulhat vele a program teljesítménye,
vagy felesleges?)
Még a -: klózhoz, egy tartományszűkítő korlátnak meg lehet írni
monotonra a tagadó klózát? Ha pl. a jegyzetben lévő ’x+y=t tsz’(X, Y,
T)-t nézzük, ott ilyen indexikálisok vannak, hogy "X in
dom(T)-dom(Y)". Értelemszerűen ha a predikátum nem igaz, akkor "X in
\(dom(T)-dom(Y))" lenne, de ez meg logikusan antimonoton.
Köszönöm a választ
József Dániel
2009/5/23 <nhlp-l-request(a)cs.bme.hu>hu>:
Send NHLP-l mailing list submissions to
nhlp-l(a)sziami.cs.bme.hu
To subscribe or unsubscribe via the World Wide Web, visit
http://sziami.cs.bme.hu/mailman/listinfo/nhlp-l
or, via email, send a message with subject or body 'help' to
nhlp-l-request(a)sziami.cs.bme.hu
You can reach the person managing the list at
nhlp-l-owner(a)sziami.cs.bme.hu
When replying, please edit your Subject line so it is more specific
than "Re: Contents of NHLP-l digest..."
Today's Topics:
1. Re: Penteki konzultacio: V2. 136-ban (J?zsef D?niel)
2. Re: Penteki konzultacio: V2. 136-ban (Peter Szeredi)
3. a nagyh?zi tesztesetei az ETS-ben (Makrai M?rton)
4. Vizsga el?tt 3 nap (J?zsef D?niel)
5. Re: a nagyh?zi tesztesetei az ETS-ben (Makrai M?rton)
6. Re: Vizsga el?tt 3 nap (Peter Szeredi)
7. Vizsga (Peter Szeredi)
----------------------------------------------------------------------
Message: 1
Date: Fri, 22 May 2009 14:11:25 +0200
From: J?zsef D?niel <daniel.jozsef(a)gmail.com>
Subject: Re: [NHLP-l] Penteki konzultacio: V2. 136-ban
To: nhlp-l(a)cs.bme.hu
Message-ID:
<29f2efff0905220511w19dbc2a6w9fa5ee15014a6341(a)mail.gmail.com>
Content-Type: text/plain; charset=UTF-8
Tisztelt Tan?r ?r!
Azt tervezem, hogy jelentkezem a keddi vizsg?ra. Szerintem ma fel
fogok iratkozni a Neptunban.
J?zsef D?niel
Message: 2
Date: 21 May 2009 23:13:13 +0200
From: Peter Szeredi <szeredi(a)cs.bme.hu>
Subject: [NHLP-l] Penteki konzultacio: V2. 136-ban.
To: nhlp-l(a)cs.bme.hu
Message-ID: <794overwgm.fsf(a)pnp.cs.bme.hu>
Content-Type: text/plain; charset=iso-8859-1
Ugy latom, hogy csak egy jelentkezo van a jovo keddi vizsgara, G?rdonyi
Laci.
Tervezi meg valaki, hogy jelentkezik a keddi vizsgara?
Tervezi valaki, hogy jon a holnapi (penteki) konzultaciora?
Laci, te jossz?
Tekintettel a kis letszamra, a konzultacio helyszine megvaltozott: V2.136.
-Peter
------------------------------
_______________________________________________
NHLP-l mailing list
NHLP-l(a)sziami.cs.bme.hu
http://sziami.cs.bme.hu/mailman/listinfo/nhlp-l
End of NHLP-l Digest, Vol 32, Issue 11
**************************************
------------------------------
Message: 2
Date: 22 May 2009 14:13:46 +0200
From: Peter Szeredi <szeredi(a)cs.bme.hu>
Subject: Re: [NHLP-l] Penteki konzultacio: V2. 136-ban
To: "A Nagyhat& #233; konys& #225; g& #250; Logikai
Programoz& #225; s c. t& #225; rgy list& #225; ja"
<nhlp-l(a)cs.bme.hu>
Message-ID: <79pre1tjwl.fsf(a)pnp.cs.bme.hu>
Content-Type: text/plain; charset=iso-8859-1
J?zsef D?niel <daniel.jozsef(a)gmail.com> writes:
Tisztelt Tan??r ??r!
Azt tervezem, hogy jelentkezem a keddi vizsg??ra. Szerintem ma fel
fogok iratkozni a Neptunban.
J??zsef D??niel
Koszonom, hogy irtal. Ha a vizsgara keszules kozben gondod tamad, irj
emailt.
Udv,
Peter
------------------------------
Message: 3
Date: Fri, 22 May 2009 23:15:57 +0200
From: Makrai M?rton <makraimarton(a)gmail.com>
Subject: [NHLP-l] a nagyh?zi tesztesetei az ETS-ben
To: nhlp-l(a)cs.bme.hu
Message-ID:
<cd4000490905221415j4a0b18b9m9377b25621b687d7(a)mail.gmail.com>
Content-Type: text/plain; charset=ISO-8859-2
Szervusztok!
Azt szeretn?m k?rdezni, hogy a keretprogramban szerepl? tesztesetek
k?z?l melyik az a 10, amelyiket az ETS haszn?lja (?s milyen
sorrendben).
El?re is k?sz?n?m
Marci
------------------------------
Message: 4
Date: Fri, 22 May 2009 23:31:47 +0200
From: J?zsef D?niel <daniel.jozsef(a)gmail.com>
Subject: [NHLP-l] Vizsga el?tt 3 nap
To: nhlp-l(a)cs.bme.hu
Message-ID:
<29f2efff0905221431q73c14ffdi8f5b0c3c1090c9ac(a)mail.gmail.com>
Content-Type: text/plain; charset=UTF-8
Tisztelt Tan?r ?r!
Sajnos nem siker?lt a nagyh?zit elfogadhat?an gyorsra csiszolni ma
?jf?lig. Az a k?rd?sem, hogy a "vizsga el?tt h?rom nappal" hogyan
sz?moland? - meddig kell leadjam a h?zit, hogy mehessek kedden
vizsg?zni? Holnap estig m?g belef?r?
K?sz?nettel
J?zsef D?niel
------------------------------
Message: 5
Date: Sat, 23 May 2009 01:36:54 +0200
From: Makrai M?rton <makraimarton(a)gmail.com>
Subject: Re: [NHLP-l] a nagyh?zi tesztesetei az ETS-ben
To: nhlp-l(a)cs.bme.hu
Message-ID:
<cd4000490905221636g619083f4sf1178cc333543ccc(a)mail.gmail.com>
Content-Type: text/plain; charset=ISO-8859-2
Eln?z?st, csak most vettem ?szre, hogy van readme f?jl.
2009/5/22 Makrai M?rton <makraimarton(a)gmail.com>om>:
Szervusztok!
Azt szeretn?m k?rdezni, hogy a keretprogramban szerepl? tesztesetek
k?z?l melyik az a 10, amelyiket az ETS haszn?lja (?s milyen
sorrendben).
El?re is k?sz?n?m
Marci
------------------------------
Message: 6
Date: 23 May 2009 09:51:20 +0200
From: Peter Szeredi <szeredi(a)cs.bme.hu>
Subject: Re: [NHLP-l] Vizsga el?tt 3 nap
To: "A Nagyhat& #233; konys& #225; g& #250; Logikai
Programoz& #225; s c. t& #225; rgy list& #225; ja"
<nhlp-l(a)cs.bme.hu>
Message-ID: <79bppknton.fsf(a)pnp.cs.bme.hu>
Content-Type: text/plain; charset=iso-8859-1
J?zsef D?niel <daniel.jozsef(a)gmail.com> writes:
Sajnos nem siker?lt a nagyh?zit elfogadhat?an
gyorsra csiszolni ma
?jf?lig. Az a k?rd?sem, hogy a "vizsga el?tt h?rom nappal" hogyan
sz?moland? - meddig kell leadjam a h?zit, hogy mehessek kedden
vizsg?zni? Holnap estig m?g belef?r?
Igen. Meghosszabbitottam a hataridot az ETS-ben.
Ad abszurdum meg az is belefer, hogy csak a vizsga utan fejezed be a
NHF-t.
Udv,
Peter
------------------------------
Message: 7
Date: 23 May 2009 11:48:35 +0200
From: Peter Szeredi <szeredi(a)cs.bme.hu>
Subject: [NHLP-l] Vizsga
To: "A Nagyhat& #233; konys& #225; g& #250; Logikai
Programoz& #225; s c. t& #225; rgy list& #225; ja"
<nhlp-l(a)cs.bme.hu>
Message-ID: <79zld4m9os.fsf(a)pnp.cs.bme.hu>
Content-Type: text/plain; charset=us-ascii
Fontos informaciok a vizsgarol:
- A vizsgan minden irott segedeszkoz hasznalhato!
Ne felejtsetek el elhozni a kinyomtatott foliamasolatokat, jegyzetet,
stb.
- Korabbi vizsgafeladatok letolthetok a honlaprol, ezek kozul
ertelemszeruen elhagyandok a Mercury es CHR nyelvekre vonatkozo
feladatok.
- Varhato feladatok kozelito pontertekekkel
- CLPFD: indexikalis irasa, felteteles kifejezessel, mondo, kerdezo
indexikalis, indexikalis jelentese (vo. 3. khf) 20-25 pont
- CLPFD: globalis korlat irasa (vo. 4. khf) 20-25 pont
- CLPFD: reifikaciot igenylo feladat megoldasa (vo. magikus
sorozatok pelda a foliakon). 20 pont
- egyszeru CLPQ/CLPB programozasi feladatok 2*10 pont
- Pontozas:
vizsga osszpontszama 85 pont
NHF max 15 pont
KHF-ek max 8 pont
Osszesen max 108 pont
Jegyek: 85 - jeles
70-84 jo,
55-69 kozepes
Ha valami nem vilagos, kerdezzetek!
-Peter
------------------------------
_______________________________________________
NHLP-l mailing list
NHLP-l(a)sziami.cs.bme.hu
http://sziami.cs.bme.hu/mailman/listinfo/nhlp-l
End of NHLP-l Digest, Vol 32, Issue 12
**************************************
24 May
24 May
7:16 p.m.
New subject: Indexikalis kerdes
József Dániel <daniel.jozsef(a)gmail.com> writes:
A vizsgakészüléshez van egy kérdésem, az
indexikálisokkal kapcsolatban
van pár dolog ami nem egészen világos.
A -: klózt mikor használja a CLPFD szûkítésre? Csak akkor, ha
reifikált korlátként, tagadó módban vesszük fel a korlátot,
Csak akkor.
(Magyarul, ha nem tervezek egy FD predikátumot
reifikálni, akkor
érdemes-e megírni a -: klózt, javulhat vele a program teljesítménye,
vagy felesleges?)
Felesleges.
Még a -: klózhoz, egy tartományszûkítõ korlátnak meg
lehet írni
monotonra a tagadó klózát? Ha pl. a jegyzetben lévõ 'x+y=t tsz'(X, Y,
T)-t nézzük, ott ilyen indexikálisok vannak, hogy "X in
dom(T)-dom(Y)". Értelemszerûen ha a predikátum nem igaz, akkor "X in
\(dom(T)-dom(Y))" lenne, de ez meg logikusan antimonoton.
Eppen emiatt nem lehet jo.
Nezzunk egy peldat:
T in {10,20}, Y in {2,4}
akkor dom(T)-dom(Y) = {6,8,16,18}
Kizarhatjuk-e X tartományabol a 6-os szamerteket azon az alapon, hogy
tudjuk X + Y #\= T, es tudjuk T es Y fenti tartomanyait?
Nyilvan nem, hiszen pl X = 6, T = 10, Y = 2 kielegiti a nemegyenloseget, es
a T-re, Y-ra vonatkozo halmazkorlatokat is.
Ugyanilyen alapon nem zarhatjuk ki a masik harom erteket sem.
Konnyu vegiggondolni, hogy amig akar T akar Y nincs behelyettesitve, addig
nem zarhato ki ertek X tartomanyabol.
Es pontosan ez tortenik az
X in \(dom(T)-dom(Y))
indexikalis vegrehajtasakor. Ez ugyanis akkor (es csak akkor) valik
monotonna, amikor mind T, mind Y be van helyettesitve.
Ezert a rendszer a logikatlan szukitesi utasitasunkat (a
nem-mononotonitasra valo hivatkozassal) addig nem hajtja vegre, amig T es Y
is be nem helyettesitodik. De akkor vegrehajtja.
Ugye milyen szep ez?
Persze ha eleve pucer valtozokat hasznalunk, akkor egy kis irasmunkat
megsprololhatunk magunknak:
X in \(T-Y)
-Peter
5516
days inactive
5517
days old
1 comments
2 participants
participants (2)
-
József Dániel -
Peter Szeredi