Jut eszembe, lesz egy előadás-sorozat Szemerédi Endre Abel-díjas címmel, 2012. május 24-én (vagyis holnap) a Bolyaiban, a Bolyai teremben kettőtől. Program:

• 14:00-14:10. Megnyitó
• 14:10-14:40. Csaba Béla: Dirac-típusú gráfbeágyazási problémák
• 14:40-15:10. Nagy-György Judit: Fák és pakolások
• 15:10-15:40. Kávészünet
• 15:40-16:10. Füredi Zoltán: Simonovits stabilitási tétele Szemerédi regularitási lemmájából
• 16:10-16:40. Hajnal Péter: Szemerédi Endre hatása az elméleti számítógéptudományra és kombinatorikus geometriára

A szervezők és az előadók mindenkit szeretettel várnak.

Szemerédi Endre tart soron kívüli előadást a Bolyai Intézet szemináriumának keretében május 17-én (jövő csütörtök) a Riesz teremben körülbelül 10:30-tól Az abszorpciós módszer címmel. Részletek itt.

Kaptam olyan kérdést, hogy ha valaki hamarabb akar logika ZH-t írni (nálam), azt lehet-e.
Lehet: május 2, szerda, 12-13 óra közt, az Irinyi 221-ben.
Aki élne a lehetőséggel, írjon kérem egy levelet még a hosszú hétvégén; helyhiány esetén az első X jelentkezőnek lesz hely.

Egyrészt lesz a Sapientia-ECN programozási csapatverseny május 11-13 közt, amire az SZTE egy háromfős csapatot delegálhat. Egy házi csapatverseny keretében, április 20-án az Irinyi kabinetben 10:00-16:00 közt dől el, kiket delegálunk, erre április 18. estig lehet nálam levélben jelentkezni.

Ettől a fenti versenytől teljesen függetlenül lesz a szokásos tavaszi egyéni programozási háziversenyünk, az május 4-én az Irinyi kabinetben 10:00-16:00 közt, amire pedig május 2. estig lehet nálam levélben jelentkezni.

Kérem terjeszteni, köszönöm. Bármi felmerülő kérdés esetén emailben lehet engem keresni.
A versenyeken hat-tíz feladat lesz öt órás intervallumra, a csapatversenyen is csak egy gép. Per csapat. Hopefully működő.
A feladatok megoldását C, C++ vagy Java forrásnyelven kell majd beküldeni a lengyel bíróra, ami csak akkor fogad el egy megoldást, ha az összes tesztesetre a megadott időn belül helyes választ ad.
Minden írásos segédeszköz használható!

A Sapientia válogatóverseny tavalyi feladatai kedvcsinálónak: elfutós, nősülős, tehenes, vegasos, osztósos, színezős, felmérős.
Az egyéni verseny tavalyi feladatai pedig: jegeses, gutenberges, bogaras, kockahangyás, bombásos, módosítottszerkesztésitávolságos.

Egyrészt lesz a Sapientia-ECN programozási csapatverseny május 11-13 közt, amire az SZTE egy háromfős csapatot delegálhat. Egy házi csapatverseny keretében, április 20-án az Irinyi kabinetben 10:00-16:00 közt dől el, kiket delegálunk, erre április 18. estig lehet nálam levélben jelentkezni.

Ettől a fenti versenytől teljesen függetlenül lesz a szokásos tavaszi egyéni programozási háziversenyünk, az május 4-én az Irinyi kabinetben 10:00-16:00 közt, amire pedig május 2. estig lehet nálam levélben jelentkezni.

Kérem terjeszteni, köszönöm. Bármi felmerülő kérdés esetén emailben lehet engem keresni.

Megismételve egy korábbi hírt, a tavalyi rezolúciós példagenerátor letölthető, jarban. Katt.
Usage: java -jar ResolutionExercise [maxVars=V] [minLength=L]
Ekkor olyan Σ ⊨ F alakú feladatot generál megoldással, ami legfeljebb V változót tartalmaz és amiben a levezetés hossza legalább L.
A dolgozatpéldákat is ezzel fogom generálni, a default paraméterezéssel (V=4, L=7).
Forrást is raktam bele, aki akar, mókoljon vele bátran.
Vannak, akik olyan oprendszert használnak, aminek a konzolját nem lehet átrakni UTF-8-ba, kedvükért tettem be ascii supportot, az ascii=1 argumentummal lehet beizzítani.
Shot:

Végre megtaláltam, amit hetek óta kerestem: a letöltések közé belinkeltem egy másik feladatsort, ebben a 3.5-ös feladat az, ami a másikban a 3.6-os, van hozzá megoldás is hátrébb.

...merthogy fel se veszed.
Hiába raktam fel ETR kurzusfórumba, a weblapom fórumába, meg a szóbeszéd, mindez kevés, egyesek semmit nem olvasnak. Csak írnak.

Még egyszer, utoljára: NEM VESZEK FEL ELSŐST.
Csak ha újrafelvételis elsős. Vagy MSc-s. Vagy ha minden első féléves tárgyát megcsinálta és most felvette a többi, második félévre ajánlott tárgyát is.
Nem érdekel, hogy "ezért átraknak fizetősre". PONT AZ a lényege a rendszernek, hogy aki nem mutat pályaalkalmasságot, az ne kapjon már állami támogatást olyan szakra, amit nem látszik képesnek elvégezni.

no.

Nincs szünet az SZTE-n se hétfőn, se kedden.
Logika előadás hétfőn a TIK-ben, 16:40-től 18:10-ig.
Tessék rétegesen öltözködni.

Tegnapi vizsgák eredményei ETR-ben.
Logókák:

Vége.

Tegnapi vizsgák eredményei ETR-ben.
Logókák:

Nemsokára vége lesz.

Mai vizsgák eredményei ETR-ben.
Logókák:

Mai vizsgák eredményei ETR-ben.
Logókák:

Mai vizsgák eredményei ETR-ben.
Mondjuk úgy, hogy ugyanazt a huszonpár feladatsort osztottam ki, mint legutóbb, ez mégse segített semmit...
Logókák:

Tekintettel arra, hogy i) január 2-ig szénszünet van és ezért TILOS bemenjek az irodámba, mert a "munkavégzés feltételei nem biztosítottak" és ii) az otthoni Internet-kapcsolatom teljes mértékben saját finanszírozású, január 2-ig mindennemű oktatói-kutatói tevékenységet fagyasztok (including, but not limited to: infes posta nézés, ETR, coSPACE etc.)

Addig karácsonyt, buéket.

Mai vizsgák eredményei ETR-ben.
Támadt egy remek ötletem, hogyan tudnám megjeleníteni közérthető formában az eddigi vizsgaeredményeket. Hát tessék:

Vízszintes: két legjobb dolgozat összege. Függőleges: nagydolgozat pontszáma.

A szokott helyen lehet szétnézni, kiskérdések és tételsor ügyében.
Nálam a kiskérdések a nagyzh-ban a 260. sorszámúig lehetnek majd.

A szokott helyen lehet szétnézni, frissített gyakjegyzet és deluxe track feladatsor (!) ügyében.