szabivan RSS

ZH kérdés

szabivan@inf.u-szeged.hu — 16 Mar 2013 10:11:00 +0100

Mutassa meg rezolúcióval, hogy {Segítünk, Ne hagyja el gépjárművét, Ha elfogy az üzemanyag, üljön át másik gépjárműbe, Ha átül másik gápjárműbe, elhagyja gépjárművét} ⊧ Nem fogy el az üzemanyag! kösz BELUGYMIN, ez hasznos lesz

Feladatmegoldó speci beugró minta kettő

szabivan@inf.u-szeged.hu — 16 Feb 2013 22:15:00 +0100

Szorzás nélküli változat itt, tényleg jobb lett, 0.06 sec :P

Feladatmegoldó speci beugró minta

szabivan@inf.u-szeged.hu — 15 Feb 2013 23:15:00 +0100

Dobtam össze megoldást a beugróra ide.
Aki megoldotta is érdemes megnézze: négyzetes időigény, lineáris tár, 0.15 sec, 2.6M ;)
...holnap megcsinálom szorzás nélkül. hátha gyorsabb lesz :P

Y U NO use CSMS?

szabivan@inf.u-szeged.hu — 30 Jan 2013 11:50:00 +0100

Szemlátomást valami gondom van a levelező klienseim valamelyikével, ami valószínűleg a studról bejövő leveleket érinti. Azt kérném, hogy mától oktatási ügyekben a coospace CSMS rendszerén keresztül próbáljon mindenki elérni.
Köszi.

15.99 < 16

szabivan@inf.u-szeged.hu — 11 Dec 2012 21:20:00 +0100

Több levelet is kaptam olyanoktól, akiknek nincs meg a 16 pontjuk, így nem jogosultak vizsgára, de valahogy mégis vizsgázni akarnak, mert KELL az a kredit.

NEM.
ez nem egy amerikai film, ahol az utolsó öt percben meg lehet javítani bármit.

Bólyi túrós

szabivan@inf.u-szeged.hu — 7 Dec 2012 21:30:00 +0100

Egy tálban kavarjunk össze 25 deka réteslisztet, 22 deka porcukrot, egy zacskó vaníliáscukrot és fél zacskó sütőport.
A keverék felét terítsük el egy kivajazott tepsiben.
Keverjünk össze fél kiló túrót egy zacskó vaníliáscukorral, terítsük bele a tepsibe ezt is.
Mehet rá mazsola ízlés szerint. Vagy meggy. Akár.
Aztán a lisztes-cukros keverék másik fele.
Keverjönk össze három tojást (sárgája is) három deci tejjel (habverő), és ezt is locsoljuk rá egyenletesen.
Daraboljunk rá öt deka vajat.
Süssük 180 fokon 20-22 percig.

Jó étvággyal fogyasszuk.

Bonyelm tételek, kiskérdések fenn

szabivan@inf.u-szeged.hu — 27 Nov 2012 21:20:00 +0100

Vizsgához cuccok fenn a a letöltések közt.

Költözöm

szabivan@inf.u-szeged.hu — 8 Nov 2012 12:30:00 +0100

Az irodám a Bolyaiból az Irinyibe migrálódik.
A folyamat végéig (vszg kb november 20-ig) várhatóan nagyon szaggatottan leszek elérhető mailben is, de személyesen aztán végképp.

Helyi TDK

szabivan@inf.u-szeged.hu — 1 Nov 2012 23:10:00 +0200

Két dolog lesz november 15-én délután: dékáni szünet és a helyi tdk.
Ha érdekel valakit.

A válogató feladatai és megoldásai

szabivan@inf.u-szeged.hu — 21 Oct 2012 23:10:00 +0200

A válogatóversenyünk feladatai ezek voltak: párosításos, maximális összegű összefüggő részsorozatos, húrnégyszöges, mohó hátizsákos, printeffes, ad hoc intervallumos, dinamikus, leghosszabb monoton növő folyamatos részsorozatos, összeszámolós.
Dobtam össze rájuk megoldásokat ide.

Pár részlet az október 12-ei válogatóról

szabivan@inf.u-szeged.hu — 4 Oct 2012 9:50:00 +0200

News flash:

a versenyen a SPOJ versenyszervert fogjuk használni. Aki előtte gyakorolgatna, regeljen be és oldjon meg onnan pár feladatot.
biztos lesz dinamikus, mohó, gráfos, inputfeldolgozós és geometriai feladat, némelyikből esetleg több; lehet még persze egyéb is.
a 224-es és a 225-ös teremben leszünk, a szokatlanul nagy érdeklődés miatt nem férünk el egy teremben.
ide, szerkesztő stb. ugyanaz lesz, mint ami alapból fenn van a kabinetben, pl. eclipse, nedit, ilyesmik egy Debian rendszeren.

Fejlesztőknek

szabivan@inf.u-szeged.hu — 2 Oct 2012 21:50:00 +0200

Egy hasznos, érdekes dolog: Alkalmazás fejlesztés kurzus indul mobil eszközökre hozzáértőktől: a LogMeIn fejlesztői tartják. November 5-től, 15 héten át, hétfőnként 17:00-19:00 közt a jugyun. Bővebb infó, jelentkezés a csatlakozz@logmein.hu címen.
Aki ezen részt vesz és így csak a négyórás gyakomon tud részt venni valamelyik későbbi helyett, jöhet négyre hozzám, csak írjon kérem levelet.

Meg lesz SzegedTech is tán október 18-án. bizony.

Szellem, jelentkezz

szabivan@inf.u-szeged.hu — 26 Sep 2012 08:30:00 +0200

Ma mondta a kolleganőm, hogy valaki tegnap keresett azzal, hogy nem találja a weblapomon a tavalyi versenyfeladatokat, írt egy levelet péntek erről, amire nem válaszoltam.
facts:

nem kaptam ilyen levelet se péntek, se máskor
a tavalyi feladatok két hírrel lejjebb vannak 19-e óta fent
ha nem mondod meg a neved, és levelet se írsz, nem tudom meg, ki vagy

akkor erről ennyit

Bonyelm: Turing-gép táblázatok

szabivan@inf.u-szeged.hu — 22 Sep 2012 23:40:00 +0200

A letöltések közé felkerült pár Turing-gép táblázat, amik az innen letölthető Turing-gép szimulátor formátumában vannak, aki akarja, húzza le azt is és nézze meg.

Versenyfelhívás

szabivan@inf.u-szeged.hu — 19 Sep 2012 20:40:00 +0200

Programozási csapatversenyt szervezünk háromfős csapatok számára.
Az első két csapat fogja képviselni az SZTE-t a krakkói közép-európai döntőben.
A versenyen 6-10 feladat lesz, amikre csak olyan megoldást fogad el a bíró (c, cpp vagy java forráskódban), mely az összes tesztesetre jó eredményt ad idő- és tárkorláton belül.
A csapatokat megoldott feladatok száma szerint rangsoroljuk. A feladatok megoldásában a progalap, alga I, talán alga II, dimat és gráfelméleti ismeretek lesznek szükségesek, mintaképp a tavalyi feladatok listája: cukorkás, mosogatós, amőbás, bányászós, pingvines, négyzetszámos, mexikóis, szemetes.
Itt a versenyfelhívás pdf-ben. A helyi versenyünk október 12-én, a krakkói forduló pedig a november 16-18 hétvégén lesz. Jelentkezni, vagy bármi kérdést feltenni nálam tessék, emailben :)

Bonyelm tárgyfelvétel

szabivan@inf.u-szeged.hu — 23 Aug 2011 9:50:00 +0200

Bonyelmre a jelentkezés rendje hasonló lesz, mint a logikára: az előadás konfirmálós. Akiket felveszek: mintatantervesek, csúszók és azon másodévesek, akik a formális nyelveket elvégezték.
Még egyszer: Másodéveseket CSAK AKKOR veszek fel bonyelmre, ha megcsinálták a formálist.
Akinek kredit kéne, mert túl keveset csinált meg első két félévben, nézzen szét máshol, mindketten jobban járunk. Jobb is, ha fizetnek, akik nehéznek találják az elsős tárgyakat.

Lean Investments App Challenge 2012

szabivan@inf.u-szeged.hu — 2 Jul 2012 13:30:00 +0200

Ha valaki szeretne web/mobil alkalmazást fejleszteni nyáron, amiből esetleg pénzt is lát, nézzen rá erre: Lean Investments App Challenge 2012
A legjobbnak ítélt app fejlesztője egyebek mellett tízezer angol fontot is nyer. Regisztráció határideje július 15, az app fejlesztéséé szeptember 1.
Kérem terjeszteni, köszönöm.

Wave 7, június 26 - 173 fő

szabivan@inf.u-szeged.hu — 1 Jul 2012 18:05:00 +0200

Jelkészlet:
- elégtelen
- elégséges
- közepes
- jó
- jeles
- szabivan

Eddigi vizsgaeredmények Space Invaders Diagramon™

szabivan@inf.u-szeged.hu — 23 Jun 2012 11:10:00 +0200

Jelkészlet:
- elégtelen
- elégséges
- közepes
- jó
- jeles
- szabivan

Wave 1: elővizsga és megajánlott jelesek - 13 fő

Wave 2: május 22 - 26 fő

Wave 3: május 29 - 43 fő

Wave 4: június 5 - 43 fő

Wave 5: június 11 - 87 fő

Wave 6: június 19 - 144 fő

Előadás-sorozat holnap a Bolyaiban

szabivan@inf.u-szeged.hu — 23 May 2012 13:30:00 +0200

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 előadás

szabivan@inf.u-szeged.hu — 12 May 2012 08:50:00 +0200

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.

Logika ZH-t lehet előbb is írni

szabivan@inf.u-szeged.hu — 27 Apr 2012 09:50:00 +0100

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.

Versenyek, kicsit több infó

szabivan@inf.u-szeged.hu — 9 Apr 2012 21:45:00 +0100

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.

Versenyek

szabivan@inf.u-szeged.hu — 30 Mar 2012 09:40:00 +0100

Generátor

