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.
Právě vychází nové číslo časopisu Pokroky matematiky, fyziky a astronomie. Obsahuje srozumitelné pojednání o různých typech statistických intervalů a rozdílech mezi nimi, článek o částkách, které lze poskládat pomocí mincí o dvou různých hodnotách, a další zajímavé příspěvky.
Obsah PMFA 1/2017
Joanna Rose: Nobelova cena za fyziku v roce 2016 — podivné jevy v plochém světě
Martin Otava: Stručný průvodce statistickými intervaly
Tomáš Mrkvička: Globální obálkové testy aneb jak otestovat vhodnost statistického modelu na základě funkcionální charakteristiky
Jaroslav Haas: Na stopě nebeské mechaniky v N-částicovém jádře Mléčné dráhy
Jan Hamáček: Reprezentovatelnost částek ve dvoumincových systémech
Nikola Jajcay, Milan Paluš: Štatistické modelovanie javu El Niño — Južná oscilácia v klimatológii
Zprávy a oznámení
Nové knihy
Jubilea
Nové číslo bude k dostání v knihovně Matematického ústavu AV ČR, Žitná 25, Praha 1, v prodejně a v eshopu nakladatelství MatfyzPress.
Starší čísla Pokroků matematiky, fyziky a astronomie jsou k dispozici na DML-CZ; v současnosti jsou zpřístupněny plné texty až do čísla 4/2015.
Slovenská fyzikálna spoločnosť, Česká fyzikální společnost a Fakulta humanitných a prírodných vied, Prešovská Univerzita v Prešove Vás pozývajú na pokračovanie tradičných stretnutí slovenských a českých fyzikov, ktoré sa bude konať v tento krát v Prešove. Stretneme sa tu, aby sme deklarovali a utužovali vzájomné vzťahy v rámci zjednotenej Európy. Konferencia si kladie za cieľ predstaviť dosiahnutý pokrok a dosiahnutú úroveň od 18. konferencie v Olomouci v roku 2014, ako aj najnovšie výsledky bádania v odboroch fyziky pestovaných v našich krajinách a inde vo svete.
Místo konání:
Prešovská univerzita v Prešove, Fakulta prírodných a humanitných vied, Slovenská republika
Mezinárodní konference "Chaos, and what it can reveal" pořádaná při příležitosti 60. narozenin prof. Petra Šeby dává možnost setkání matematických fyziků z celého světa.
Další kolo semináře OSMA se bude konat v úterý 21.3.2017 ve 12:30. Přednášet bude RNDr. Pavel Ludvík, Ph.D. (z KMDG VSB-TU Ostrava) na téma "Nebojte se extremálních bodů!" s podtitulem "Konvexní množina a jiná zvířena".
Chtěli byste nahlédnout hlouběji do statistické analýzy dat a naučit se základy Rka? Workshopy jsou určeny zejména pro zaměstnance univerzity a studenty doktorského studia, samozřejmě uvítáme i studenty bakalářského a navazujícího studia, případně zájemce z řad široké veřejnosti. Jediným předpokladem je středoškolská úroveň matematiky, nadšení a chuť pro statistiku. Workshopy budou probíhat vždy v pátek od 9h do 10:30h na počítačové učebně EB 413 (FEI).
Místo konání:
Vysoká škola báňská-Technická univerzita Ostrava, Fakulta elektrotechniky a informatiky, počítačová učebna EB 413
Pro studenty a mladé vědce po PhD je Heidelberské fórum laureátů skvělá příležitost potkat opravdu špičkové vědce, protože jsou na něj zvaní laureáti Fieldsovy medaile, Abelovy ceny, Ceny Alana Turinga, Nevanlinnovy medaile a v tomto roce poprvé i Ceny ACM za vědecké výpočty. Mladí a talentovaní matematici a informatici mohou získat přednostní místa na tomto fóru, pokud budou nominovaní Českým komitétem pro matematiku.
21. ročník konference - prezentace osobních zkušeností učitelů s vyučováním matematice a výsledků práce z různých oblastí didaktiky matematiky (přednášky, vystoupení, pracovní dílny, otevřené hodiny). Akce akreditována.
Místo konání:
Katedra matematiky a didaktiky matematiky PedF UK v Praze
Právě vychází nové číslo časopisu Pokroky matematiky, fyziky a astronomie. Přináší geometrický rozbor a zobecnění tzv. Dudeneyho přívěsku, článek z oblasti biofyziky o kráčejících proteinech a další příspěvky.
Obsah PMFA 4/2016
Vlastimil Dlab: Porozumění Dudeneyho přívěsku a dělení obrazců
Zdeněk Lánský: Kráčející proteiny v nitru živých buněk
Ľubomíra Dvořáková, Jiří Veselý: Anketa L'Enseignement Mathématique a Matyáš Lerch
Rudolf Dvořák: Pražské období Ernsta Macha a jeho práce z oblasti akustiky a dynamiky plynů
Marie Holíková: O Pickově vzorci a rozměňování peněz
Zprávy a oznámení
Jubilea
Nové knihy
Starší čísla Pokroků matematiky, fyziky a astronomie jsou k dispozici na DML-CZ; v současnosti jsou zpřístupněny plné texty až do čísla 3/2015.
Přednáška Mgr. Jany Doležalové ze Základní školy Vimperk, Smetanova 405.
Anotace přednášky:
Zanzibar a Senegal – země sice obě africké, ale přesto velmi rozdílné. Najdeme zde krásnou přírodu, ale překvapivě i velice zajímavé školství. Objevila jsem, že srdce matematika zde nenadchnou pouze učební pomůcky a radost dětí z možnosti se učit, ale i naprosto „logický“ jazyk. Fotografie z cest, vyprávění z putování po školách, ale i nějaká hádanka či něco k ochutnání z Afriky se v naší společné chvilce najde.
Místo konání:
Pedagogická fakulta Jihočeské univerzity v Českých Budějovicích, Jeronýmova 10, posluchárna J308
