Sometimes coming up with a task for Kindergarten is the hardest part! In this episode, I share 7 tasks perfect for your kindergarten classroom in a building-thinking classrooms style! Dive into the world of playful, hands-on math tasks in this episode of Making Number Sense Make Sense! From counting and number writing with the mischievous dogs at Paw-some Pups Playhouse to solving addition problems with a broken cash register in "Cash Out," we’ll explore creative ways to engage young learners. Plus,

I discuss what is called the locally nameless representation of syntax with binders, following the first couple of sections of the very nicely written paper "The Locally Nameless Representation," by Charguéraud. I complain due to the statement in the paper that "the theory of λ-calculus identifies terms that are α-equivalent," which is simply not true if one is considering lambda calculus as defined by Church, where renaming is an explicit reduction step, on a par with beta-reduction.&n...

It’s that time of year again, the time when we ask some of our favourite statistically-inclined people for their numbers of the year. We present them to you - from falling birth rates in India to children saved by vaccines. Contributors: RukminiS, Data for India Professor Sir David Spiegelhalter, Cambridge University, Hannah Ritchie, Our World in Data. Presenter: Charlotte McDonald Producers: Lizzy McNeill and Vicky Baker Series Producer: Tom Colls Editor: Richard Vadon Sound Engineer: Donald

Matematiğin hem tutarlı, hem de eksiksiz olamayacağını meşhur eksiklik teoremi ile anlatan Kurt Gödel üzerine konuşuyoruz.

“Say what you like about Mussolini but he did make the trains run on time.” This phrase is the political equivalent of “every cloud has a silver lining” – but does it have any factual basis? Mussolini’s dictatorship in Italy was full of atrocities, brutal suppression and propaganda. Did it also create a more efficient railway network? We speak to Professor Ruth Ben-Ghiat about the truth of the claim and why the Mussolini regime wanted us to believe it. Presenter: Lizzy McNeill Producer:

本節目旨在從數學系學生的角度，探討課業、生活、打工、社團、校內活動等各 方面的經歷與感受。藉由輕鬆對話與真實分享，讓聽眾了解數學系學生的日常與 心情，並揭示數學以外的多樣面貌。 Powered by Firstory Hosting

Tüm duvarları ayna olan bir odada bir mum ışığı... İranlı matematikçi Maryam'ı anlatıyoruz.

This episode focuses on QuickSort, a divide-and-conquer sorting algorithm, comparing it to MergeSort, and analyzing its average and worst-case time complexities. It then explains the order selection problem, which involves finding the kth smallest element in a dataset, presenting several algorithms with varying time complexities and practical considerations, including a linear worst-case algorithm and an approximate heuristic. The analysis includes recurrence relations and their solutions to

I continue the discussion of POPLmark Reloaded , discussing the solutions proposed to the benchmark problem. The solutions are in the Beluga, Coq (recently renamed Rocq), and Agda provers.

I discuss the paper POPLmark Reloaded: Mechanizing Proofs by Logical Relations, which proposes a benchmark problem for mechanizing Programming Language theory.

Önce 'yaklaşmak' kavramını irdelerken, Kalkülüsün temel teoremi olan eğim ve alan ölçme işlevlerinin ilişkisini de ele alıyoruz.

Are most Americans barely holding their head above water when it comes to personal finances?That’s what various US politicians and news outlets keep suggesting. They can’t stop using a statistic about people living “paycheck to paycheck”. But what does this really mean? We go behind the headlines to unpick the numbers. Contributor: Ben Krauss, journalist Presenter: Charlotte McDonald Producer: Vicky Baker and Lizzy McNeill Series Producer: Tom Colls Production co-ordinator: Katie

Episode Summary: In this episode, Maribel Lopez speaks with Dell’s Chief Technology Officer and Chief AI Officer John Roese about Dell’s enterprise AI technologies from their development to their future. Roese explains how the initial magical thinking around artificial intelligence has shifted into a more practical approach that aims to maximize the benefits of each implementation. He also discusses the emerging trends and ideas that he is seeing in the AI space.Key Themes: Maribel and John s...

This episodes presents methods for solving recurrence equations, which are crucial for analyzing the time complexity of recursive algorithms. It introduces asymptotic notations (Big O, Big Omega, Big Theta, little o, little omega) to describe the growth of functions. The lecture then explores several techniques for solving recurrences, including the substitution method, iteration method (and recursion trees), the Master Theorem, and solving homogeneous and non-homogeneous linear recurrences

Kalkülüsün temel teoremi olan eğim ve alan ölçme işlevlerinin ilişkisini anlatıyoruz. Önce biraz tarih, devamı bir sonraki aralıkta...

Bayram tatilinde anlattığımız kardinaller konusuna bir kere daha bakıyoruz.

When World War Two came to Greece, a period of terrible human suffering followed. There was a brutal battle with Italian and then Nazi forces, followed by an occupation in which thousands were executed and a terrible famine swept the nation. There’s an often repeated number that appears to capture the brutality of this time – that 10% of the Greek population died during the war. We investigate where this statistic comes from and whether it is true. Presenter: Charlotte McDonaldProducer: Tom

Motivates the definition of Matrix/Vector and Matrix/Matrix multiplication by examining a systematic approach to a generalization of the simple equation a * x = b.

Emergent Properties as Manifestations of MIR TheoryEmergent properties are central to MIR theory, arising from the interplay of its core principles: information as the foundation of reality, the harmony operator driving coherence, and fractal patterns repeating across scales.The sources demonstrate how emergent properties manifest in various domains, from physics and biology to consciousness and AI.1. Information as the FoundationMIR theory posits that reality is fundamentally built upon