szabivan@inf.u-szeged.hu — 7 Mar 2012 09:10:00 +0100

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:

Gyakorló feladatsor, megoldásokkal is

szabivan@inf.u-szeged.hu — 26 Feb 2012 21:00:00 +0100

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.

Elsős vagy? Márpedig itt nem mész át...

szabivan@inf.u-szeged.hu — 05 Feb 2012 12:40:00 +0100

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

Szünet? Nincs.

szabivan@inf.u-szeged.hu — 04 Feb 2012 11:25:00 +0100

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.

Logókák

szabivan@inf.u-szeged.hu — 03 Feb 2012 01:50:00 +0100

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

Vége.

Legókák :)

szabivan@inf.u-szeged.hu — 30 Jan 2012 16:25:00 +0100

Logókák

szabivan@inf.u-szeged.hu — 26 Jan 2012 16:50:00 +0100

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

Nemsokára vége lesz.

Logókák

szabivan@inf.u-szeged.hu — 19 Jan 2012 13:10:00 +0100

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

Logókák

szabivan@inf.u-szeged.hu — 9 Jan 2012 11:30:00 +0100

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

Logókák

szabivan@inf.u-szeged.hu — 5 Jan 2012 22:45:00 +0200

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:

Off

szabivan@inf.u-szeged.hu — 25 Dec 2011 09:20:00 +0200

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.

Logókák

szabivan@inf.u-szeged.hu — 22 Dec 2011 22:15:00 +0200

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:

Bogyókák

szabivan@inf.u-szeged.hu — 10 Dec 2011 22:25:00 +0200

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

Tételsor, kiskérdések

szabivan@inf.u-szeged.hu — 29 Nov 2011 21:35:00 +0200

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.

PDF updates

szabivan@inf.u-szeged.hu — 20 Nov 2011 22:55:00 +0200

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

CERC 2011

szabivan@inf.u-szeged.hu — 10 Nov 2011 18:45:00 +0200

ACM ICPC közép-európai regdöntő hétvégén.
Szurkoljunk csapatainknak :-)

PDF updates

szabivan@inf.u-szeged.hu — 27 Oct 2011 17:25:00 +0200

A szokott helyen lehet szétnézni, frissített előadásfóliák és gyakjegyzetem ügyében.

Bogyókák

szabivan@inf.u-szeged.hu — 20 Oct 2011 18:30:00 +0200

Gyors tájékoztatás az eddigi pontszámokról a már megszokott minőségben:

Vízszintes tengely: első kisdolgozat, függőleges meg a második.
De lehet, hogy fordítva.

Eldönthetetlenség feladatok

szabivan@inf.u-szeged.hu — 10 Oct 2011 22:45:00 +0200

Felraktam ide negyven eldönthetetlen problémát.
Az én csoportjaimban mindenki ebből a csoportból kap egyet a jövő heti kisdolgozatban.

Bonyelm kiskérdések

szabivan@inf.u-szeged.hu — 10 Oct 2011 12:45:00 +0200

Bonyelm kiskérdések bővített listája a szokott helyen.
A második kisdolgozatban a 138. kérdésig bezárólag kap mindenki egyet-egyet.
Találtam egy kis segédanyagot (négy éves gyakjegyzetet) az eldönthetetlenséges részhez, azt is felraktam ugyanoda.

ACM helyi döntő

szabivan@inf.u-szeged.hu — 4 Oct 2011 15:10:00 +0200

Emlékszünk erre, igaz? ACM csapatverseny helyi fordulója, háromfős csapatoknak jövő péntek!

Szimulátor

szabivan@inf.u-szeged.hu — 21 Sep 2011 15:30:00 +0200

A gyakorlatokon felírt gépek átmenetdiagramjai felkerülnek ide.
A formátum az innen letölthető szimulátoré, ebbe ezeket a gépeket közvetlenül be lehet tölteni és szimullálni a működésüket mindenféle inputon.
A program nem kezeli a > jelet külön, ezért MEG KELL ADNI az input részeként azt is! Pl. ha az input aaa, akkor azt >aaa-ként adjuk meg. Ugyanezen okból az átmenetdiagramok legelső sora nem három háromszöget, hanem egy háromszöget és space-eket olvas, és háromszögeket ír.

Gyakvázlat

szabivan@inf.u-szeged.hu — 21 Sep 2011 00:50:00 +0200

Bonyelm gyakvázlat minor update itt.

Kiskérdések

szabivan@inf.u-szeged.hu — 20 Sep 2011 13:55:00 +0200

Bonyelm kiskérdések eleje a letöltések közt.
Az első kisdolgozaton ebből a hatvankilencből (;-)) kap mindenki egyet. Random.

News flash

szabivan@inf.u-szeged.hu — 13 Sep 2011 15:45:00 +0200

Hol is kezdjem... időrendben, mondjuk:

Szeptember 17-18-án Pesten a Millenárison lesz a Hacktivity, Kelet-Közép-Európa legnagyobb hackerkonferenciája.
Október 14-én lesz a helyi ACM programozói csapatverseny, erről nemsokára postolok plakátot is. Erre jelentkezni nálam lehet.
November 4-6 közt lesz az IBM 48 órás. Erről van kint poszter az Árpád téren és a Bolyaiban, regelni a weblapjukon lehet.
November 11-13 közt lesz az ACM programozási verseny regionális döntője Prágában a helyi legjobb két csapatunknak.

Gyakvázlat

szabivan@inf.u-szeged.hu — 08 Sep 2011 20:05:00 +0200

Gyakvázlat került a letöltések közé.

`coSPACE`

szabivan@inf.u-szeged.hu — 05 Sep 2011 13:15:00 +0200

Aki nem szeret vagy nem akar belépni a remek coSPACE-be, itt vannak a kurzusfórum RSS linkek: előadás, gyakorlatok.

Bonyelm gyakhelyek

szabivan@inf.u-szeged.hu — 29 Aug 2011 11:30:00 +0200

Két új gyakorlat: kedden 9-10 közt nálam és szerdán 15-16 közt Dr. Németh Zoltánnál.
Létszámkorlátok 21-re emelkednek.

Bonyelm gyakhelyek

szabivan@inf.u-szeged.hu — 29 Aug 2011 09:55:00 +0200

Két új bonyelm gyak nyílik hamarosan.

Bonyelm előadás- és gyakhelyek

szabivan@inf.u-szeged.hu — 26 Aug 2011 14:30:00 +0200

Mivel az első lépcsőben váratlanul megjelentek profi sliderek is, az erre a körre nyitott gyakhelyek egy kicsit elfogytak.
Meg az előadás is be fog telni záros időn belül.

De semmi pánik!

Azt kérem, hogy akinek nem jutott előadáson (e-1) vagy gyakorlaton (g-2-től fölfele) hely, írjon nekem emailt az adataival studról (név, EHA, évfolyam). Mindenkinek csinálunk valahogy helyet, akinek kötelező a bonyelm és már legalább harmadéves (újrafelvételizettek esetében ezt ,,egy éven belül végezhet''-ként tessék érteni), csak ehhez mihamarabb tudnom kéne, hány főről van szó.

Bonyelm tárgyfelvétel

szabivan@inf.u-szeged.hu — 22 Aug 2011 11:40:00 +0200

Bonyelmre a jelentkezés rendje hasonló lesz, mint a logikára:

a mintatantervesek felveszik 25-e és a második lépcső közt kényelmesen
levesszük a létszámkorlátot mondjuk 1 főre, a második lépcsőben nem lehet felvenni az előadást
aki fel szeretné venni a kurzust, menjen be egy gyakorlatra első héten, ahol talál helyet és jöjjön be az első előadásra, adja meg az adatait és felveszem kézzel.

Akiket felveszek: mintatantervesek, csúszók és azon másodévesek, akik a formális nyelveket elvégezték.
Még egyszer: Másodéveseket CSAK AKKOR veszek fel bonyelmre, ha megcsinálták a formálist.
Akinek kredit kéne, mert túl keveset csinált meg első két félévben, nézzen szét máshol, mindketten jobban járunk.

Akibújt-aki¬

szabivan@inf.u-szeged.hu — 12 Aug 2011 13:35:00 +0200

Dékáni vizsga a téridőben logikából:
Szeptember 1, csütörtök, 10:00-11:30, tetőtéri szemináriumi szoba.

Dékánisok, jelentkezzetek be nálam

szabivan@inf.u-szeged.hu — 2 Aug 2011 14:10:00 +0200

Akinek elfogadták logikából a dékáni méltányossági kérelmét, kérem, hogy jelentkezzen be nálam emailben mihamarabb a részletekért, szabivan kukacinf.
Nem kaptunk más elérhetőséget, csak otthoni postacímet...

Tiszta vizet a pohárba

szabivan@inf.u-szeged.hu — 25 Jun 2011 14:20:00 +0200

Emberek,
heti eredmények az ETR-ben.
Tömegével érkeznek markáns hülyeségek, pl:

"mondjon egy példa struktúrát!"-ra p(f(x,y)), kobakocskáim, ez nem struktúra, hanem formula
F |= G definíciójára ilyen jön százával, hogy Mod(G) részhalmaza Mod(F)-nek, pont fordítva van, csak szólok
"mit jelent a Mod(Szigma)" - "azt, hogy Szigmának van modellje" - dehogy
"F-nek következménye F', akkor nem F'-nek is nem F" - "ez nem igaz" - dehogynem
"igazolja, hogy a {|} rendszer teljes" - (kimondja a tételt az önmagában teljes rendszerről, aztán bizonyátja annak pont a másik irányát)
"Igaz-e, hogy p-ből pényílhamis levezethető Hilbert rendszerében?" - és erre bekever valami Szigmát meg H-konzisztenciát, honnan? minek?
225-re jönnek a "(létezik z p(z,f(x)))és p(y1,f(y))" válaszok, ami szintén totál rossz

és még sorolhatnám.
Persze az a tippem, hogy valami botrányosan gyenge kidolgozás kering a weben, amiben ezek a hülyeségek vannak benne. Ha így van, akkor szerintem mindenki jobban járna, aki ebből tanul, ha inkább pl elégetné és mondjuk az előadásfóliákból próbálna készülni, mert ennyire hibás anyagbál lutri az egész.

Szemerédi Endre előadás

szabivan@inf.u-szeged.hu — 17 Jun 2011 12:55:00 +0200

Szemerédi Endre tart soron kívüli kombinatorika szemináriumot június 22-én (jövő szerdán) a Fejér teremben körülbelül 10:30-tól Hosszú számtani sorozatok összeghalmazokban címmel. Részletek itt.

Háromszor repült az...

szabivan@inf.u-szeged.hu — 15 Jun 2011 13:35:00 +0200

Emberek,
aki úgy tippeli, hogy tán háromszor jön vizsgázni, az ne az ötödik héten jöjjön először, mert úgysem lesz hely.
alapszabály. Másodév végére aki erre nem jött rá, hát nem baj, ha (minimum) csúszik.

...a haverom adott egy kidolgozást

szabivan@inf.u-szeged.hu — 11 Jun 2011 17:40:00 +0200

Emberek,
nyolcadikai vizsgák eredményei ETR-ben.
Pár dolog:

ha valakinek üres vagy értékelhetetlen az esszéje, nem kerül javításra a kiskérdéses rész
egy csomó kérdésre ugyanazok a rossz válaszok érkeznek tömegesen. Gondolom van valami "kidolgozás" weben, ami tele van hibával. Az lenne a javaslatom, hogy inkább az előadásanyagot forgassák...

De én megtanultam a kiskérdéseket, a haverom adott egy kidolgozást

szabivan@inf.u-szeged.hu — 27 May 2011 13:15:00 +0200

Emberek,
jó sok levelet kaptam ma olyan témában, hogy "dehát majdnem minden kiskérdésre válaszoltam, hogyhogy egyes, nézzem meg már még egyszer".
Persze, megnézem még egyszer mindet ilyen esetekben és válaszolok (kis türelmet kérek ehhez), de egyvalamit szögezzünk le.
Ez NEM az a tárgy, amelyiknél elég válaszolni.
HELYES választ kell adni.
a szabadverselés és bullshitgenerálás valami másik kurzus.

Gyakorlati eredmények egy csinos kördiagramban

szabivan@inf.u-szeged.hu — 16 May 2011 17:15:00 +0200

Végeredmények coSPACE-en, kérem csekkelni.
Az OFF azt jelenti, hogy jelenlét miatt bukta, a PONT meg azt, hogy az összpontszám nem lett 16.
Konkrétan 13 fő nem szédült be azok közül, akik javítózhattak volna, gondolom közülük páran eljátsszák a szokásos "jaj hát nem tudtam, mikor van a javító" meg "pont beteg lettem" akkordokat, de bizony ez a hajó már elment és fényévekre jár, majd jövőre.
Csoportosított hisztogram.

Sapientia-ECN csapat programozási verseny hétvégén, tessék szurkolni

szabivan@inf.u-szeged.hu — 13 May 2011 06:15:00 +0200

Emlékszünk, ugye?
Lehetőség szerint tessék szurkolni csapatunknak a Sapientia-ECN programozási versenyen :-)

Vizsgasorok

szabivan@inf.u-szeged.hu — 12 May 2011 14:15:00 +0200

Tanszékünk weblapjára tegnap felkerültek a vizsgához a kiskérdések és az esszékérdések.
A vizsgával kapcsolatos kérdéseket az én mailcímemre kérjük küldeni.

Mintazh update

szabivan@inf.u-szeged.hu — 9 May 2011 17:55:00 +0200

A mintaZH pdf-et kibővítettem a múlt heti kérdéssorokkal, fent a szokott helyen.

Javító időpontok

szabivan@inf.u-szeged.hu — 9 May 2011 13:30:00 +0200

Javító időpontok: szerda 17:00-18:00 a szerdaiaknak, Irinyi 218, és csütörtök 09:00-10:00 a csütörtökieknek, Irinyi 213.
Akinek nem jó, írjon levelet, megoldjuk!
Egyébként óra, na az nincs.

Nagyzh kördiagram

szabivan@inf.u-szeged.hu — 6 May 2011 17:10:00 +0100

coSPACE-en.
Csoportosított hisztogram.

akinek kevesebb, mint 10 pontja lett, hát van mit behozzon.

Akinek legalább 16, annak azért köszönöm.

Apa, kezdődik

szabivan@inf.u-szeged.hu — 4 May 2011 10:55:00 +0100

Azért elég jól látszik, mikor vannak a számonkérések.. mint ahogy az is, hogy a mélyen tisztelt hallgatóság dömpingszerűen "készül"..

Mintazh update

szabivan@inf.u-szeged.hu — 3 May 2011 18:35:00 +0100

Megannyi érdekesség van a szokott helyen, pl. mintazh update, másik csoportot is tettem bele, meg belinkeltem 2007-2008-as gyakvázlatot alap és elsőrendű rezolúcióhoz.
Többen kérdezték MA, hogy lesz-e update a gyakvázlatomhoz, de egyrészt nem érek rá, másrészt úgy vagyok vele, hogy ha eddig nem hiányzott, akkor most már nem is teszek fel..

szerk. Kivéve persze a bónusztrekk anyagát, azzal még adós vagyok és korábban ígérgettem is.

Mintazh fönt

szabivan@inf.u-szeged.hu — 2 May 2011 18:55:00 +0100

MintaZH az én csoportjaimnak a szokott helyen.
Lehet, hogy lesz még másik is...

A heti fogadóórám elmarad

szabivan@inf.u-szeged.hu — 28 Apr 2011 14:45:00 +0100

A heti fogadóórám egyéb hivatalos elfoglaltság miatt elmarad.

Még színes oszlopokat

szabivan@inf.u-szeged.hu — 20 Apr 2011 08:30:00 +0100

Na csak azért.

Newstitle fixed

szabivan@inf.u-szeged.hu — 19 Apr 2011 19:25:00 +0100

Non-cached hírekre a title tag valószínű működik, köszönöm a tippet.

Stats megint

szabivan@inf.u-szeged.hu — 19 Apr 2011 11:25:00 +0100

Nem értem ezt a 250 unique visitort, a többi 300 mit csinál? :D

Bónusztrekk feladatsor

szabivan@inf.u-szeged.hu — 18 Apr 2011 18:45:00 +0100

Bónusztrekk feladatsor a TG gyakhoz.
Még nem teljes, mindenesetre nézegetni már legalább van valamit...

Generátor ASCII supporttal, másik

szabivan@inf.u-szeged.hu — 18 Apr 2011 13:20:00 +0100

Skolem alakra hozó generátor.. Ezzel fogom generálni a ZH példákat.
Nem értem rá komplexitásfiltert rakni bele, szóval elég egyszerűeket is kiköp, érdemes addig nyomkodni, amíg az inputba többféle kvantor is bekerül.

Akit érdekel, a nyelvben alapból van függvényjel: c/0, f/1, g/2, predikátumjel: r/2,p/2,q/3, változók x, y, z, a kiigazítás indexeléssel zajlik, a prenex alakra hozás preorder fabejárással, a Skolem függvényjelek h1, h2, h3, ... lesznek, a szabad változók helyére pedig c1, c2, c3 kerül bevezetésre.

Windóze usereknek van benne ascii=1 opcióra lehetőség.

Kiskérdések update

szabivan@inf.u-szeged.hu — 12 Apr 2011 14:40:00 +0100

Loginfalk kiskérdés-lista bővült. Purge cache, katt.
A jövő héten az első 267 kérdésből lesz a számonkérés elméleti része.

Versenyek

szabivan@inf.u-szeged.hu — 8 Apr 2011 10:15:00 +0100

Nokérem. Tehát.
Egyrészt lesz a Sapientia-ECN programozási csapatverseny májusban, amire az SZTE egy háromfős csapatot delegálhat. Egy házi csapatverseny keretében, április 15-én az Irinyi kabinetben 10:00-15:00 közt dől el, kiket delegálunk, erre április 13. 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 április 29-én az Irinyi kabinetben 10:00-15:00 közt, amire pedig április 27. 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.

Szünet? Jövő szerdán? Nincs.

szabivan@inf.u-szeged.hu — 5 Apr 2011 15:55:00 +0100

Számomra ismeretlen okból a jogikarosok kiragasztották az Irinyi két lépcsőházára, hogy "Karunkon április 13-án dékáni szünetet rendelek el, aláírás, pecsét, dékán".

Ez csak a jogikarra vonatkozik (pár árulkodó jel: a név az ő dékánjuké, ahogy a pecsét is), TTIK-n NINCS szünet.

Eddigi loginfalk eredmények

szabivan@inf.u-szeged.hu — 28 Mar 2011 14:30:00 +0100

Kicsit eredményei péntek óta coSPACE-en.
Beszéljenek a hisztogramok: első, második:

Szummák:

Generátor ASCII supporttal

szabivan@inf.u-szeged.hu — 22 Mar 2011 14:10:00 +0100

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.
Purge cache, katt.
Shot:

Pageload

szabivan@inf.u-szeged.hu — 22 Mar 2011 10:15:00 +0100

Csak nem kisdolgozat lesz a héten? :-)

Permalink, visszajelzés

szabivan@inf.u-szeged.hu — 21 Mar 2011 11:15:00 +0100

RSS-t kicsit megváltoztattam, a guid permalink lett, ez azzal jár, hogy aki használ feed readert, abban most duplán jelennek meg az eddigiek, akit zavar, resubscribe után megjavul.

Generátor

szabivan@inf.u-szeged.hu — 21 Mar 2011 09:10:00 +0100

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

Generátor hétfőn

szabivan@inf.u-szeged.hu — 18 Mar 2011 19:15:00 +0100

Rezolúciós példagenerátor csak hétfőn lesz leghamarabb.

Loginfalk gyakvázlat frissült

szabivan@inf.u-szeged.hu — 16 Mar 2011 13:25:00 +0100

Loginfalk gyakjegyzet frissült kicsit, purge cache, katt.

Rezolúciós szöszmösz tavalyról (?)

