|
zpravodaj ČSKI - květen 2014 [ pdf ] |
datum: 6.5.2014 v 14:00 název: Stochastické nelineární vlnové rovnice přednášející: Jan Seidler (UTIA) místo konání: UTIA, 4.patro, místnost č.474 souhrn datum: 6.5.2014 v 15:40 název: Funkcionály bodových procesů s hustotou vzhledem k Poissonově procesu přednášející: Markéta Zikmundová (MFF UK) místo konání: KPMS, 1.patro, Praktikum vpravo datum: 7.5.2014 v 14:00 název: Full Lambek Calculus with contraction is undecidable přednášející: Karel Chvalovský (UI),
Rostislav Horčík místo konání: UI, 2.patro, místnost č.318 souhrn datum: 12.5.2014 v 14:00 název: Points and lines in metric spaces přednášející: Vasek Chvatal (University of Montreal) místo konání: UTIA, místnost č.25 souhrn datum: 14.5.2014 v 14:00 název: Speciální Aronszajnovy stromy přednášející: Šárka Stejskalová místo konání: UI, 2.patro, místnost č.318 souhrn datum: 20.5.2014 v 14:00 název: Jak to vidí počítač přednášející: Barbara Zitová (UTIA) místo konání: UTIA, 4.patro, místnost č.474 souhrn datum: 21.5.2014 v 14:00 název: Russelova analýza Peanovy aritmetiky přednášející: Lenka Jankovská místo konání: UI, 2.patro, místnost č.318 souhrn datum: 21.5.2014 v 14:00 název: Gentzenův důkaz
Důsledky Godelových vět, Gentzenův důkaz bezespornosti PA přednášející: Zuzka Dolejší místo konání: UI, 2.patro, místnost č.318 souhrn datum: 28.5.2014 v 14:00 název: Constructing many-valued logical functions with small influence of theirs variable přednášející: Tomáš Kroupa (UTIA) místo konání: UI, 2.patro, místnost č.318 souhrn |