Lingue per stato Matematica Scienza Scienze sociali Impresa Ingegneria Discipline umanistiche Storia
  1. Matematica
  2. Didattica della matematica
  3. Logica
linguistica -le
linguistica -le
Linguaggio matematico
Linguaggio matematico
Linguaggio enunciativo e valutazioni
Linguaggio enunciativo e valutazioni
Linguaggi Elementari
Linguaggi Elementari
Linguaggi di rappresentazione della conoscenza, logica
Linguaggi di rappresentazione della conoscenza, logica
Linguaggi di rappresentazione della conoscenza e logica
Linguaggi di rappresentazione della conoscenza e logica
Lingua e logica
Lingua e logica
Es_1) Nella classe 1X alla conclusione del primo periodo
Es_1) Nella classe 1X alla conclusione del primo periodo
Estratto
Estratto
Estensione al primo ordine delle logiche basate
Estensione al primo ordine delle logiche basate
Essere E non essere: questo è il problema
Essere E non essere: questo è il problema
Esercizio: tradurre le specifiche di un DB in formule logiche
Esercizio: tradurre le specifiche di un DB in formule logiche
Esercizio (logica proposizionale) Dimostrare che se Γ |= P allora
Esercizio (logica proposizionale) Dimostrare che se Γ |= P allora
Esercizi sulle derivazioni in logica proposizionale modale
Esercizi sulle derivazioni in logica proposizionale modale
ESERCIZI SUI GIOCHI DI EHRENFEUCHT (1) Sia L = {r}, dove r `e
ESERCIZI SUI GIOCHI DI EHRENFEUCHT (1) Sia L = {r}, dove r `e
Esercizi relativi al secondo modulo
Esercizi relativi al secondo modulo
Esercizi proposti con alcune soluzioni
Esercizi proposti con alcune soluzioni
Esercizi logica e tableau Proposizionali
Esercizi logica e tableau Proposizionali
Esercizi integrativi
Esercizi integrativi
Esercizi in preparazione della verifica di matematica
Esercizi in preparazione della verifica di matematica
Esercizi di logica proposizionale File
Esercizi di logica proposizionale File