szabivan@inf.u-szeged.hu — 9 Mar 2011 14:45:00 +0100

Tettem fel tavalyi (?) rezolúciós feladatmegoldót, katt.
Doksi nincs hozzá, nem is rajzoltam UML-t, helyette egy beszédes screenshot:

Kiskérdések update

szabivan@inf.u-szeged.hu — 9 Mar 2011 14:20:00 +0100

Loginfalk kiskérdés-lista bővült. Purge cache, katt.

Logika picik

szabivan@inf.u-szeged.hu — 7 Mar 2011 19:05:00 +0100

Logika első kisdolgozatokról egy remek diagram:

Sapientia-ECN csapat programozási verseny májusban!

szabivan@inf.u-szeged.hu — 7 Mar 2011 13:50:00 +0100

Megismételve egy korábbi hírt:

Ismét lesz Sapientia-ECN programozási verseny Marosvásárhely szervezésében (ez szintén az ACM versenyekhez hasonló lebonyolítású és nehézségű verseny), 2011. május 14-én! A verseny weblapja itt, érdeklődők nekem küldjenek levelet.

Pici dolgozatok pici eredményei

szabivan@inf.u-szeged.hu — 4 Mar 2011 18:00:00 +0100

Dolgozatok eredményeit elvileg látjátok a coospace felületen. (Nem infosheet. coospace.)

Példatár update: pár megoldás

szabivan@inf.u-szeged.hu — 1 Mar 2011 10:55:00 +0100

Bővült a feladatsor néhány mintamegoldással az első két fejezethez, purge cache, katt.

Bónusztrekk

szabivan@inf.u-szeged.hu — 27 Feb 2011 21:55:00 +0100

Loginfalk gyakvázlat bővült a bónusztrekk eddigi anyagával.
Purge cache, katt.

3.5 update

szabivan@inf.u-szeged.hu — 27 Feb 2011 19:15:00 +0100

Bővült a feladatsor néhány mintamegoldással a 3.5-höz. 13-17. oldalak. Purge cache, katt.

3.5 update

szabivan@inf.u-szeged.hu — 27 Feb 2011 09:15:00 +0100

Mivel kértek páran további gyakorló feladatokat a 3.5-höz hasonló négypontoshoz, bővítettem rajta, most 17 ilyen feladat van benne. Cache ürítés után katt a letöltésre.

Számoljunk.

szabivan@inf.u-szeged.hu — 26 Feb 2011 09:00:00 +0100

Egy kredit def szerint átlagos képességű hallgatónak 30 tanulmányi munkaóra.
A logika a többségnek 4 kredites, ez összesen 120 óra.
Levonva az idei 11 előadást és 12 gyakorlatot, marad 120-2x11-12=86 óra.
A hat hetes (harminc munkanapos) vizsgaidőszakban a 30 kreditnyi kurzus vizsgáira való készülés kreditenként egy munkanap, azaz vizsgaidőszakban a vizsgára készülés: négy munkanap, 4x8=32 óra, levonva marad 86-32=54 óra.
Bizony, ez az az idő, amit a szorgalmi időszakban otthon készüléssel kellene tölteni, a 12 hétre vetítve 54/12=4.5 óra hetente. Az napi egy, kivéve péntek, mikor fél. Aki eddig tehát otthon nem csinált semmit, annak van 13.5 órányi lemaradása.

Ugye senki nem gondolta, hogy majd láblógatásra kap egy bsc diplomát?

Loginfalk gyakvázlat

szabivan@inf.u-szeged.hu — 25 Feb 2011 16:00:00 +0100

A loginfalk gyakvázlat utolérte a gyakorlatot, az eddig megtartott reguláris gyakorlatok anyaga benne van. Ha valaki hiányol valamit, szóljon ide.
update: tettem oda is linket a félkész gyakorló feladatsorra.

Loginfalk gyakvázlat

szabivan@inf.u-szeged.hu — 25 Feb 2011 09:55:00 +0100

A loginfalk gyakvázlat frissült kicsit, ma még fog tovább frissülni valamikor délután.

Loginfalk kiskérdések

szabivan@inf.u-szeged.hu — 25 Feb 2011 09:10:00 +0100

Logika kiskérdések listája az első kisdolgozatig bezárólag a letöltések között.
Jó étvágyat, kellemes hétvégét.

Loginfalk gyakvázlat

szabivan@inf.u-szeged.hu — 14 Feb 2011 21:45:00 +0100

A loginfalk gyakvázlat frissült a bónusztrekk anyagával.
Az acm specihez ma inkább nem csinálok vázlatot, de lesz az is.

Közérdekű

szabivan@inf.u-szeged.hu — 14 Feb 2011 20:45:00 +0100

Holnap, február 15-én egész délután (egytől hatig) lehet vért adni a TIK-ben. Lásd pl. itt.

Loginfalk gyakvázlat

szabivan@inf.u-szeged.hu — 13 Feb 2011 12:40:00 +0100

Loginfalk gyakvázlat a letöltések közt.
Lesz ilyen a kiemelt trackhez és az acm specihez is.

Loginfalk feladatok

szabivan@inf.u-szeged.hu — 12 Feb 2011 16:00:00 +0100

Egyébként készülget egy gyakorló feladatsor logikához, még egyáltalán nincs kész, de aki kíváncsi, nézzen rá itt.

Loginfalk: kész

szabivan@inf.u-szeged.hu — 10 Feb 2011 11:30:00 +0100

Nos. Elvileg mindenki, aki jelzett, ahogy kértük, felkerült az e-1 előadásra és egy reguláris gyakorlatra.
(Kivéve persze az elsőéveseket, akiket nem engedtünk be.)
Innentől már csak kurzuslap van. Maximum. Az is csak a g-23-ra és az e-1-re.

Loginfalk felvétel

szabivan@inf.u-szeged.hu — 8 Feb 2011 22:15:00 +0100

Nos, még mindig vannak kb tizen, akiknek nem sikerült bekerülni a rendszerbe. Mindenkinek, akinek engedélyeztük már a tárgyelvételt, azt javaslom, hogy nézzen be a g-23 kódú gyakorlatra a héten, hogy ne maradjon le az anyaggal. Amint kiderül, hogy így a kurzusfelvételi időszak után hogy tudunk felvenni Titeket a kurzusra, jelentkezem levélben, remélhetőleg még a héten.
Biztos vagyok benne, hogy megoldjuk valahogy.

Idei vizsgák

szabivan@inf.u-szeged.hu — 8 Feb 2011 15:15:00 +0100

Bonyelm végleges diagramok:

A bal oldalin aki többször jött, többször is szerepel, a jobb oldalin mindenkinek a legjobb megszerzett jegye van.

Szakik

szabivan@inf.u-szeged.hu — 7 Feb 2011 11:00:00 +0100

A trafót cserélő közbeszerzéses szakemberek ügyesen elfúrták a Bolyai épület fővezetékét. Most nincs áram az egész házban, sem pár szomszéd épületben.
Reméljük, lesz. Addig nem tudunk felvenni senkit se előadásra, se gyakorlatra, amíg a tanszéki adminisztrátornál nincs áram... türelem.

Okoskáim!

szabivan@inf.u-szeged.hu — 4 Feb 2011 09:40:00 +0100

Okoskáim! Aki nem tehetséggondozós, az adja már le az e-2 előadást logikából! Amíg nem teszitek, nem tudunk felvenni az e-1-re!

Logika döntés

szabivan@inf.u-szeged.hu — 3 Feb 2011 15:15:00 +0100

Mindenki figyelmébe, akit érint.
Tehát: akiknek ((sikerült gyakorlatot (nem g-1) VAGY előadást (nem e-2) felvennie) VAGY (jelezte nekem levélben, hogy egyiket se sikerült)) és (nem elsőéves), azoknak biztosítunk helyet az e-1-en és vagy valamelyik meghirdetett gyakorlaton (ahonnan felszabadul azoknak az elsőéveseknek a helye, akik nem jutottak be előadásra), vagy egy újonnan meghirdetett gyakorlatra.
Kézzel, egyesével fogjuk felrakni a hallgatókat a helyekre, ETR-ben "le kell majd okéznotok", hogy beleegyeztek abba, hogy rárakunk Titeket a listákra.
A tegnapi névsorok megvannak. Aki ezután adja le a gyakorlatát, azt egyértelműen üzletelésnek minősítjük és nem vesszük vissza.

Csereberék

szabivan@inf.u-szeged.hu — 1 Feb 2011 09:25:00 +0100

Elhiszem, hogy ilyenkor megy a gyakorlatok cserélgetése, de azt javasolnám mindenkinek, hogy mielőtt csere céljából leadná bármelyik gyakorlatot, fontolja meg, hogy egy hordányi olyan elsőéves tűnik ácsingózni a korlátos sok gyakhelyre, akik képtelenek voltak elvégezni a progalapot, kalkulust és architektúrát, és ahelyett, hogy elgondolkodnának a pályaalkalmasságukon, inkább fel akarják venni a logikát is valami kifacsart gondolkodásmóddal. (Logikának nem nevezném.) Gyorsan beszöknek a megürülő helyekre. Nincs jobb dolguk, úgy látszik.

Akik küldtek eddig adatokat, ahogy kértem, azoknak ismét köszönöm; a hét folyamán fogok jelentkezni.

Szokásos

szabivan@inf.u-szeged.hu — 31 Jan 2011 07:30:00 +0100

Ismét azt kérném, hogy akinek még mindig nincs helye loginfalk előadáson vagy gyakorlaton, írjon nekem e-mailt, benne nevével, EHA kódjával, szakkal, évfolyammal és hogy hanyadjára venné fel a tárgyat. (Az se baj, ha köszön is.)
Egyelőre csak adatokat gyűjtök, döntés a hét második felénél hamarabb nem várható.
Az elsősök meg tényleg gondolkodjanak el már rajta, hogy mások elől veszik el a helyet.

Mai vizsgák

szabivan@inf.u-szeged.hu — 28 Jan 2011 16:25:00 +0100

A mai bonyelm tételek megint sokan voltak, az alapjai tételek pedig a hatványhalmaz automata és a rekurzív nyelvek.

Bonyelm aktuális diagramok:

A bal oldalin aki többször jött, többször is szerepel, a jobb oldalin mindenkinek a legjobb megszerzett jegye van.

Gyakhelyek

szabivan@inf.u-szeged.hu — 27 Jan 2011 13:15:00 +0100

Ismét azt kérném, hogy akinek még mindig nincs helye loginfalk előadáson vagy gyakorlaton, írjon nekem e-mailt.
Egyébként van egy új gyakorlat, Lévai Balázsnál, kedden egytől.

Gyakhelyek reloaded

szabivan@inf.u-szeged.hu — 26 Jan 2011 14:20:00 +0100

Loginfalk gyakorlatok: 25 fősre bővülnek.
Most.

Gyakhelyek

szabivan@inf.u-szeged.hu — 24 Jan 2011 17:20:00 +0100

Jut eszembe, perpill 380 hely van nyitva reguláris gyakorlatra (a g-2 és g-20 köztiekről beszélek), és 300-an vették fel az előadást.
Ha a holnapi nyitáskor valakinek nem jut gyakhely, mert betelt mind, dobjon rám egy mailt, thx
Update: persze ha valakinek már előadáshely se jut, az is dropjon mailt, thx

Loginfalk ütemterv

szabivan@inf.u-szeged.hu — 24 Jan 2011 16:20:00 +0100

Századik post!
Formálódik a féléves ütemterv, van rá menüpont is.
Még nem biztos, hogy végleges.

Tehetséggondozó kurzus

szabivan@inf.u-szeged.hu — 21 Jan 2011 17:40:00 +0100

Tehát.
Van a tehetséggondozó programunk, aminek keretében indul a logika kurzusnak is egy kiemelt trackje.
Akik benne vannak a programban és fel is vennék a kiemelt logikát, azoknak az IB604E-2, IB604g-1 és az IBT604E-1 kódokat kell felvenniük, mindhármat.
Aki meg nem ilyet akar, az vegye fel az IB604E-1-et és akármelyik IB604g-x-et, csak NE az 1-est.
Aki nincs rajta a tehetséggondozós listán, nem fogjuk konfirmálni, ha ennek ellenére felveszi a TG-s gyakot és akkor ott marad gyak nélkül.

Szerintem ezt nem kéne olyan nehéz legyen megérteni..

Mai vizsgák

szabivan@inf.u-szeged.hu — 21 Jan 2011 17:30:00 +0100

A mai bonyelm tételek megint sokan voltak, az alapjai tételek pedig a Chomsky normálforma és a megállási probléma.

Bonyelm aktuális diagramok:

A bal oldalin aki többször jött, többször is szerepel, a jobb oldalin mindenkinek a legjobb megszerzett jegye van.

Elsősök!

szabivan@inf.u-szeged.hu — 20 Jan 2011 10:00:00 +0100

Szeretnék szólni azokhoz az elsőévesekhez, akik azon méláznak, hogy felvegyék-e a logikát, mert nem csináltak meg mindent az első félévben:
NE.

Csak jelezém, miért. Tavaly 81 "hivatalosan" elsőéves vette fel a tárgyat, közülük nyolc teljesítette, akik közül négyen "valójában" nem is voltak elsősök (újrafelvétel, másik szak mellé, ilyenek).

Ahogy a dolgok most állnak, könnyen lehet, hogy aki nincs benne a legjobb 5%-ban, az egy lehetőséget lő el a KETTŐBŐL.
én szóltam.

Naptár

szabivan@inf.u-szeged.hu — 18 Jan 2011 13:37:00 +0100

Frissült a naptár.

Kurzusreklám

szabivan@inf.u-szeged.hu — 17 Jan 2011 15:15:00 +0100

Két kurzusra (konfirmálós speckollok) hívnám fel az érdeklődők figyelmét:

ACM feladatok megoldása, I000PTMe01-1.
A kurzuson az ACM programozói versenyen előforduló típusfeladatokat oldunk meg. A teljesítés feltétele néhány ilyen feladat önálló, otthoni megoldása lesz.
Figyelem, ezek a feladatok (valószínűleg) nehezebbek, mint egy algoritmus kötelező program, és csak tökéletes megoldás ér pontot, minden más nullát.
de aki programozónak érzi magát és/vagy indulni akar a versenyen, ennél lejjebb nem is szabad adnia :-)
Hétfőnként lesz, négytől hatig.
Számítástudomány szeminárium, I000PTMe53-1.
A félév során minden héten valaki tart előadást a számítástudomány azon részeiből, melyeket az egyetemi kurzusok nem fednek le.
A kreditszerzés feltétele egy (angol nyelvű) cikk feldolgozása és előadása a szemináriumon a félév vége felé. (A feldolgozásban persze segítünk.)
Figyelem, matematikai érdeklődés szükséges.
Korábbi féléves szemináriumi programok: itt, itt, itt.
Szerdánként lesz, tíztől délig.

Kérdésekkel hozzám, bátran. Kérem terjeszteni.

Mai vizsgák

szabivan@inf.u-szeged.hu — 14 Jan 2011 15:20:00 +0100

A mai bonyelm tételek az egyestől a harmincnégyesig mind voltak (azt hiszem, megint), az alapjai tételek pedig a véges nemdeterminisztikus automaták és a megállási probléma.

Bonyelm aktuális diagramok:

A bal oldalin aki többször jött, többször is szerepel, a jobb oldalin mindenkinek a legjobb megszerzett jegye van.

Bonyelm update

szabivan@inf.u-szeged.hu — 12 Jan 2011 16:20:00 +0100

Javítottam pár elgépelést a bonyelm fóliákon, friss változat fent nálam. Csinálok mindjárt changelogot is.

update: van changelog is a letöltéseknél.

Mai vizsgák

szabivan@inf.u-szeged.hu — 7 Jan 2011 14:25:00 +0100

A mai bonyelm tételek az egyestől a harmincnégyesig mind voltak (azt hiszem), az alapjai tételek pedig a környezetfüggetlen nyelvek pumpáló lemmája és a determinisztikus Turing-gépek.

Bonyelm aktuális diagramok:

A bal oldalin aki többször jött, többször is szerepel, a jobb oldalin mindenkinek a legjobb megszerzett jegye van.

Mai vizsgák

szabivan@inf.u-szeged.hu — 30 Dec 2010 12:05:00 +0100

A mai bonyelm tételek a Savitch tétel és az NP-teljes gráfelméleti problémák voltak, az alapjai tételek pedig a Chomsky-normálforma és a független csúcshalmaz - teljesrészgráf problémák NP-teljessége.

Bonyelm aktuális diagram, aki többször jött, többször is szerepel:

Bonyelm vizsgák eddig

szabivan@inf.u-szeged.hu — 28 Dec 2010 10:25:00 +0100

Semmitmondó diagram az eddigi 14 vizsgaeseményről bonyelmből.
Zöld még nincs.

Mai vizsgák

szabivan@inf.u-szeged.hu — 23 Dec 2010 14:05:00 +0100

Krónikus statgyűjtőknek: a mai bonyelm tételek a Savitch tétel és a SAT variánsai voltak, az alapjai tétel pedig a reguláris kifejezések és a SAT, Cook tétel, 3SAT NP-teljessége.

Bonyelm gyakorlati számok, megint

szabivan@inf.u-szeged.hu — 22 Dec 2010 16:40:00 +0100

Update: 108/120. Sürgős állásfoglalást kérek a TO-tól, ennek így nincs értelme.
mindenesetre a nevek megvannak

Bonyelm gyakorlati számok, megint

szabivan@inf.u-szeged.hu — 20 Dec 2010 13:25:00 +0100

Pontosítanom kell, két (magát gondolom szerfelett trükkösnek gondoló) versenyző miatt, akik még menet közben kiestek és valahogy elérték a kurzus félév közbeni leadását.

Kurzust felvette: 121 fő
Vizsgára jogosult: 108 fő

Nekik sikeres vizsgaidőszakot, a többieknek jövőre több sikert kívánok.

Bonyelm gyakorlati számok

szabivan@inf.u-szeged.hu — 18 Dec 2010 13:20:00 +0100

Kurzust felvette: 121 fő
Vizsgára jogosult: 106 fő

Nekik sikeres vizsgaidőszakot, a többieknek jövőre több sikert kívánok.

Javító kilenckor!

szabivan@inf.u-szeged.hu — 12 Dec 2010 17:55:00 +0100

Egy: ugye minden érintett tudja, hogy javító holnap 9-10 közt a 221-ben?
Kettő: ugye a többiek tudják, hogy gyakorlat nem lesz?
Három: itt egy kép a gyakorlati teljesítésekről, kommentáltam:

Bonyelm tételsor

szabivan@inf.u-szeged.hu — 12 Dec 2010 13:25:00 +0100

Idei nappalis bonyelm tételsor fent.
A holnapi előadásig béta változatként tessék kezelni.

Áfonya gyakjegyzetek

szabivan@inf.u-szeged.hu — 9 Dec 2010 08:15:00 +0100

Nem tudom, érint-e ez valakit, de most valaki volt olyan kedves és emlékeztetett rá, hogy még 2003-ban csináltam gyakjegyzetet áfonyából.
Tényleg így volt, úgyhogy fel is raktam. Katt, alul lesz.
Tudom, doc, bocs, majd ha lesz időm, megcsinálom latexben, fiatal voltam még.
ja és persze lehet, hogy azóta megváltozott az anyag, fogalmam sincs.

PhD hallgatói státusz az éghajlattanon

szabivan@inf.u-szeged.hu — 8 Dec 2010 11:55:00 +0100

Végzős MSc-sek és osztatlan képzettek:

Lehet jelentkezni PhD-snek az éghajlattan tanszékre is informatikusként.

Feladat: légszennyező anyagok transzportjának, koncentrációjnak modellezése.
Kéne hozzá: adatbázis, spss, excel, matlab, c/c++/java ismerete.

További infó, kontakt itt.

Bonyelm update

