V roce 2015 zažívá nejen česká energetika jedno zajímavé výročí - 60 let mírového využívání jaderné energie. Když v roce 1955 svolala do Ženevy Organizace spojených národů první konferenci o mírovém využívání jaderné energie, málokdo z delegátů tušil, jak přelomový tento rok pro některé země bude. Jak dynamicky se bude nové průmyslové odvětví vyvíjet.
Místo konání:
Univerzita Pardubice, posluchárna B1 v budově Dopravní fakulty Jana Pernera v Polabinách
RNDr. Václav Vopravil, Praha
Kombinatorická teorie her v minulosti a dnes
Nadreálná čísla jako příklady kombinatorických her
Ukázka hry s překvapivým výsledkem
Místo konání:
Zasedací místnost A 1435,
14. patro budovy A
FIT ČVUT v Praze, Thákurova 7. Praha 6
Celý den bude naplněný různými zajímavými pokusy od těch nejjednodušších až po záludně komplikované. Akce je primárně pro základní školy, ale na své si určitě přijdou i středoškoláci či veřejnost. Pro školy budou připravené i soutěžní okruhy.
Specializovaný Den plný přednášek, exkurzí, experimentů prostě neobvyklé setkání s fyzikou v historických budovách MFF UK na Karlově a v areálu MFF UK v Troji. Tradiční akce, kterou pořádáme pro středoškoláky a jejich pedagogy i pro příznivce fyziky z řad veřejnosti, doplňuje svým zaměřením Den otevřených dveří. Nabízí zajímavé experimenty a demonstrace, prohlídku špičkových zařízení na vědeckých pracovištích i rozhovory s pedagogy a studenty MFF UK.
Místo konání:
Budovy MFF UK: Ke Karlovu 3 a 5, Praha 2; V Holešovičkách 2, Praha 8
Tradiční a koncepčně ucelená přehlídka aktivit MFF UK, kterou fakulta v závěru kalendářního roku pořádá. Informuje nejenom o možnostech studia na MFF UK, o životě na fakultě i o aktivitách určených pro střední školy, ale během Dne je možné navštívit katedry, ústavy i pracoviště fakulty a při exkurzích nebo besedách se seznámit se škálou výukových, vědeckých i výzkumných činností.
Slezská univerzita v Opavě ve spolupráci s JČMF a Magistrátem města Opavy pořádá u příležitosti 100. výročí formulace základních rovnic Obecné teorie relativity cyklus přednášek, workshopů a studentských happeningů. Podrobnější informace včetně aktuálního programu naleznete na internetové stránce akce.
Krátká procházka Prahou
Novoměstské zvěrokruhy, relativita času a einsteinovské zamyšlení.
Cestou se seznámíme s architektonickými památkami
a jejich souvislostmi s měřením času. Připomeneme si pražského
matematika Georga Picka, který přivedl Einsteina ke studiu potřebných matematických teorií.
Sraz účastníků je
na Jungmannově nám. u sochy slavného lingvisty v Praze 1.
Pořádá skupina HEXA (Historie exaktních věd).
Témata a zaměření dílen:
Proč je taková neúspěšnost našich studentů v matematice? Je matematika pro každého? Rizika neoliberálního přístupu ke vzdělávání. Hříčky a hlavolamy z různých odvětví matematiky. Využití softwaru Geogebra v matematice.
Abstrakt přednášky: Despite the enormous progress in the area of real-world applications of fl uid mechanics ranging from construction of airplanes, ships and cars over weather prediction, medical applications including the blood fl ow and tumor growth modeling to the evolution of gaseous stars in cosmology, and despite a concerted effort of generations of outstanding mathematicians, the mathematical issues related to fundamental equations of fl uid mechanics remain either unsolved or very poorly understood. An iconic example of such problem – the Navier-Stokes system – remains on the list of unsolved “millenium problems”. This lecture attempts to survey the stateof-art in mathematical fl uid dynamics and to discuss some recent results concerning well-posedness of the underlying equations and systems. In particular, we introduce various concepts of solutions and compare their role in the development of the mathematical theory from the historical perspective. We conclude by presenting certain disturbing examples of ill-posedness obtained recently by the method of
convex integration.
Místo konání:
Posluchárna V. Jarníka (M1), děkanát MFF UK, 2. patro, Ke Karlovu 3, Praha 2.
For the past 40 years computer scientists generally believed that NP-complete problems are intractable. In particular, Boolean satisfiability (SAT), as a paradigmatic NP-complete problem, has been considered to be intractable. Over the past 20 years, however, there has been a quiet, but dramatic, revolution, and very large SAT instances are now being solved routinely as part of software and hardware design.
In this talk I will review this amazing development and show that we can leverage SAT solving to accomplish other Boolean reasoning tasks. Counting the the number of satisfying truth assignments of a given Boolean formula or sampling such assignments uniformly at random are fundamental computational problems in computer science with numerous applications. While the theory of these problems has been thoroughly investigated in the 1980s, approximation algorithms developed by theoreticians do not scale up to industrial-sized instances. Algorithms used by the industry offer better scalability, but give up certain correctness guarantees to achieve scalability. We describe a novel approach, based on universal hashing and Satisfiability Modulo Theory, that scales to formulas with hundreds of thousands of variable without giving up correctness guarantees.
Místo konání:
Karolinum UK, Celetná 20, Praha 1, Modrá posluchárna, druhé patro
Propagace přírodních věd formou sportovních aktivit. Akce je pořádána ve spolupráci s PřF UP a Centrem grafických papírů v Olomouci. Přespolní běh, skákání v pytlích, skládání hlavolamů. Hudební doprovod: Kapela 3+1.
