A targykovetelmenyekben
(http://www.vdk.bme.hu/targykov/valaszthato/vima9359.htm) szerepel egy
ilyen mondat:
9. Követelmények
a. A szorgalmi idõszakban: A szorgalmi idõszakban a hallgatóknak egy
nagyfeladatot kell megoldaniuk és dokumentálniuk. Az aláírás feltétele a
nagyfeladat elégséges szintû megoldása. (Elégséges szint: a maximális
pontszám 40%-a.) A vizsgára bocsátás feltétele az aláírás megszerzése.
b. A vizsgaidõszakban: A nagyfeladat megoldása a vizsgaidõszak végéig
pótolható.
Mindezt joindulatuan ertelmezve nem muszaj beadni a hazit a vizsgaig. Tehat
levizsgazhattok es utana "pótolhatjátok" hazit a vizsgaidõszak végéig.
Mas: ha van ra igeny, es termet is tudunk ra szerezni, akkor szerdan 10-tol
szivesen tartok konzultaciot a most csutortoki vizsgara.
Jelezzetek a listara, ha valakit erdekel a konzultacio.
-Peter
Szervusztok!
Nézegettem a korábbi vizsgafeladatokat, de már rögtön az elsőnél elakadtam:
pred(X, Y) +:
Y in (inf..200) /\ (inf..X*10).
„Írd fel a fenti FD-klóz (mindkét irányban) tartomány-szûkítõ változatát.”
Itt mit is kellene pontosan csinálni? X helyett max(X)-szel operálni, hogy ne csak behelyettesítéskor szűkítsen, vagy valami mást?
A mindkét irány az arra vonatkozik, hogy X-re is vegyünk fel indexikálist? Arra milyen következtetést lehet levonni Y-ból?
Tamás
Kedves Peter es mindenki!
Eloszor is szeretnem Peternek megkoszonni faradozasait, hogy a kedvemert
meg a Prolog-ot is frissitette.
Atirtam a globalis korlataimat (most egy sincs), igy segfault nelkul
lefut minden teszteset.
Aki esetleg hasonlot tapasztal: nekem az volt a benyomasom, hogy ha egy
bizonyos szamot meghaladott a globalis korlatok szama a rendszerben,
attol segfault-olt valamiert.
Mindenkinek tovabbi sikeres munkat.
Udv:
Attila
Sziasztok!
Tudja valaki, miert lehet az, hogy ami nalam itthon lefut 1-2 masodperc
alatt (3. pelda), az a szerveren segmentation fault-tal elszall?
Jopar peldanal ezt tapasztalom (amelyiknel nem, az szepen lefut boven
idon belul), de mivel nalam itthon minden rendben fut, nem tudom, mitevo
legyek. Elkepzelheto, hogy a problemat az okozza, hogy en Win-en irtam a
programot, a teszt meg Linux-on fut? Ha igen, vannak esetleg olyan
tipikus programelemek, amiket a Linux nem szeret, a Windows viszont
megeszi?
Az is erdekes azert, hogy ami nalam 2,8 masodperc alatt lefut, az a
szerveren 16 masodpercig futkos. Ennyire azert nem ta'pos a gepem... :)
Elore is koszi a segitseget.
Udv:
Nemeth Attila
Sziasztok,
van lehetoseg a SICStusban szimbolikus konstansok definiálására? A
kezikonyvben sajnos nem talaltam ennek a modjat.
Olyasmire gondolok, hogy ha azt írom, hogy ule (esetleg ULe), akkor az
mondjuk kifejtődjön 9-re.
Udv.
Jozsi
Sziasztok!
Elég érdekes jelenségre bukkantam, s nem nagyon értem.
Az alábbi jelenség akkor állt elő, ha a kérdező indexikálisokban az X-re
írtam fel kifejezést.
Viszont ha mindezt a Z-re teszem meg, akkor rendesen lefut.
fdcheck mindkét esetben hibátlanul lefut 0..9 tartományt használva.
Krisztián
> -----Original Message-----
> From: Mészáros Krisztián [mailto:mk491@hszk.bme.hu]
> Sent: Wednesday, January 05, 2005 10:20 PM
> To: 'A Nagyhatékonyságú Logikai Programozás c. tárgy listája'
> Subject: khf3
>
> Hello!
>
> Igazából nem nagyon szeretném feldobni a házimat, így viszont egy kissé
> béna lesz a kérdés:
>
> Szóval reifikációnál bár mindkét futásnak azonos eredményt kéne hoznia,
> nem az lesz.
>
> A következő műveletekről van szó:
> 1. (((8..sup) /\ 8..9) ? (inf..sup)) \/ (8..sup)
> 2. (((8..sup) /\ 9) ? (inf..sup)) \/ (8..sup)
>
> Bárhogy nézem, nálam a kettő ugyanazt a végeredményt adja fejben, de
> futásközben valahogy mégsem.
>
> Tud valaki valami magyarázatot?
>
> Köszi.
>
> Krisztián
Hello!
Igazából nem nagyon szeretném feldobni a házimat, így viszont egy kissé béna
lesz a kérdés:
Szóval reifikációnál bár mindkét futásnak azonos eredményt kéne hoznia, nem
az lesz.
A következő műveletekről van szó:
1. (((8..sup) /\ 8..9) ? (inf..sup)) \/ (8..sup)
2. (((8..sup) /\ 9) ? (inf..sup)) \/ (8..sup)
Bárhogy nézem, nálam a kettő ugyanazt a végeredményt adja fejben, de
futásközben valahogy mégsem.
Tud valaki valami magyarázatot?
Köszi.
Krisztián
