Horváth Eszter: Háló-indukált küszöbfüggvények és hálóértékű Boole-függvények |
|
|
|
Szerda, 19. Február 2014, 10:00 - 12:00
|
|
Az előadáson először szó lesz a klasszikus küszöbfüggvények néhány alapvető tulajdonságáról. Ezt követi a háló-indukált küszöbfüggvény definíciója, és annak bizonyítása, hogy a monoton növekvő háló-értékű Boole-függvények éppen a háló-indukált küszöbfüggvények. Szükséges és elegendő feltétel következik hálóértékű Boole-függvények lineáris kombinációval történő reprezentálhatóságára, valamint arra, hogy a Boole-háló rendezésideáljainak egy lezárási rendszere előálljon valamely lineáris kombináció alakban megadható hálóértékű Boole-függvény függvény vágásaiként. Mindezek következménye egy szükséges és elegendő feltétel arra, hogy monoton növekvő hálóértékű Boole-függvényhez olyan lineáris kombinációval megadható hálóértékű Boole-függvény létezzen, amelynek vágásai megegyeznek az adott monoton növekvő hálóértékű függvény vágásaival. A bizonyításokban a hálóértékű Boole-függvények alaptulajdonságai játszanak szerepet. |
Hely : Bolyai Intézet, I. Kórház, fszt. 17., folyóirat-olvasó terem |
Vissza
JEvents v3.1.8 Stable
Copyright © 2006-2013