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 “L'apprendimento della matematica”
Le dimostrazioni di teoremi fondate sull’uso di calcolatori
Gli Scacchi e i Matematici
Paolo Ciancarini (1999)
Bollettino dell'Unione Matematica Italiana
Similarity:
Verifica automatica del ragionamento matematico
Marco Maggesi, Carlos Simpson (2006)
Bollettino dell'Unione Matematica Italiana
Similarity:
Controllare la correttezza di un ragionamento matematico, quando questo sia completamente formalizzato, è un compito che può essere delegato ad una macchina. Nasce in questo modo la Matematica Verificata al Calcolatore, una disciplina prossima alla forse più nota Dimostrazione Automatica dei Teoremi, ma da questa distinta permetodologie e obiettivi. Questo articolo si propone di presentare la verifica automatica delle dimostrazioni e di offrire alcuni spunti di riflessione sulle possibili...
Il ruolo della matematica nella istruzione carolingia e le PROPOSITIONES AD ACUENDOS JUVENES di Alcuino di York
Raffaella Franci (1999)
Bollettino dell'Unione Matematica Italiana
Similarity:
Ricordo di Giuseppe Colombo, uno scienziato di fronte al mondo
Giuseppe Grioli (1999)
Bollettino dell'Unione Matematica Italiana
Similarity:
Un Abbaco d'antan
Salvatore Coen (1998)
Bollettino dell'Unione Matematica Italiana
Similarity:
La maledizione di Canaan (Genesi IX. 20-27) e gli Africani sub-sahariani nella letteratura scientifica e teologica (1646-1733)
Renato G. Mazzolini (1998-1999)
Philosophia Scientiae
Similarity: