Le dimostrazioni di teoremi fondate sull’uso di calcolatori
Francesco de Giovanni, Tommaso Landolfi (1999)
Bollettino dell'Unione Matematica Italiana
Similarity:
Displaying similar documents to “Verifica automatica del ragionamento matematico”
Le dimostrazioni di teoremi fondate sull’uso di calcolatori
Matematica, scienza del calcolo, creatività e formazione
Milvio Capovani (2002)
Bollettino dell'Unione Matematica Italiana
Similarity:
Integrazione dell’interpretazione astratta in un compilatore Prolog basato sulla WAM. Appendice: Un passo verso una metodologia per lo sviluppo di programmi Mercury: una semantica dichiarativa per Mercury
Baldan Dante (2000)
Bollettino dell'Unione Matematica Italiana
Similarity:
Macchine che producono numeri primi
Alessandro Zaccagnini (2016)
Matematica, Cultura e Società. Rivista dell'Unione Matematica Italiana
Similarity:
In questo articolo ci occupiamo della possibilità di produrre "meccanicamente" i numeri primi. In particolare, trattiamo criticamente il Crivello di Eratostene, la macchina di Conway e la formula di Gandhi, che permettono di determinare tutti i numeri primi.
L'organizzazione , conseguita negli Stati Uniti d'America, delle ricerche di Matematica Applicata
J.H. Curtiss, Mauro Picone (1949)
Bollettino dell'Unione Matematica Italiana
Similarity:
Gli Scacchi e i Matematici
Paolo Ciancarini (1999)
Bollettino dell'Unione Matematica Italiana
Similarity:
Mostre di matematica: soltanto una nuova moda o una strategia interessante?
Simonetta Di Sieno (2002)
Bollettino dell'Unione Matematica Italiana
Similarity: