Logiche non standard
Claudio Pizzi
Alcune famiglie di logiche non standard sono costituite da logiche che sono estensioni assiomatiche di quella standard, mentre altre constano di logiche rappresentabili [...] considera-te inattaccabili per i condizionali, tra cui transiti-vità: (A□→B B□→C)⊃(A□→C); contrapposizione: A□→B∉B□→∉A; monotònicità: A□→B⊃((A C)□→B).
Nei casi in cui il condizionale non è controfattuale ma fattuale (indicativo), cioè in cui è vero ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Teoria dei sistemi e controllo
Mark Aizerman
Teoria dei sistemi e controllo
La teoria del controllo si è formata, come campo di ricerca indipendente, [...] per fissare l'errore statico, la deviazione massima delle coordinate controllate durante il processo transiente, la monotonicità del processo transiente e così via. Per stimare questi parametri senza ricorrere all'integrazione delle equazioni ...
Leggi Tutto