NYELVÉSZ

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.

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.)

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...

Iggen? hol? én nem látom..

Köszi!

A formális szemantika logikai alapjai (a.k.a. baby-logika) és A szemantika alapfogalmai. Jó mulatást!

Jó ez a szpem-ellenes cucc, de a hsz alján ott van rendesen is a címed

Ü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

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.