Feltettem a honlapra Biener Peter eloadas-foliait. Az eloadasok tegnap megbeszelt menetrendje: okt. 25 Varga Péter András Induktív Logikai Programozás (LP programok tanulása) nov. 1 <Ünnep> nov. 8 <Elmarad, helyette volt az okt. 11.-i elõadás> nov. 15 Békés András György A Mercury nyelv párhuzamos megvalósítása nov. 22 Pallinger Péter Az XSB Prolog rendszer (tabling, Hilog, stb.) nov. 29 Drótos Márton ASP megvalósítási módszerek dec. 6 Patai Gergely Logikai programok verifikálása dec. 13 Dávid Róbert Az Andorra párhuzamos Prolog A cimen, sot meg a teman is lehet valtoztatni, ha valaki meggondolta magat. Az idoponton lehetoleg csak ugy, ha valakivel cserel az illeto. Oktober 28 es november 20 kozott kulfoldon leszek, de fogok emailt olvasni es valaszolni (ha nem is azonnal :-). Tobbeteknek megprobaltam mar anyagot kuldeni, ha valaki meg ezen felul segitsegre szorul, kerem jelezze, ha lehet meg ezen a heten. -Peter