Lingue per stato Matematica Scienza Scienze sociali Impresa Ingegneria Discipline umanistiche Storia
  1. Matematica
  2. Didattica della matematica
  3. Logica
07-9 PredQuant - Università degli studi di Bergamo
07-9 PredQuant - Università degli studi di Bergamo
04 - Logica delle dimostrazioni - Università degli Studi di Palermo
04 - Logica delle dimostrazioni - Università degli Studi di Palermo
02 - Logica delle dimostrazioni - Università degli Studi di Palermo
02 - Logica delle dimostrazioni - Università degli Studi di Palermo
- Glocal University Network
- Glocal University Network
(“And”) e
(“And”) e
(“And”) e
(“And”) e
(1 03 2)46 5 7 89 @bad ce9dfhgd8ip9r qe9 shs
(1 03 2)46 5 7 89 @bad ce9dfhgd8ip9r qe9 shs
(*i)-/(f.) - Seminario Matematico
(*i)-/(f.) - Seminario Matematico
"di verità"
"di verità"
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
Esercizi: PL I
Esercizi: PL I
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