Lingue per stato Matematica Scienza Scienze sociali Impresa Ingegneria Discipline umanistiche Storia
  1. Matematica
  2. Didattica della matematica
  3. Logica
Elementi di Logica - Dipartimento di Scienze Umane per la
Elementi di Logica - Dipartimento di Scienze Umane per la
Data - Informatica
Data - Informatica
Data - Informatica
Data - Informatica
corso09-1 - Pagine personali del personale della Scuola Normale di
corso09-1 - Pagine personali del personale della Scuola Normale di
Slides04_LogicaProposizioni File - Progetto e
Slides04_LogicaProposizioni File - Progetto e
Slides - Dipartimento di Scienze Ambientali, Informatica e Statistica
Slides - Dipartimento di Scienze Ambientali, Informatica e Statistica
Sistemi formali
Sistemi formali
restart - Cantook.net
restart - Cantook.net
Storia e fondamenti della matematica
Storia e fondamenti della matematica
Sintassi
Sintassi
Si dice che la componente h di una funzione euristica soddisfa la
Si dice che la componente h di una funzione euristica soddisfa la
Secondo Teorema di Incompletezza (Note)
Secondo Teorema di Incompletezza (Note)
se P… allora Q
se P… allora Q
Scheda insegnamento AA 2013-2014
Scheda insegnamento AA 2013-2014
µ-calculus Model Checking - Dipartimento di Informatica
µ-calculus Model Checking - Dipartimento di Informatica
x > y
x > y
verbo regola
verbo regola
tesi L. Lombardi
tesi L. Lombardi
Sulla potenza dell`insieme delle proposizioni di un dato sistema
Sulla potenza dell`insieme delle proposizioni di un dato sistema
Lezione_8
Lezione_8
La nuova immagine della matematica
La nuova immagine della matematica