szabivan@inf.u-szeged.hu — 30 Nov 2010 14:55:00 +0100

Ha valaki még nem vette észre: van fent minta ZH a gyakorlati csoportjaimnak.
Ugyanott arra egy visszavezetés, hogy minden hálózat monotonná tehető, valamint a QSAT PSPACE-teljességének bizonyításában szereplő alapformula kirészletezve.

Bonyelm fóliák

szabivan@inf.u-szeged.hu — 29 Nov 2010 00:05:00 +0100

Jut eszembe...
Frissültek, 172 fóliásra.

CERC 2010 reloaded

szabivan@inf.u-szeged.hu — 25 Nov 2010 21:05:00 +0100

A hétvégi ACM regdöntő feladatait egy online versenyen is bevetik a szervezők!
Ha valaki szeretné saját magát vagy akár csapattal kipróbálni, hogy mire jutott volna, itt regeljen be; a verseny most szombaton 15:00 és 20:00 közt lesz (sorry, most tudtam csak meg.)
sok sikert mindenkinek :-) díjazás most nincs, ez egy justforfun verseny.

Fogadóóra elmarad

szabivan@inf.u-szeged.hu — 18 Nov 2010 16:25:00 +0100

A holnapi fogadóórám elmarad.

Sapientia-ECN csapat programozási verseny májusban!

szabivan@inf.u-szeged.hu — 16 Nov 2010 15:25:00 +0100

Ismét lesz Sapientia-ECN programozási verseny Marosvásárhely szervezésében (ez szintén az ACM versenyekhez hasonló lebonyolítású és nehézségű verseny), 2011. május 14-én! A verseny weblapja itt, érdeklődők nekem küldjenek levelet.

Bonyelm: hármasítás példa

szabivan@inf.u-szeged.hu — 15 Nov 2010 19:45:00 +0100

Ehun-e.

Bonyelm fóliák

szabivan@inf.u-szeged.hu — 14 Nov 2010 23:25:00 +0100

Frissültek, 139 fóliásra.

Bonyelm fóliák

szabivan@inf.u-szeged.hu — 07 Nov 2010 20:05:00 +0100

Frissültek, 123 fóliásra.

YAPC, megint

szabivan@inf.u-szeged.hu — 25 Oct 2010 14:25:00 +0200

Itt a versenykiírás.

Alapjai feladatsor

szabivan@inf.u-szeged.hu — 25 Oct 2010 19:10:00 +0200

Friss változat itt.

YAPC

szabivan@inf.u-szeged.hu — 25 Oct 2010 14:25:00 +0200

...avagy Yet Another Programming Contest :-)
(nehogy azt higgye valaki, hogy a november verseny nélkül telik :-))
A BME szervezésében lesz ismét egy ACM stílusú programozói verseny, háromfős csapatok részére, ötórás, pontosan olyan, mint a szeptemberi házi csapatversenyünk volt.
Koordináták:
November 7, vasárnap (a nagy októberi szocialista forradalom napján) 10:00-15:00 közt, az Irinyiben.
Megelőzi egy gyakorló session 9:00-10:00 közt, ami arra hivatott, hogy a csapatok megismerkedjenek a rendszerrel, ami egyébként a spanyol szerver lesz: itt.
Jelentkezni nálam lehet, drótlevélben!

ITech Challenge 2010

szabivan@inf.u-szeged.hu — 25 Oct 2010 08:40:00 +0200

Kb öt perce kaptam egy levelet, hogy terjesszem az IT Challange 2010 hírét, bemásolom a releváns részeket változtatás nélkül:

Immáron 5. alkalommal megrendezésre kerül az Itech Challenge 2010 üzleti szimulációs tanulmányi verseny. Olyan hallgatókat várunk, akik az informatika vagy a műszaki tudományok iránt érdeklődnek, és szívesen kipróbálnák magukat egy országos megmérettetésen. A jelentkező csapatok egy virtuális vállalat, idén egy szoftverfejlesztő cég irányítását veszik kezükbe. A versengő vállalatok működését üzleti szimulációs szoftver modellezi. A hallgatók éves stratégiai döntéseket hoznak, és ízelítőt kapnak a tudásmenedzsment és a green IT témaköréből is. További információk a versenyről: www.diakverseny.hu

Bonyelm előadás elmarad

szabivan@inf.u-szeged.hu — 17 Oct 2010 15:30:00 +0200

A holnapi bonyelm előadás elmarad.

Bogyókák

szabivan@inf.u-szeged.hu — 12 Oct 2010 18:20:00 +0200

Dolgozatsorok

szabivan@inf.u-szeged.hu — 12 Oct 2010 17:40:00 +0200

Felraktam a bonyelm első dolgozatokat ide.

A programozó csapatverseny feladatai

szabivan@inf.u-szeged.hu — 9 Oct 2010 10:20:00 +0200

A programozói csapatversenyen pénteken feladott feladatok megszemlélhetők itt, most már versenyen kívül, de lehet velük próbálkozni. Akik megoldották valamelyik feladatot, kíváncsi vagyok, hogy hogyan tették (csak a megoldások idő- és tárigényét látom, az pedig elég változatos).

Minden résztvevőnek nagyon köszönöm, hogy eljött, remélem mindenki jól érezte magát közben :-)

Bonyelm

szabivan@inf.u-szeged.hu — 6 Oct 2010 13:00:00 +0200

Frissítettem a gyakvázlatot.

Hasonlítgatások

szabivan@inf.u-szeged.hu — 5 Oct 2010 10:00:00 +0200

Testvéreim az Úrban, ha azzal zaklatjátok a kollegáimat, hogy „de az Iván Szabolcsnál így meg úgy van, és az mennyivel könnyebb már”, azzal leginkább azt fogjátok elérni, hogy nálam se így meg úgy lesz...
aminek nem örülnék.

Savitch, Immerman-Szelepcsényi

szabivan@inf.u-szeged.hu — 4 Oct 2010 18:30:00 +0200

Feltettem a mai előadáson szereplő két algoritmus pszeudokódját a letöltések közé. Jó bogarászást :-)

Szellemek

szabivan@inf.u-szeged.hu — 4 Oct 2010 11:50:00 +0200

Meg kell említsem, nem örülök a nagyszámú "beteg"nek.
Ők se fognak nekem.
1:50-2:10

Csapatverseny, hé!

szabivan@inf.u-szeged.hu — 3 Oct 2010 12:35:00 +0200

Még mindig lehet jelentkezni a pénteki (október 8) programozói csapatversenyre (a felhívást lásd itt)! Jelentkezhetnek kétfős csapatok is, ahol nem jön össze három ember, megoldjuk.

Dékáni szünet novemberben

szabivan@inf.u-szeged.hu — 30 Sep 2010 16:55:00 +0200

Csak gondoltam, szólok, hogy 2010. november 18-án csütörtök dékáni szünet lesz délután egytől.

hátha érdekel valakit.

Heti fogadóóra elmarad

szabivan@inf.u-szeged.hu — 29 Sep 2010 09:25:00 +0200

A héten nem tudom megtartani a fogadóórámat, máshol kell legyek, elmarad. Emailben és a fórumon a szokásos módon elérhető vagyok.

Bonyelm fóliák

szabivan@inf.u-szeged.hu — 26 Sep 2010 17:45:00 +0200

Frissültek, 80 fóliásra.

Az egyéni verseny feladatai

szabivan@inf.u-szeged.hu — 26 Sep 2010 09:35:00 +0200

Az egyéni programozói versenyen pénteken feladott feladatok megszemlélhetők itt, most már versenyen kívül, de lehet velük próbálkozni.

Minden résztvevőnek köszönöm, hogy eljött!

Félünk?

szabivan@inf.u-szeged.hu — 23 Sep 2010 19:50:00 +0200

Megijedtünk, kollegák? Vagy csak a versenyszellem veszett ki?

A holnapi egyéni programozói versenyre (ld lentebb) még egy csomó ember beférne...

Aki holnap megjelenik tízre a Kabinetnél azzal, hogy versenyezne, elindulhat. Email nem kell.

én szóltam

Bonyelm fóliák

szabivan@inf.u-szeged.hu — 19 Sep 2010 12:55:00 +0200

Frissültek, 63 fóliásra.

Felhívások az őszi programozási versenyekre

szabivan@inf.u-szeged.hu — 14 Sep 2010 23:20:00 +0200

Itt az egyéni versenyfelhívás (pdf)
Itt a csapat versenyfelhívás (pdf)

Bonyelm fóliák

szabivan@inf.u-szeged.hu — 13 Sep 2010 17:45:00 +0200

Itt.

ACM programozási verseny ősszel!

szabivan@inf.u-szeged.hu — 8 Sep 2010 21:25:00 +0200

Az őszi félévben lebonyolítunk két programozói versenyt:

először egy egyéni fordulót, ennek időpontja 2010. szeptember 24, 10-15 óra közt;
majd egy csapatfordulót 3 fős csapatoknak, ennek időpontja 2010. október 8, 10-15 óra közt.

Helyileg mindkét forduló az Irinyiben lesz.
A két forduló teljesen független, a csapatversenyben első két helyezett csapatot delegálja az SZTE az ACM ICPC programozási verseny közép-európai döntőjébe, Wroclawba, ez 2010. november 19-21 közt lesz.

(Az onnan is továbbjutó csapatok világdöntője egyébként Sharm el-Sheikhben lesz 2011. március elején.)

A két szegedi forduló lebonyolítása a wroclawi forduló szabályai szerint zajlik le; gyakorlás céljából az UVA Online Judge szerverén lévő feladatok megoldása és beküldése javasolt.

Amint további infó elérhető, közzéteszem. Kérem terjeszteni :-)

Bonyelm föladatsor minor update

szabivan@inf.u-szeged.hu — 6 Sep 2010 21:25:00 +0200

Bonyelm föladatsor első fejezetében javítottam egy elgépelést és adtam egy plusz tippet. Cache ürítés után lehet újratölteni.

Körlevél az IBM programozó bajnokságról

szabivan@inf.u-szeged.hu — 6 Sep 2010 18:25:00 +0200

