Lingue per stato Matematica Scienza Scienze sociali Impresa Ingegneria Discipline umanistiche Storia
  1. Matematica
  2. Didattica della matematica
  3. Logica
A B
A B
9 Calcolo dei sequenti LCp
9 Calcolo dei sequenti LCp
8.2 Logica - Dipartimento di Informatica e Sistemistica
8.2 Logica - Dipartimento di Informatica e Sistemistica
8.1 Logica - Dipartimento di Informatica e Sistemistica
8.1 Logica - Dipartimento di Informatica e Sistemistica
8 Linguaggi predicativi
8 Linguaggi predicativi
8 Due strategie per verificare una tautologia
8 Due strategie per verificare una tautologia
7. Logiche modali e temporali
7. Logiche modali e temporali
6. La dimostrazione - Dipartimento di Matematica
6. La dimostrazione - Dipartimento di Matematica
6. Implicazione classica + Calcolo dei sequenti
6. Implicazione classica + Calcolo dei sequenti
6. Giovanni Salmeri, Piccola storia della Logica. Il Novecento (Parte II)
6. Giovanni Salmeri, Piccola storia della Logica. Il Novecento (Parte II)
6. Calcolo dei sequenti LCp della Logica classica proposizionale ax
6. Calcolo dei sequenti LCp della Logica classica proposizionale ax
6 Linguaggio formale proposizionale
6 Linguaggio formale proposizionale
5Conoscenzaeragionamento
5Conoscenzaeragionamento
5Conoscenzaeragionamento
5Conoscenzaeragionamento
5. Logica formale
5. Logica formale
5. Breve storia della logica
5. Breve storia della logica
4.Conoscenza-e-ragionamento
4.Conoscenza-e-ragionamento
4. Introduzione alla logica dei predicati
4. Introduzione alla logica dei predicati
4 ottobre 2011 - Matematica e Informatica
4 ottobre 2011 - Matematica e Informatica
4 La Logica come base di ogni scienza 5 Alla ricerca
4 La Logica come base di ogni scienza 5 Alla ricerca
3.2 - Logica Fuzzy
3.2 - Logica Fuzzy