Další zprávy
O neúplnosti teorií So 7.5.2011
Matematika | Fyzika | Avízo | Liberecký kraj |Přednáška profesora Jiřího Cihláře bude komentářem k výsledkům logiky z období okolo poloviny minulého století (Gödel, Tarski, Church a další). Připomeneme si problematiku bezespornosti a úplnosti teorií, odvoditelnosti formulí a jejich pravdivosti v modelech, existenci nestandardních modelů Peanovy aritmetiky, rozhodnutelnosti teorií a další zajímavosti.
Přednáška se koná v Liberci v budově H TUL (Voroněžská ulice) v 5. patře v posluchárně H52 ve 14:30 hodin ve středu 11.5.2011.
Místo konání: Technická Univerzita Liberec
Datum konání: 11. Květen 2011
Forma akce: přednáška
přilohy
Související články:
Tři české vědkyně získaly stipendia pro své projekty So 19.5.2012
Rekordní počet přihlášených i vysoká úroveň projektů doprovázely již šestý ročník stipendijního projektu L´Oréal Pro ženy ve vědě. Odborná porota složená z předních představitelů Akademie věd ČR, České komise při UNESCO a společnosti L´Oréal vybrala tři nejlepší projekty letošního roku, jejichž autorky získají každá stipendium ve výši 250 000 Kč.
Avízo | Hlavní město Praha | Akademie věd
Maria Skłodowska-Curie – neobyčejná žena Út 15.5.2012
Výjimečnou osobnost světové vědy – Marii Skłodowskou-Curie – představí veřejnosti od středy 16. května 2012 obsáhlá výstava v sídle Akademii věd ČR v Praze. Koná se pod záštitou předsedy AV ČR prof. Jiřího Drahoše a velvyslance Polské republiky v ČR Jana Pastwy.
Jiný obor | Avízo | Hlavní město Praha | Akademie věd
GIS v Botanické zahradě Út 15.5.2012
Prezentace botanického geoinformačního systému BOTANGIS, umožňujícího lokalizaci rostlin v terénu Botanické zahrady UP a rostlin Sbírkových skleníků Výstaviště Flóra. Součástí akce je komentovaná prohlídka Botanické zahrady. Akce se koná 23. květen 2012 ve Smetanových sadech.
Biologie | Avízo | Olomoucký kraj | Univerzita Palackého v OlomouciPartneři
