NYELVÉSZ
http://seas3.elte.hu/nyelveszforum/

Újdonságok a honlapon
http://seas3.elte.hu/nyelveszforum/viewtopic.php?f=45&t=565		 Page 1 of 1
Author:  pasztorarpad [ 2007. May 6, Sunday, 9:13 ]
Post subject: 
Ja, megvan a probléma.
Az email feliratú gombot csak akkor látom, amikor be vagyok jelentkezve. (Mielőtt értetlenkedtem, még nem voltam.) Mondjuk a sajátomat bejelentkezés után sem látom.
Ja, de látom. Az gyarmz címe, amit nem látok. Formában vagyok ma.
Author:  szigetva [ 2007. May 5, Saturday, 21:50 ]
Post subject: 
gyarmz wrote:
Nem verbatim az emailed, hanem egy "email" feliratú gomb (a "profil", "pü" és hasonlók mellett), ami aztán revealeli kukacok nélkül a valóságot.
A humánok így látják, de a címgyűjtő robotok azt látják, amit mi a ,,view page source''-szal látunk, ott meg pőrén ott van a címed.

(Majd valamelyik admin törli ezt a kioktató szálat innen.)
Author:  gyarmz [ 2007. May 5, Saturday, 16:35 ]
Post subject: 
pasztorarpad wrote:
Iggen? hol? én nem látom.. :oops:


Nem verbatim az emailed, hanem egy "email" feliratú gomb (a "profil", "pü" és hasonlók mellett), ami aztán revealeli kukacok nélkül a valóságot. Ez persze már egy technikai szálba tartozik...
Author:  pasztorarpad [ 2007. May 5, Saturday, 16:28 ]
Post subject: 
Quote:
Jó ez a szpem-ellenes cucc, de a hsz alján ott van rendesen is a címed


Iggen? hol? én nem látom.. :oops:
Author:  pasztorarpad [ 2007. May 5, Saturday, 16:24 ]
Post subject: 
Köszi!
Author:  kalman [ 2007. May 3, Thursday, 20:41 ]
Post subject: 
pasztorarpad wrote:
Sikeresen kitöröltem a "kedvencek" mappám tartalmát ezért most nem találom a formális szemantika és a szemantika előadások vetítményeit tartalmazó honlapot. Valaki megosztaná velem?
A formális szemantika logikai alapjai (a.k.a. baby-logika) és A szemantika alapfogalmai. Jó mulatást!
Author:  szigetva [ 2007. May 3, Thursday, 20:16 ]
Post subject: 
pasztorarpad wrote:
pasztorarpad kukac yahoo pont com-ra?)
Jó ez a szpem-ellenes cucc, de a hsz alján ott van rendesen is a címed :D
Author:  pasztorarpad [ 2007. May 3, Thursday, 20:00 ]
Post subject: 
Üdv.

Sikeresen kitöröltem a "kedvencek" mappám tartalmát ezért most nem találom a formális szemantika és a szemantika előadások vetítményeit tartalmazó honlapot. Valaki megosztaná velem?
(esetleg kérhetek emilt a pasztorarpad kukac yahoo pont com-ra?)

Köszi
Árpi
Author:  kalman [ 2007. March 21, Wednesday, 9:30 ]
Post subject:  Újdonságok a honlapon
Felraktam a konjunktív normálforma/rezolúció néhány lehetséges implementációját:
  1. Python nyelven, ez talán a legkönnyebben olvasható; Kell hozzá a TPG nevű program (az input elemzéséhez);
  2. Scheme nyelven, a bigloo nevű scheme-rendszer által nyújtott lehetőségekkel;
  3. Scheme nyelven, minimálisan élve a bigloo lehetőségeivel (kivéve a végén az input elemzéséhez szükséges részt).
Mind a három a terminálról begépelt kérdésre vár, ami a következő formájú lehet:
  • "f1 |= f2" (következik-e f1-ből f2?)
  • "|= f" (érvényes-e f1?)
  • "f1 = f2" (ekvivalens-e f1 és f2?)
Itt az f, f1, f2 formulák ilyen alakúak lehetnek:
  • "p" (atomi);
  • "~f" (tagadott);
  • "(f1 & f2)" (konjunkció);
  • "(f1 | f2)" (diszjunkció);
  • "(f1 -> f2)" (implikáció);

"p" bármilyen string, "f" bármilyen formula.
Page 1 of 1 All times are UTC + 1 hour
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group
http://www.phpbb.com/