You are here

Minulé i budoucí akce JČMF

Seminář pro řešitele Matematické olympiády (kategorie A, B, C)

Seminář pro zájemce o řešení úloh Matematické olympiády (z regionu Olomouckého kraje).

Místo konání: 
Přírodovědecká fakulta UP, 17. listopadu 1192/12, Olomouc
Datum konání: 
8. 1.
Webové stránky akce: 

Seminář pro řešitele Matematické olympiády (kategorie B, C)

Seminář pro zájemce o řešení úloh Matematické olympiády (z regionu Olomouckého kraje).

Místo konání: 
Přírodovědecká fakulta UP, 17. listopadu 1192/12, Olomouc
Datum konání: 
8. 4.
Webové stránky akce: 

Běh s Klokanem

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.

Místo konání: 
Olomouc - Hejčín, hospoda U Travise.
Datum konání: 
26. 9.
Webové stránky akce: 

Seminář pro řešitele Matematické olympiády (kategorie A)

Seminář pro řešitele Matematické olympiády (kategorie A) z Moravskoslezského kraje.
Přednášky se konají v následujících termínech:

ÚT 22.09.
ST 07.10.
PO 19.10.
ÚT 03.11.
ST 11.11.
ČT 26.11.

Přednášející, čísla řešených úloh a konkrétní učebny najdete v přiloženém souboru.

Místo konání: 
Přednášky se konají buď v budově nové FEI nebo v hlavní budově, bloku K. Konkrétní učebny jsou v přiloženém souboru.
Datum konání: 
19.10.2015 - 12:30
Webové stránky akce: 

Seminář pro učitele matematiky k úlohám MO - kategorie C

Středočeská pobočka JČMF ve spolupráci s MFF UK v Praze pořádá jednodenní seminář pro učitele matematiky středních škol k úlohám MO, kategorie C.
Seminář probíhá v době 9-12 a 13-16 hod.
Přihlásit se lze mailem na adrese blazkova@karlin.mff.cuni.cz

Místo konání: 
MFF UK v Praze, Sokolovská 83, Praha 8 - Karlín, 4. patro
Datum konání: 
24.09.2015 - 09:00
Webové stránky akce: 

Seminář pro učitele matematiky k úlohám MO - kategorie A

Středočeská pobočka JČMF ve spolupráci s MFF UK v Praze pořádá jednodenní seminář pro učitele matematiky středních škol k úlohám MO, kategorie A.
Seminář probíhá v době 9:30-12:30 a 13:30-16:30 hod.
Přihlásit se lze mailem na adrese blazkova@karlin.mff.cuni.cz

Místo konání: 
MFF UK v Praze, Sokolosvká 83, Praha 8 - Karlín, 4. patro
Datum konání: 
01.10.2015 - 09:30

Seminář pro učitele matematiky k úlohám MO - kategorie B

Středočeská pobočka JČMF ve spolupráci s MFF UK v Praze pořádá jednodenní seminář pro učitele matematiky středních škol k úlohám MO, kategorie B.
Seminář probíhá v době 9-12 a 13-16 hod.
Přihlásit se lze mailem na adrese blazkova@karlin.mff.cuni.cz

Místo konání: 
MFF UK v Praze, Sokolovská 83, Praha 8 - Karlín, 4. patro
Datum konání: 
02.10.2015 - 09:00
Webové stránky akce: 

96. matematické kolokvium KAM - Moshe Vardi (Rice University, USA): The SAT revolution: Solving, sampling, and counting

Abstract

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
Datum konání: 
16.09.2015 - 16:00

Přednáška Pavla Martinka "Fuzzy množiny a fuzzy uspořádání"

Místo konání: 
Přednáškový sál 51 107 Fakulty aplikované informatiky Univerzity Tomáše Bati ve Zlíně, Nad Stráněmi 4511, Zlín
Datum konání: 
05.10.2015 - 15:00
Webové stránky akce: 

Jak učit matematice žáky ve věku 10 – 16 let; Litomyšl 2015

Tradiční setkání učitelů, tentokrát na téma "Kritická místa ve výuce matematiky".

Místo konání: 
Litomyšl
Datum konání: 
22.10.2015 - 09:00 to 24.10.2015 - 15:00

Pages

Subscribe to Front page feed
X
Secure Login

This login is SSL protected

.mojeid.cz