| Státusz: | adjunktus |
| Status: | assistant professor |
| Email: | szabivan [at] inf.u-szeged.hu |
| szabolcs.ivan [at] gmail.com | |
| Iroda: | Aradi tér 1, Számítástudomány Alapjai Tanszék |
| Office: | 6701 Szeged, Aradi square 1, Department of Computer Science |
| Telefon: | 4494 |
| Phone: | +3662 544494 |
| CV (slightly outdated), master's thesis, phd thesis | |
| English localization is still in progress! Most of the page still appears in Hungarian only, sorry | |
To understand recursion, you have to understand recursion first.
2012. 05. 23. 01:30 PM
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
2012. 05. 12. 08:50 AM
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.
2012. 04. 27. 10:50 AM
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.
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.
2012. 04. 09. 10:45 PM
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.
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.
2012. 03. 30. 10:40 AM
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.
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.
2012. 03. 07. 09:10 AM
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:

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:

2012. 02. 26. 09:00 PM
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.
2012. 02. 05. 12:40 PM
...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.
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.
2012. 02. 04. 11:25 AM
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.
Logika előadás hétfőn a TIK-ben, 16:40-től 18:10-ig.
Tessék rétegesen öltözködni.
2012. 01. 30. 04:25 PM
2012. 01. 05. 09:45 PM
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:

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

2011. 12. 25. 08:20 AM
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.
Addig karácsonyt, buéket.
2011. 12. 22. 09:15 PM
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:

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

2011. 12. 10. 09:25 PM
Vízszintes: két legjobb dolgozat összege. Függőleges: nagydolgozat pontszáma.


2011. 11. 29. 08:35 PM
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.
Nálam a kiskérdések a nagyzh-ban a 260. sorszámúig lehetnek majd.
2011. 11. 20. 09:55 PM
A szokott helyen lehet szétnézni, frissített
gyakjegyzet és deluxe track feladatsor (!) ügyében.


