|
zpravodaj ČSKI - říjen 2003 |
datum: 1.10.2003 v 9:00 název: Regulation systems: data representation přednášející: Martin Saturka (ÚI AV ČR) místo konání: ÚI, 2.patro, místnost č.318 datum: 6.10.2003 v 11:00 název: Lokalizace a tvorba modelu prostředí v inteligentní robotice přednášející: Miroslav Kulich (CAK, FEL ČVUT) místo konání: FEL, 1.patro, místnost č.112 (Vyčichlova knihovna) souhrn datum: 8.10.2003 v 9:00 název: Pravdivá formule produktové logiky, která v ní není dokazatelná přednášející: Petr Hájek (ÚI AV ČR) místo konání: ÚI, 2.patro, místnost č.318 datum: 15.10.2003 v 9:00 název: Fuzzy predikátová logika a aritmetická hierarchie přednášející: Petr Hájek (ÚI AV ČR) místo konání: ÚI, 2.patro, místnost č.318 datum: 22.10.2003 v 9:00 název: Finite axiomatization of varietes generated by continuous t-norms přednášející: Lluis Godo (Spain) místo konání: ÚI, 2.patro, místnost č.318 datum: 23.10.2003 v 9:00 název: Netradiční charakteristiky datových souborů přednášející: Zdeněk Fabián (ÚI AV ČR) místo konání: ÚI, 2.patro, místnost č.318 souhrn datum: 29.10.2003 v 9:00 název: The algebraization of linear and fuzzy logics přednášející: Carles Noguera (Spain) místo konání: ÚI, 2.patro, místnost č.318 |