Fakulta jaderná a fyzikálně inženýrská (FJFI) pořádá u příležitosti 31. ročníku Turnaje mladých fyziků Úvodní soustředění, které vám pomůže se v celé soutěži lépe zorientovat a vyhrát. Úvodní soustředění bude nejen dobrou přípravou, ale seznámíme vás se soutěží, úkoly pro rok 2017/18 a předvedeme vám ukázkový souboj. Soustředění je určeno pedagogům, kteří budou připravovat svůj tým, i samotným studentům.
Konference je určena především pro učitele všech typů škol a je zaměřena jak na nejnovější poznatky v matematice, informatice a dalších vědách, tak na problematiku výuky těchto oborů na všech typech a stupních škol, a to včetně e-learningu a dalších aplikací informačních technologií ve vzdělávacím procesu. Pořadatelé chtějí soustředit pozornost zejména na vzdělávání v oblastech, které jsou pro současnou společnost nezbytné a velmi žádané.
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.
Katedra fyziky VŠB - Technické univerzity Ostrava s podporou statutárního města Ostravy zve studenty sředních škol a gymnázií na dvoudenní
Letní školu aplikované fyziky 2017 aneb na dva dny vědcem
Místo a čas konání: VŠB - Technická univerzita Ostrava, 22.-23.6.2017
Budete se moci dotknout vědy vlastníma rukama - kromě experimentování a přednášek rozšiřujících náplň středoškolské fyziky se seznámíte s prací na poli vědy přímo v našich výzkumných laboratořích. Pro odlehčení je připravena i exkurze mimo areál školy a za nepříznivého počasí pozorování noční oblohy.
Místo konání:
Vysoká škola báňská - Technická univerzita Ostrava, 17.listopadu 15, Ostrava-Poruba
Jedná se o pravidelné dvoutýdenní intenzivní soustředění, jehož cílem je příprava reprezentantů na mezinárodní fyzikální olympiádu. Kromě pěti vybraných reprezentantů a náhradníka se účastní i další čtyři nadějní úspěšní řešitelé celostátního kola fyzikální olympiády, kteří mají šanci jet na mezinárodní soutěž ještě příští rok. Obsah soustředění je zaměřen především na experimentální úlohy, neboť experimentování nebývá ve školách věnováno dostatek prostoru.
Týden plný fyziky, matematiky, chemie, informatiky a experimentů je pořádán pro cca 150 studentů středních škol České republiky na Fakultě jaderné a fyzikálně inženýrské (viz http://jaderka.cz) Českého vysokého učení technického v Praze. Je určen přírodovědně nadaným a motivovaným studentům, kteří uvažují o studiu na přírodovědných a technických oborech vysokých škol.
Physics Café je nová série akcí pořádaných skupinou Prague EPS Young Minds Section, která si dává za cíl přiblížit studentům akademické prostředí z ne striktně akademického pohledu. Přijďte posedět do kavárny a zapojit se do diskuze na téma "Role vědce mimo akademickou sféru". Všichni členové JČMF jsou srdečně zváni.
Od 4. do 7. října 2017 se bude v Brně konat již 4. mezinárodní konference o historii a filosofii "computing" - výpočetní techniky, ale také programování a výpočetních metod, tzv. HaPoC (History and Philosophy of Computing)
Konferenci bude předcházet symposium o přijetí Hilbertovy axiomatické metody ve střední a východní Evropě (3. října 2017).
