Add to ORKGUso di metodi algebrici nella definizione di sintassi e semantica di linguaggi programmativi
le relazioni intellettuali fra goedel e turing e le conseguenze sulla teoria della computazion
Si tratta di un articolo a funzione didattico-divulgativa sullo stato attuale della ricerca in logic...
Considerazioni sull'uso di software didattico come ausilio per osservare e comprenderele difficolta'...
Monografia sull'utilizzo dei CAS (Computer algebra system) nell'insegnamento della matematica
Il Volume fornisce il linguaggio e gli strumenti matematici di Algebra di base che si usano tradizio...
Lo sviluppo dei Computer Algebra Systems, su personal computer o nelle calcolatrici grafico-simbolic...
L’articolo si occupa del rapporto esistente tra le ricerche italiane in didattica della matematica e...
Dottorato di ricerca in matematica computazionale ed informatica matematica. 7. cicloConsiglio Nazio...
Dottorato di ricerca in informatica. 7. ciclo. Relatore G. LeviConsiglio Nazionale delle Ricerche - ...
Algebra Lineare. Tecniche di algebra lineare in Geometria. Programma FORTRAN per la classificazione ...
In questo lavoro viene analizzato l'impatto dell'opera di Alan Turing sulla ricerca logica. In parti...
Si mostra un percorso didattico che sfrutta le potenzialità della computer algebra per rendere più f...
Il lavoro presenta alcuni concetti fondamentali nell'Algebra classica e moderna, e si propone di evi...
Nell'articolo si avanza una proposta didattica riguardante l'insegnamento della logica nella scuola ...
Questa tesi si occupa dello studio dell'estensione del linguaggio di rappresentazione della Program...
le relazioni intellettuali fra goedel e turing e le conseguenze sulla teoria della computazion
Si tratta di un articolo a funzione didattico-divulgativa sullo stato attuale della ricerca in logic...
Considerazioni sull'uso di software didattico come ausilio per osservare e comprenderele difficolta'...
Monografia sull'utilizzo dei CAS (Computer algebra system) nell'insegnamento della matematica
Il Volume fornisce il linguaggio e gli strumenti matematici di Algebra di base che si usano tradizio...
Lo sviluppo dei Computer Algebra Systems, su personal computer o nelle calcolatrici grafico-simbolic...
L’articolo si occupa del rapporto esistente tra le ricerche italiane in didattica della matematica e...
Dottorato di ricerca in matematica computazionale ed informatica matematica. 7. cicloConsiglio Nazio...
Dottorato di ricerca in informatica. 7. ciclo. Relatore G. LeviConsiglio Nazionale delle Ricerche - ...
Algebra Lineare. Tecniche di algebra lineare in Geometria. Programma FORTRAN per la classificazione ...
In questo lavoro viene analizzato l'impatto dell'opera di Alan Turing sulla ricerca logica. In parti...
Si mostra un percorso didattico che sfrutta le potenzialità della computer algebra per rendere più f...
Il lavoro presenta alcuni concetti fondamentali nell'Algebra classica e moderna, e si propone di evi...
Nell'articolo si avanza una proposta didattica riguardante l'insegnamento della logica nella scuola ...
Questa tesi si occupa dello studio dell'estensione del linguaggio di rappresentazione della Program...
le relazioni intellettuali fra goedel e turing e le conseguenze sulla teoria della computazion
Si tratta di un articolo a funzione didattico-divulgativa sullo stato attuale della ricerca in logic...
Considerazioni sull'uso di software didattico come ausilio per osservare e comprenderele difficolta'...