Jste zde

Pro odbornou i laickou veřejnost.

101. matematické kolokvium KAM - Achim Jung (University of Birmingham): On a combinatorial problem arising from denotational semantics

Abstrakt

The first premise of denotational semantics is that programs may be viewed as names for mathematical objects. Because recursion is an essential feature of programming, some care needs to be taken in defining the structures within which one may find denotations. As an example, it is well-known that ordinary recursion theory deals with partial functions from N to N, rather than total ones. The second premise is that the semantics should be compositional, that is, the denotation of a program should be built from the denotations of its parts. From this one derives the requirements that denotational spaces, the ``domains'' of Dana Scott's mathematical theory of computation, should be amenable to the constructions of programming languages.

In this talk we will first review these requirements in some detail and then focus on one construction in particular, known as the probabilistic powerdomain. Although the object of intense investigation over the last 25 years, it is not known whether the probabilistic powerdomain construction fits within Scott's denotational semantics. As we will explain, the problem can be reduced to the existence of certain functions on weighted finite posets.

Místo konání: 
MFF UK, posluchárna S5 (2. patro), Malostranské nám. 25, Praha 1,
Datum konání: 
9. 5.
Webové stránky akce: 

Kapitoly ze současné matematiky: Muzeum matematiky a extravagance, L. Dvořák

V cyklu Kapitoly ze současné matematiky se koná v pondělí 15. května 2017 přednáška:

Mgr. Ladislav Dvořák: MUZEUM MATEMATIKY A EXTRAVAGANCE

Místo konání: 
Modrá posluchárna, zadní budova Matematického ústavu AV ČR, Žitná 25, Praha 1.
Datum konání: 
15. 5.
Webové stránky akce: 

SEDMA - DAVID HILBERT A JEHO KRUH, Jan Zeman

V úterý 23. května 2017 od 17 hodin
přednáší v semináři SEDMA
ing. Jan Zeman, ZČU Plzeň
na téma
"David Hilbert a kruh jeho spolupracovníků v Göttingen -
Blízcí přátelé H. Minkowski a A. Hurwitz a Hilbertovi žáci"

********

Místo konání: 
Seminář se koná v zasedací místnosti Fakulty informačních technologií ČVUT v Praze, v budově A (A 1435) ve 14. patře, Thákurova 9, Praha 6.
Datum konání: 
23. 5.

Přednáška Oldřicha Horáka "ALMA – pohled rádiovým oknem do vesmíru"

Observatoř ALMA (Atacama Large Millimeter/submillimeter Array) je špičkovým přístrojem používaným v současném astrofyzikálním výzkumu. Byla vybudována v poušti Atacama v severním Chile na planině Chajnantor v nadmořské výšce přes 5000 m n. m. v široké mezinárodní spolupráci. Jedná se o největší v současné době existující astronomický projekt - rádiový teleskop revoluční konstrukce skládající se z 66 vysoce přesných antén.

Místo konání: 
Posluchárna A3 Univerzity Pardubice (budova univerzitní auly v Pardubicích – Polabinách)
Datum konání: 
18. 5.
Webové stránky akce: 

Fyzika na Lannovce

Venkovní výuková a popularizační akce na českobudějovické pěší zóně pro žáky všech typů škol a širokou veřejnost. Demonstrační experimenty doplněné o workshop zaměřený na praktické aplikace motorů, optiky, termiky, apod.

Místo konání: 
Lannova třída, České Budějovice
Datum konání: 
27. 6.
Webové stránky akce: 

František Houdek – Jihočech, který se zasloužil o JČMF

Přednáška věnovaná Františku Houdkovi, řediteli a jednateli Jednoty v letech 1874-1877, rodákovi z Hracholusk u Netolic, od jehož úmrtí letos uplynulo 100 let.

Místo konání: 
Jihočeská univerzita v Českých Budějovicích, Pedagogická fakulta, Jeronýmova 10
Datum konání: 
5. 6.

Ordinary and partial differential equations in economy and finances

Přednáška
Dr. Agnieszka Gil-Swiderska
Siedlce University of Natural Sciences and Humanities, Polsko

Místo konání: 
Jihočeská univerzita v Č. Budějovicích, Pedagogická fakulta, Jeronýmova 10, posluchárna J405
Datum konání: 
25. 4.
Webové stránky akce: 

Akademické fórum LXXIX: Hodnocení vědy a výzkumu 2015

Místo konání: 
Velká posluchárna v sídle Jednoty českých matematiků a fyziků, Praha 1, Žitná 25.
Datum konání: 
4. 5.
Webové stránky akce: 

Jiří Rákosník - Nicolas Bourbaki a jeho vliv na vědu a výuku matematiky 20. století

Jednota českých matematikù a fyziků, pobočný spolek Ostrava Vás srdečně zve na přednášku RNDr. Jiřího Rákosníka, CSc. na téma
Nicolas Bourbaki a jeho vliv na vědu a výuku matematiky 20. století. Přednáška se bude konat v úterý 9. května 2017 v 16:00.

Místo konání: 
VŠB-Technická univerzita Ostrava, Fakulta elektrotechniky a informatiky, učebna EC1
Datum konání: 
9. 5.

FYZIKA ELEMENTÁRNÍCH ČÁSTIC v CERNu, prof. Rupert Leitner, DrSc.