Körlevél:

IBM 48 órás programozó bajnokság 2010
Nevezés szeptember 6-tól!

2010. szeptember 6-tól október 3-ig tart a nevezési időszak az IBM 48 órás programozó bajnokságra. A nevezési és regisztrációs oldalra a hallgatók a www.programozobajnoksag.com weboldalon elrejtett információk alapján juthatnak el. A leleményesség és a gyorsaság fontos, hiszen az elsőként benevező 20 csapat vehet majd részt a megmérettetésen. A további jelentkezők várólistára kerülnek. A versenyen 3 fős csapatok szállhatnak ringbe. A további feltételek megtalálhatóak a honlapon.

A bajnokságra 2010. november 5-7. között kerül sor a Pannon Egyetem Műszaki Informatikai Karán, Veszprémben. A legjobbak Lenovo laptopokat, Nokia mobiltelefonokat és iPodokat nyerhetnek, valamint egy csapat a salzburgi Eisarena lelátójáról szurkolhat majd a Red Bull Salzburg egyik jégkorong mérkőzésén. A verseny weboldalán - a regisztráció után - a felkészülők szoftvereket, háttéranyagokat tölthetnek le, a fórumban chatelhetnek ill. hírlevélben is értesülhetnek a bajnoksággal kapcsolatos legfrissebb információkról.

További információk: Kovács Szilvia mail: szkovacs (kukac) hu.ibm.com, tel: 06 20 823 5857. web: www.programozobajnoksag.com

Körlevél az Irinyi kabinetről

szabivan@inf.u-szeged.hu — 4 Sep 2010 16:25:00 +0200

A következő körlevelet kaptam augusztus 31-i dátummal:

Szeptember első heteiben az Irinyi Kabinet időben és térben, részlegesen vagy teljes egészében építési terület lesz. Ennek következménye, hogy a szeptember 6-án kezdődő héten a számítógépes laborok zárva lesznek, tehát az első heti laborgyakorlatok elmaradnak. A 218, 219, 221-es előadótermek üzemelni fognak, megközelítésük várhatóan a III.-as lépcsőházból lesz. Ha nem így lenne, akkor ezt ki fogjuk plakátolni.

Szakdolgozatkészítés kurzusok

szabivan@inf.u-szeged.hu — 4 Sep 2010 16:25:00 +0200

Aki úgy veszi fel a nálam meghirdetett Szakdolgozatkészítés I. kurzust, hogy sose egyeztetett velem előtte erről, az melyik bolygóról szabadult? :S
javaslom leadni, úgyse írom alá...

Formális nyelvek nélkül NINCS bonyelm

szabivan@inf.u-szeged.hu — 2 Sep 2010 8:45:00 +0200

Most kaptam a tizedik hallgatótól olyan levelet, miszerint a Tanulmányi Osztály azt mondta, hogy ha a bonyelm előadó hozzájárul, akkor fel lehet venni a bonyelmet formális nyelvek teljesítése nélkül.

NEM járulok hozzá senkinek, semmilyen indokkal. Több levelet nem kérek a témában.

ACM helyi egyéni ÉS csapatverseny: ősszel!

szabivan@inf.u-szeged.hu — 31 Aug 2010 9:00:00 +0200

A korábbiaktól eltérően idén az ACM ICPC programozói verseny helyi lebonyolítása két részben történik:

először lesz egy egyéni verseny;
ezt követően lesz egy csapatverseny háromfős csapatoknak.

Az egyéni versenyen való részvétel nem feltétele a csapatversenyen való részvételnek, csak annyi a célja, hogy ha valakiknek nincs még csapatuk, egymásra találhassanak.
A csapatversenyen első két helyezett csapat mehet tovább a közép-európai döntőbe, Wroclawba. Onnan a legjobb csapatok a világdöntőbe jutnak, ami 2011 tavaszán lesz Sharm el-Sheikhben.
Pontos dátumokkal pár napon belül jelentkezem megint.

ETR-beli órákkal óvatosan

szabivan@inf.u-szeged.hu — 26 Jul 2010 11:20:00 +0200

na, valaki megint hibázhatott.. ha az ETR-ben már tényleg láttok órákat, kiindulásnak jó lehet, de ilyenkor még semmi nem végleges teljesen, különös tekintettel az órák oktatóira, nevére, helyére és időpontjára...
sose szokott nyitva lenni ilyenkor, amíg még formálódik, nem is értem, mi ez most

UVa feladatmegoldó

szabivan@inf.u-szeged.hu — 5 Jul 2010 16:35:00 +0200

Kísérleti jelleggel beindítottam a fórumon egy feladatmegoldó topicot, elsősorban azok számára, akik szeretnének elindulni az őszi félévben esedékes ACM programozási csapatversenyen.
Bővebben lásd ott az announcementet.

Aláírások ETR-ben

szabivan@inf.u-szeged.hu — 30 Jun 2010 17:25:00 +0200

Beírtam ETR-be a gyakorlati teljesítéseket. Ha valakinek nem konzisztens az előadással, szóljon mindenképp.

Vizsgahelyek

szabivan@inf.u-szeged.hu — 23 Jun 2010 19:45:00 +0200

...ha valaki még nem tudná, bővítettük az UV heti időpontokat. Elvileg most már mindenkinek van hely, ha mégsem, kérek levelet.

IBM 48 órás programozó bajnokság 2010: novemberben!

szabivan@inf.u-szeged.hu — 12 Jun 2010 12:35:00 +0200

A 2010-es IBM 48 órás programozó bajnokságra már lehet regisztrálni (regisztrálás nem egyenlő nevezés).
A felhívás szövege:

Szeretsz fejleszteni? Szereted a rejtvényeket ... és nyerni?
A weboldalon ismét egy feladat vár: www.programozobajnoksag.com.
Találd meg a regisztrációhoz vehető utat és rajta!

Várunk rád - ne maradj ki!

gondolom a "vehető" valójában "vezető" akart lenni, de lehet, hogy egy Nyom, inkább nem nyúlok bele :-)

Gyakorlat nélkül....

szabivan@inf.u-szeged.hu — 27 May 2010 13:15:00 +0200

Lett pár hely némelyik korábban betelt vizsgaalkalmon, ahonnan eltávolíttattuk a gyakorlati teljesítés nélkül bejelentkezett hallgatókat.
Egyúttal NAB****.SZE felé az lenne az észrevételem, hogy nem nagyon díjazom, hogy az egy héttel ezelőtti kérésemnek szögesen nekimenve tegnapelőtt felvett vizsgaidőpontot gyak nélkül.

Utolsó szépenkérés

szabivan@inf.u-szeged.hu — 21 May 2010 14:30:00 +0200

Utoljára kérem szépen, hogy akinek nem sikerült a gyakorlata, ne fogja el a többiek elől a vizsgahelyeket.
Tehát kedves GRB****.SZE, PLG****.SZE, SIA****.SZE, ~~MEG*AAT.SZE, -- kösz szépen~~ legyetek szívesek együttműködni. ETR, lejelentkezés, katt, jövőre lehet jönni megint.
Ha valamelyikőtök úgy tudja, hogy sikerült a gyakorlata, vegye fel a kapcsolatot a gyakorlatvezetőjével. Mihamarabb.

Előre is kösz.

Vizsga infó cont.

szabivan@inf.u-szeged.hu — 17 May 2010 11:35:00 +0200

Ezen felül még...

tételkihirdetés / osztás után nincs tovább beülés
másik tétel leírárása nyilván nullapont
nem, menet közben nem válaszolunk olyan kérdésre, hogy megvan-e már a 9 pont
a tételek sorszáma és a diaszámok nem tartoznak a tétel címéhez

Vizsga infó

szabivan@inf.u-szeged.hu — 10 May 2010 18:25:00 +0200

Vegyük át tehát a lényeget még egyszer:

a vizsgák 70 percesek
az ide ~~hamarosan felkerülő~~ felkerült tételsorból (kétoldalas!) lesz választva időpontonként kettő tétel
ezeket esszészerűen tessék kidolgozni, a jelzett diaszámokon van a tételek váza
fényképes azonosító legyen mindenkinél
telefonokat kikapcsolt állapotban mindenkitől kérni fogjuk, hogy rakja maga elé jól látható helyre
ha valakit csaláson érünk, a további vizsgaidőpontokban szóban is vizsgázik
tételenként 30-30 az elérhető pontszám, ebből 9-9-et el kell érni az elégséges vagy még jobb jegyért
bárkinek technikai vagy egyéb kérdése van, nekem jelezze emailben

Mindenkinek sikeres felkészülést és kellemes nyarat kívánok!

ZH, jav ZH

szabivan@inf.u-szeged.hu — 9 May 2010 22:30:00 +0200

Ha valaki még nem jött rá az előző postból, és/vagy (ez ám a logikai konnektíva) nem olvas fórumot: elvileg a dolgozatok eredményei infosheeten, két javító időpont lesz, a szerda 15-16 és a csütörtök 11-12, mindkettő az Irinyi 214-ben van, lehet jönni akármelyikre.

Számok képekben

szabivan@inf.u-szeged.hu — 6 May 2010 21:30:00 +0200

Itt jön, ami még nem volt: kép a gyakorlati teljesítésekről!
Legend: mindenkinek megfeleltettem egy bogyót, akinek megvan a gyakorlata, az a bal oldali nagy táblázatban kapott helyet, oszlopban az első, sorban a második ZH eredménye, cellában hogy mennyien vagytok ennyivel; akinek nem sikerült (még?) a gyakorlat, annak a bogyója a jobb oldali kicsit nagyobb boxban pihen.

Turing-gép

szabivan@inf.u-szeged.hu — 4 May 2010 21:50:00 +0200

Kérdés? :-)

Fénykép, csomag...

szabivan@inf.u-szeged.hu — 3 May 2010 10:05:00 +0200

Nyomatékosan megkérnék mindenkit, akinek már biztosan nem sikerült a gyakorlata logikából (pl bebukta az első dolgozatot és annak javítóját is), hogy ne vegyen fel vizsgaidőpontot se.
Az együttműködést előre is kösz.
Aki nem működik együtt, azt megjegyzem jövőre.
...én szóltam

