Connettivi logici

51 Fragen

Forme normali

49 Fragen

Tautologie e contraddizioni

57 Fragen

Dimostrazioni

44 Fragen

Predicati e quantificatori

58 Fragen

Forme normali

11 Fragen

Unificazione

47 Fragen

Dimostrazioni

37 Fragen

Operatori modali

58 Fragen

Sistemi modali

48 Fragen

Dimostrazioni

54 Fragen

Operatori temporali

52 Fragen

Logiche temporali lineari

40 Fragen

Dimostrazioni

41 Fragen

Insiemi fuzzy

44 Fragen

Operatori fuzzy

19 Fragen

Inferenza fuzzy

56 Fragen