Ve své přednášce
"FYZIKA ELEMENTÁRNÍCH ČÁSTIC v CERNu"

Prof. RNDr. Rupert Leitner, Dr.Sc.
(MFF UK, Ústav částicové a jaderné fyziky)

představí Projekt LHC (Large Hadron Collider) v CERN
a bude hovořit o experimentu ATLAS.
Účastníci se rovněž dozvědí, jak hledat dosud neznámé nestabilní elementární částice. Pochopitelně, že pozornost bude
věnována také objevu Higgsova bosonu.

Místo konání: 
Přednáška se koná v budově Pedagogické Fakulty UK Magdaleny Rettigové č. 4, Praha 1, místnost R209 (dopravní spojení: tram. zastávka Lazarská, případně stanice metra trasy B Národní třída)
Datum konání: 
24. 5.

Občasný seminář z matematické analýzy (OSMA)

Doc. RNDr. Jiří Bouchala, Ph.D. a Mgr. Petr Vodstrčil, Ph.D. prosloví 25.4. od 12:30 v semináři OSMA přednášku "O přeronvávání řad".

Přednáška je určena pro všechny zájemce o matematiku, učitele matematiky i širokou veřejnost.

Místo konání: 
Vysoká škola báňská - Technická univerzita Ostrava, nová FEI, učebna EC1
Datum konání: 
25. 4.
Webové stránky akce: 

Fyzika za první republiky (prof. RNDr. Ivo Kraus, DrSc., FEng., dr. hc. a doc. Ing. Štefan Zajac, CSc.)

Fyzikální oddělení pražské pobočky JČMF vás srdečně zve na tuto přednášku.

Místo konání: 
Posluchárna Václava Dolejška Matematicko-fyzikální fakulty Univerzity Karlovy v Praze, Ke Karlovu 5, 1. patro (F2).
Datum konání: 
24. 5.
Webové stránky akce: 

Ivo Kraus (FJFI ČVUT), Christian Doppler, běh života a jeho hvězdná hodina

FJFI ČVUT pozýva na prednášku z cyklu fakultných kolokvií o fyzike a matematike.

Místo konání: 
FJFI ČVUT, Břehova 7, Praha 1 sála B115
Datum konání: 
10. 5.
Webové stránky akce: 

Vladimír Soukenka (FA ČVUT), Scénografie a média - dobrodružství hledání / od jeviště po veřejný prostor / + Promítání filmu SYMMETRY

FO PP JČMF, EPS Young Minds Prague and FJFI ČVUT pozýva na prednášku z cyklu fakultných kolokvií o fyzike a matematike.
Prednáška bude o komunikácii vedy a umenia.

Od 16:30 prednesie doc. Soukenka úvodnú prednášku o svojej práci, o vede a umení a povie pár slov o filme SYMMETRY, ktorý
získal v roku 2016 na festivale Zlatá Praha Krištálovú cenu.
Od 17:30 premietneme cca 30 minutový operne tanečný film film SYMMETRY (v B103), ktorý sa natáčal v CERN

Místo konání: 
FJFI ČVUT, Břehova 7, Praha 1 sála B115 (film v B103)
Datum konání: 
3. 5.
Webové stránky akce: 

Bohuslav Rezek (FEL ČVUT), Electronic Properties of Diamond Nanoparticles

FJFI ČVUT pozýva na prednášku z cyklu fakultných kolokvií o fyzike a matematike.

Místo konání: 
FJFI ČVUT, Břehova 7, Praha 1 sála B115
Datum konání: 
19. 4.
Webové stránky akce: 

Jiří Grygar (FzÚ AV ČR), Žeň objevů 2016

FJFI ČVUT pozýva na prednášku z cyklu fakultných kolokvií o fyzike a matematike.

Místo konání: 
FJFI ČVUT, Břehova 7, Praha 1 sála B115
Datum konání: 
12. 4.
Webové stránky akce: 

Novinky v kosmonautice 2017 (Milan Halousek)

Fyzikální oddělení JČMF pobočného spolku Praha Vás srdečně zve na tuto přednášku.

Novinky v kosmonautice 2017,
kterou přednese Milan Halousek z České kosmické kanceláře

Místo konání: 
Posluchárna Václava Dolejška Matematicko-fyzikální fakulty Univerzity Karlovy v Praze, Ke Karlovu 5, 1. patro (F2).
Datum konání: 
19. 4.
Webové stránky akce: 

SEDMA - Království NIMu (Historie kombinatorických her) - Václav Vopravil

Úterý 11. dubna 2017 od 17 hod.

RNDr. Václav Vopravil, Praha

Historie kombinatorických her
Království NIMu

Místo konání: 
Seminář se koná v zasedací místnosti Fakulty informačních technologií ČVUT v Praze, v budově A (A 1435) ve 14. patře, Thákurova 9, Praha 6.
Datum konání: 
11. 4.

Ani jeden matematický talent nazmar

8. celostátní konference učitelů matematiky a přírodovědných oborů na základních, středních a vysokých školách

Místo konání: 
Přírodovědecká fakulta, Univerzita Hradec Králové, Rokitanského 62
Datum konání: 
26. 5. - 27. 5.

Stránky

Přihlásit se k odběru RSS - Pro odbornou i laickou veřejnost.
X
Secure Login

This login is SSL protected

.mojeid.cz