Korespondenční seminář M&M

29/11/2024

Vánoční víkedovka se blíží (ehm,ehm 6.-8.12.) a stále se můžete přihlašovat.
Cesta na víkendovku vede do Betléma a to nechcete minout!

Formulář pro přihlášení můžete najít v novinkách na webu a našem Biu.

23/10/2024

Vyšlo druhé číslo tohoto ročníku! Pojďte řešit, abyste mohli jet na další skvělé sous

15/10/2024

Zdravíme že soustředění, kde si nejen lámeme hlavu nad příklady, ale učíme se i resuscitaci.

26/03/2024

Milí řešitelé, rozhodli jsme se ještě jednou letos posunout deadline na odevzdání řešení 4. čísla, máte tedy čas až do 2. dubna!

A k tomu vás zveme na spřátelenou týmovou soutěž InterSob, která se koná 6. dubna, tedy hned 4 dny po novém deadlinu. Pokud se nebojíte Sobů ani Brna, určitě doporučujeme sestavit tým a přihlásit se! Přihlašování a další info najdete na stránkách:
https://intersob.fi.muni.cz/

Mějte se krásně a využijte čas navíc k řešení!

InterSoB je zábavná a poučná jednodenní soutěž středoškolských studentů, při které máte možnost podívat se netradičním způsobem do zákulisí Masarykovy univerzity, vyzkoušet si své schopnosti a užít si spoustu dalšího, netradičního programu.

14/12/2023

Milí řešitelé, zpříjemněte si vánoční prázdniny řešením M&Mka! 🦊🎄 Přichystali jsme pro vás první vánoční dárek v podobě 3. čísla letošního ročníku. 🤓

13/12/2023

Zavzpomínejte na podzimní soustředění ve Skleném! 🥰🦊 Fotky už najdete na našem webu na odkazu https://mam.mff.cuni.cz/soustredeni/57/fotogalerie/618/ 📸

10/12/2023

Vánoční víkendovka byla! 🦊❄️

02/10/2023

Příprava Vánoční víkendovky začala! Zapište si do diářů 8.-10.12 v Kutné Hoře.

Bližší informace budou již brzy.

08/09/2023

Lean 4 má dnes oficiální release!
https://leanprover-community.github.io/blog/posts/first-lean-release/

Náš textík o Leanu 4 byl zveřejněn o něco dříve...
https://mam.mff.cuni.cz/media/cislo/pdf/30/30-1.pdf =10

The first official release of Lean 4, and plans for regular releases.

05/09/2023

Už zbývá jen týden do prvního deadlinu!

Je to poslední příležitost se dostat na podzimní soustředění! Na něm se můžeš těšit na spoustu odborných přednášek ale i na hry

19/06/2023

Přípravy na další ročník M&M byly tento víkend v plném proudu! Do orgtýmu přibyli noví orgové, rozdaly se role a hlavně začala příprava podzimního soustředění. Chceš se tam s námi také vidět? Tak neváhej a pusť se do řešení aktuálního čísla!

10/06/2023

Milí řešitelé,

vydali jsme první číslo třicátého ročníku M&M, ve kterém přichází tři nová témátka! První témátko vás uvede do světa termodynamických zákonů. Ve druhém témátku, o jazyce Lean, se seznámíte s funkcionálním programováním a dokazováním matematických tvrzení na počítači. Ve třetím témátku si zahrajete hru Hex, která spočívá v pokládání kamenů tak, abyste spojili své strany hrací plochy.

https://mam.mff.cuni.cz/media/cislo/pdf/30/30-1.pdf

Na řešení první série máte čas až do 10. října, pokud nám ale pošlete svá řešení do 12. září, započítají se vám získané body pro účast na podzimní soustředění, které se uskuteční 14. – 22. října. I když jste M&Mko loni neřešili, máte tak pořád šanci jet s námi!