Sportnap, katalógus

szabivan@inf.u-szeged.hu — 29 Apr 2010 12:40:00 +0200

A héten nem volt katalógus. Ugyan csak ma reggel 8:47-kor kaptam hivatalos levelet, hogy sportnap van (thx to: HÖK, 27-én küldeni erről levelet a dékániba, hogy amúgy két nap múlva sportnap van, ráadásul egy héttel a dékáni szünetes délután után rakni, grats), de csináljunk úgy, mintha tudtam volna róla és mondjuk azt, hogy ezért nem volt, uff.

Szak- és diplomadolgozat témák

szabivan@inf.u-szeged.hu — 27 Apr 2010 09:15:00 +0200

Jut eszembe, ha valaki szeretne nálam szak- vagy diplomadolgozni, írjon levelet, egyeztetünk időpontot és keresünk egy témát, ennyi, a weben levő téma már nem választható.
(Praktikusan legkésőbb a dolgozat I-et megelőző félévben kéne ezt megejteni, azért szólok most.)
Logikás / automatás / bonyolultságos matekosos vonal mentén megegyezés alapján.
kéne valami "sticky"-szerű feature ebbe az RSS-be, hogy a Fontos Hírek maradjanak fönt. Vagy valami lejárati idő a postoknak. namindegy, majd egyszer.

Migrálás

szabivan@inf.u-szeged.hu — 23 Apr 2010 19:30:00 +0200

Alakítottam kicsit a weblapon. A fő struktúra (végre) table-less.
todo:

~~News blokk table nélkül legyen (OK)~~
Google Naptár legyen strict valid (az iframe kódban van pár invalid attribútum) (skip, marad iframe)

enh:

Nyelvválasztó feature igényesen megcsinálva (jó lesz ez is nemsoká)
Download könyvtár cleanup

Ha valakinek valami nem megy, pedig korábban ment, hallassa hangját!
~~IE7 és alatta: tudok róla, hogy a newsban kijön a vízszintes scrollbar (unintended), de mivel újrarakom, ez most így marad. használjatok addig krómot. (már nem)~~

Csütörtök figyelem!

szabivan@inf.u-szeged.hu — 15 Apr 2010 13:00:00 +0200

Na csak elfelejtettem kihirdetni...
Igen, lesz dékáni szünet jövő csütörtök, de csak 13:00-tól, szóval az én órámat nem érinti.
Tessék szépen bejönni.
btw különben is az infó tanszékcsoporton teljesen értelmetlen ez a szünet, ami a helyi TDK-k miatt van, mivelhogy az infón nem csütörtök van a TDK, hanem péntek...

Gyakvázlat

szabivan@inf.u-szeged.hu — 31 Mar 2010 16:30:00 +0200

Gyakvázlat befrissült.

Gyakvázlat

szabivan@inf.u-szeged.hu — 30 Mar 2010 10:25:00 +0200

Gyakvázlat befrissült.

Katalógus

szabivan@inf.u-szeged.hu — 25 Mar 2010 13:05 +0100

Hm, mivel a mai egyik gyakorlaton elfelejtettem katalógust íratni, és emiatt muszáj feltételeznem, hogy mindenki ott volt, ami a többi csoport hiányzóival szemben nem lenne fair, ezért a héten hivatalosan nem hiányzott senki.
persze ha valaki ír egy levelet, hogy márpedig ő hiányzott és írjam be neki, akkor beírom szívesen :-P

Javító

szabivan@inf.u-szeged.hu — 22 Mar 2010 18:05:00 +0100

A javító- és pótdolgozat Március 26-án, pénteken lesz, 10:00 és 11:00 közt, az Irinyi 105-ben.

Kivonás, osztás

szabivan@inf.u-szeged.hu — 11 Mar 2010 16:20:00 +0100

243-2=241, 21/241 = 8.7%.

Feladatsor

szabivan@inf.u-szeged.hu — 9 Mar 2010 11:50:00 +0100

Loginfalk feladatsor frissítve. Csak javítottam pár elgépelést és beleraktam pár új Hilbert-kalkulusos gyakorló feladatot.
azért azt kérném, hogy aki letükrözte valahova webre a megelőlegezett (khm) engedélyemmel, az is frissítse a saját (mondjuk scribd-n levő) változatát, előre is kösz

Kivonás, osztás

szabivan@inf.u-szeged.hu — 4 Mar 2010 12:25:00 +0100

244-1=243, 20/243 = 8.2%.
Volt négy vendégem is.

Gyakvázlat

szabivan@inf.u-szeged.hu — 3 Mar 2010 17:20:00 +0100

Gyakvázlat befrissült.

Osztás, gyakvázlat, program

szabivan@inf.u-szeged.hu — 25 Feb 2010 16:25:00 +0100

Az e heti felismerések: 250-6=244, 20/244 = 8.2%.
Továbbá: a gyakvázlat megint befrissült.
Letölthető a tavalyi rezolúciós példa- és megoldás-generáló program. Usage: java -jar Resolution.jar [cnf|form] [változószám], ha a form opció szerepel, akkor logikai következtetés lesz a feladat, különben egy formula-halmaz kielégíthetetlensége.

Gyakvázlat

szabivan@inf.u-szeged.hu — 19 Feb 2010 09:25:00 +0100

Gyakvázlat befrissült.

Egy osztás

szabivan@inf.u-szeged.hu — 18 Feb 2010 13:30:00 +0100

Tudtátok, hogy 29/250 = 11.6%?
csak úgy eszembe jutott

Manuál a katalógushoz

szabivan@inf.u-szeged.hu — 17 Feb 2010 16:65:00 +0100

Eljött ennek is az ideje... :-)
szóval, aki

nálam vette fel a gyakot másik időpontban, mint amin jelen van, az legyen szíves jelezni a listán, hogy ETR-ben amúgy hol van
többször is bejön gyakra, az írja fel magát mindre, amelyiken pedig többedjére van, legyen szíves jelezni, hogy "másodszor", "harmadszor", "tizedszer" etc
nem nálam vette fel a gyakorlatot (tehát egyfajta hobbiját éli ki azzal, hogy beül a gyakomra, gondolom bejár a saját gyakvezéhez is, és megírja ott a dolgozatokat, mert különben ugye nincs meg a félév), az is írja fel megát, és legyen szíves jelezni, hogy NINCS ETR-ben

más most nem jut eszembe, de ma ilyen esetekkel találkoztam, gondoltam teszek fel szabálykönyvet..

Bejárás

szabivan@inf.u-szeged.hu — 11 Feb 2010 17:35:00 +0100

A héten 27 fő nem jött el a 250-ből gyakorlatra.
Ez most még OK, emlékeztetőül: jövő héttől lesz jelenléti ív.
(késés ellen: aki a lista után jön, nem írja alá.)

Gyakvázlat

szabivan@inf.u-szeged.hu — 10 Feb 2010 17:05:00 +0100

Gyakvázlat befrissült.

Diszkrét könyv

szabivan@inf.u-szeged.hu — 8 Feb 2010 12:05:00 +0100

Szeretnék mindenkit emlékeztetni a kérésemre, hogy nézzük át az előfeltétel alapfogalmait: a diszkrét matematika könyv I. és XIV. fejezeteiben szereplő alapismeretek fontosak lesznek a gyakorlat követéséhez.
Pár apróság eltér, pl. kifejezés vs term.

Anyagforrás II.

szabivan@inf.u-szeged.hu — 5 Feb 2010 09:25:00 +0100

Németh Zoltán kollegám korábban már ajánlott weblapján kívül még további hasznos gyakorlati anyagok lelhetők Hajgató Tamás kollegám weblapján is a logika kurzushoz.

Elsősök

szabivan@inf.u-szeged.hu — 4 Feb 2010 16:45:00 +0100

Mivel a héten kb. hetven fő nem jelent meg a gyakorlatokon (ez nem optimális), aláhúznék valamit.
Tavaly a hatvan elsőévesből valóban voltak, akik elvégezték a logika kurzust.

Hárman.

Az idei kilencven elsősnek sok sikert!

Anyagforrás

szabivan@inf.u-szeged.hu — 4 Feb 2010 16:30:00 +0100

Ha valaki részletesebb gyakorlatvázlatot szeretne, mint amit feltettem, figyelmébe ajánlom pl. Németh Zoltán weblapját, az ő gyakorlatához készített gyakorlatjegyzete (bár nem feltétlenül haladunk ugyanabban a sorrendben) azok számára is hasznos lehet, akik hozzám járnak.

Gyakvázlat

szabivan@inf.u-szeged.hu — 3 Feb 2010 17:15:00 +0100

Felkerült a gyakvázlat a mai anyagról. Ez a file fog hízni a félév során.

Feladatsor

szabivan@inf.u-szeged.hu — 3 Feb 2010 16:05:00 +0100

Nem biztos, hogy elmondtam minden gyakorlaton: van egy feladatsor a letöltések közt, a dolgozatok jelentős része ezekből a feladatokból lesznek, javallott csinálgatni őket!

Naptár kész

szabivan@inf.u-szeged.hu — 2 Feb 2010 13:55:00 +0100

Naptár kész, aki akarja, nézegetheti is.

Szerda reggel

szabivan@inf.u-szeged.hu — 2 Feb 2010 10:35:00 +0100

Új gyakorlat: szerda 8:00 – 8:45.

Első gyakorlat

szabivan@inf.u-szeged.hu — 2 Feb 2010 10:05:00 +0100

Bizony, már a héten is megtartom a gyakorlatot!

Aláírások bent

szabivan@inf.u-szeged.hu — 1 Feb 2010 17:45:00 +0100

Tehát akkor még egyszer: bevittem az összes aláírást ETR-be. Ha valakinek nem jó bejegyzés szerepel, küldjön egy levelet.

Van RSS!

szabivan@inf.u-szeged.hu — 1 Feb 2010 17:40:00 +0100

Mostanra sikerült beizzítani az új featúrát: az RSS-t. Feed link:itt.