#matematica

Che ore sono?
Regalini molto apprezzati

EDIT: dite che è eccessivo? Però mi piace un sacco (e i led si attivano con un pulsante quindi è sempre spento e consuma poco)

#regali #orologio #binario #matematica #informatica

La mostra Da Zero a Infinito all’Acquario di Milano

https://edu.inaf.it/news/eventi/la-mostra-da-zero-a-infinito-allacquario-di-milano/

Dal 31/3 al 5/4 all’Acquario Civico di Milano la mostra “Da Zero a Infinito” racconta l’Universo con immagini e formule.

#astronomia #ESO #INAF #matematica #Milano #mostre

Curso "Lógica informática (2009-10)". https://jaalonso.github.io/cursos/li-09 #Lógica #Matemática #Computación

Curso "Lógica informática (2008-09)". https://jaalonso.github.io/cursos/li-08/index.html #Lógica #Matemática #Computación

#Calculemus: Demostrar con Isabelle/HOL que las relaciones reflexivas y circulares son simétricas. https://jaalonso.github.io/calculemus/posts/2020/04/08-las_reflexivas_circulares_son_simetricas/ #IsabelleHOL #Lógica #Matemática

La prodigio #matemática a nivel nacional que surge del mundo rural #palentino ( #palencia #españa )

https://www.elespanol.com/castilla-y-leon/region/palencia/20250317/prodigio-matematica-nivel-nacional-surge-mundo-rural-palentino/931906851_0.html

Mastodonti, nuovo #quiz!
Oggi la #cultura ci parla di nuovo di #matematica.
Guardate la figura.
La circonferenza di B è tre volte quella di A.
Quante rotazioni complete (rispetto a B) compierà A se la facciamo ruotare per un giro completo intorno a B?
Scelte nel troot sotto.
1/2

#Calculemus: El problema de los infectados. https://jaalonso.github.io/calculemus/posts/2020/03/19-el_problema_de_los_infectados/ #IsabelleHOL #Lógica #Matemática

Mio caro ministro #Valditara il teorema di Pitagora non è sempre vero: https://archive.fo/eHTfY
Un articolo di Chiara Valerio che mette in discussione la concezione di #matematica e di cultura in generale che sta alla base della bozza delle nuove indicazioni nazionali per la #scuola pubblicata dal ministro dell'istruzione #istruzione #scienza @scuola@a.gup.pe @scuola@poliverso.org
@maupao @macfranc

#Calculemus: Teorema de Nicómaco. https://jaalonso.github.io/calculemus/posts/2020/01/30-teorema_de_nicomaco/ #IsabelleHOL #Lógica #Matemática

#Calculemus: Reto f(f(f(b))) = f(b). https://jaalonso.github.io/calculemus/posts/2020/01/24-reto/ #IsabelleHOL #Lógica #Matemática

Readings shared March 10, 2025. https://jaalonso.github.io/vestigium/posts/2025/03/10-readings_shared_03-10-25 #CommonLisp #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #LogicProgramming #Lógica #Matemática #Math #Prolog #Rocq

#Calculemus: Celebración del día mundial de la lógica. https://jaalonso.github.io/calculemus/posts/2020/01/14-celebracion_del_dia_mundial_de_la_logica/ #IsabelleHOL #Lógica #Matemática

Quasi tre anni dopo la pubblicazione di Dodici storie fantastiche. Enigmi e avventure per piccoli matematici, scritto a quattro mani con Antonella Perucca, sono felice di annunciare l’arrivo delle traduzioni inglese e tedesca: Twelve Fantastic Stories. Riddles and Adventures for Young Mathematicians e Zwölf fantastische Geschichten: Rätsel und Abenteuer für angehende Mathematiker #libri #bambini #matematica https://lisavagnozzi.altervista.org/twelve-fantastic-stories-zwolf-fantastische-geschichten/

Mastodonti, nuovo #quiz!
E la #cultura continua a parlarci di #matematica.
Quanto vale sqrt((-9)^2)?
Dove "sqrt" indica la radice quadrata e "^2" l'elevazione (potenza) al quadrato.
E non googlate che vi vedo!
E non suggerite!
#QuizTime

Mastodonti, nuovo #quiz!
Oggi torniamo ai numeri... #matematica, #geometria o cosa?
Difficile dirlo, ma la domanda è: abbiamo un classico orologio a lancette, quante volte nell'arco di 24 ore le due lancette si sovrapporranno?
E non googlate che vi vedo!
E non suggerite.
#QuizTime

Everest, un gioco di enigmi matematici per Android
Un passatempo matematico per abbattere la noia e risvegliare la mente...

https://www.selectallfromdual.com/blog/1413

#android #androidgame #fdroid #games #matematica #opensource

Mastodonti, nuovo #quiz! Di #matematica!
In una stanza ci sono n persone.
Entra Anna e l'eta media sale di 4 anni.
Poi entra la sua gemella Elisa e l'età media sale di altri 3 anni.
Quanti erano n inizialmente?
E non googlate che vi vedo!
E non suggerite.
#QuizTime

Prendete e leggetene tutte: questo è il mio corpo, offerto in sacrificio, per voi

https://keinpfusch.net/ai-ma-che-succede-adesso

#IA (scherzo: si fa per dire...) #LLM #tecnoCapitalismo #labor #stakanovismoTossico #turboCapitalismo (tipo i turbotubbies per capirci - ah no, aspetta, si chiamavano *tele*-tubbies ahh ) #saggistica #tech #matematica #geometria #Informatica

Il #3febbraio 1904 nasceva Luigi #Dallapiccola, uno dei primi musicisti italiani ad adottare la #dodecafonia nella #composizione musicale.
Lo ricordiamo con un'analisi da #ExChordis dell'opera #Tartiniana Seconda #MR58a per #violino e #pianoforte, una #riscrittura della #Sonata 7Ba.1 di Giuseppe #Tartini. L'articolo prende in esame l'analisi della forma, dei canoni, della sintassi armonica e delle costruzioni di natura #matematica tipiche di Dallapiccola.

https://riviste.unimi.it/index.php/exchordis/article/view/22483?mtm_campaign=mastodon

#musica