tecniche di computazione automatica di un teorema consistono nell'applicazione di metodi computazionali alla dimostrazione dei teoremi. In generale, la procedura...

sistema formale; di fatto ci sono programmi per controllare le dimostrazioni o cercarne di nuove: si chiamano dimostratori automatici dei teoremi o General Theorem...

più sviluppate del ragionamento automatico sono la dimostrazione automatica di teoremi e il proof checking automatico, ma ulteriore lavoro è stato svolto...

logica. Teorema di semidecidibilità Teorema di completezza (forte) Teorema di completezza (debole) Teoremi di incompletezza di Gödel Teorema di Löwenheim-Skolem...

la dimostrazione di Gödel a un livello adatto per la dimostrazione automatica di teoremi o almeno alla verifica al computer tramite assistenti di dimostrazione...

giocatore, e così via. Nei campi della pianificazione automatica o della dimostrazione automatica di teoremi, questo metodo è chiamato ricerca a ritroso (in...

dimostrazione automatica di teoremi. Le classi di Wu e la formula di Wu furono chiamate così in suo onore. Nell'ambito della dimostrazione automatica...

verifica automatica della dimostrazione dei teoremi. Esiste una generalizzazione del teorema della curva di Jordan in dimensioni maggiori di 2. Sia X...

lo strumento fondamentale per la dimostrazione dei teoremi. Infatti ogni dimostrazione cerca di ricondurre il teorema a una tautologia per dimostrarne...

della formulazione e dimostrazione rigorosa dei teoremi dell'analisi infinitesimale basato sull'utilizzo delle nozioni di limite e di continuità. Ha dato...

ritroso verso i dati a disposizione. Viene usato per la dimostrazione automatica di teoremi, per il funzionamento dei motori inferenziali ed altre applicazioni...

facente uso della regola del taglio possiede anche una dimostrazione senza taglio cioè una dimostrazione che non fa uso della regola del taglio. Un sequente...

dimostratore automatico di teoremi EQP. Per una prova completa della congettura di Robbins in una notazione coerente e vicina alla dimostrazione automatica di McCune...

Poincaré, sebbene mancante di una dimostrazione completa. Ivar Otto Bendixson diede una dimostrazione completa del teorema nel 1901. Nella pratica è difficile...

{\displaystyle 0} . Esistono teoremi che costituiscono condizioni sufficienti affinché una funzione reale di variabile reale e di classe C ∞ {\displaystyle...

1. Un'altra forma di questa dimostrazione moltiplica 1⁄9 = 0,111… per 9. Una versione ancora più semplice della stessa dimostrazione si basa sulle seguenti...

trasformata mostrate nella dimostrazione riportata in seguito. Il teorema è valido anche per la trasformata di Laplace. La dimostrazione presentata è mostrata...

nello studio delle reti lineari. (Dimostrazione semplificata nel caso in cui f' sia integrabile) Dall'integrale di Laplace si ottiene: F ( s ) = ∫ 0 ∞...

matematici che consenta l'applicazione di tecniche di apprendimento automatico nella dimostrazione di teoremi interattiva e automatizzata. Hales ha vinto il...

notazione matematica, e in parte ai limiti dei dimostratori di teoremi e degli assistenti di dimostrazione esistenti; il documento rileva che i principali competitor...

della condizione necessaria e sufficiente è automatica in quanto è stata mostrata per ognuno dei teoremi enunciati. La matrice: ( 2 2 1 2 5 0 1 0 1 )...

{\displaystyle K} di grado maggiore o uguale a 1. È anche interessante notare come questa dimostrazione risulti analoga alla dimostrazione del teorema dell'infinità...

sistemi lineari di equazioni differenziali. Ha quindi un'importante applicazione nella teoria dei sistemi e nella teoria dei controlli automatici. Sia A {\displaystyle...

automatici Sistemi dinamici Criterio di Nyquist Teorema di Masreliez Perturbazioni dei processi LTI Portale Controlli automatici: accedi alle voci di...

teoremi sulla gravità di Archimede; nel secondo è un trattato sui vantaggi delle macchine semplici e delle loro combinazioni; nel terzo si tratta di applicazioni...

"metamatematica", in grado di dimostrare la coerenza di qualsiasi sistema formale. L'approccio hilbertiano crollò con i teoremi di incompletezza di Kurt Gödel, che...

E ′ B {\displaystyle E'B} . Dimostrazione Per la dimostrazione si può procedere in due modi: Primo metodo Per il teorema delle tangenti e delle secanti...

dei linguaggi di programmazione, proprietà di programmi e loro dimostrazione automatica. A Stanford ha definito una semantica per il PASCAL in LCF (Logic...

68T15 dimostrazione automatica dei teoremi (deduzione, risoluzione ecc.) [vedi anche 03B35] 68T20 soluzione dei problemi (euristica, strategie di ricerca...

particolare, nella dimostrazione del teorema dei quattro colori) e dall'altro ha richiesto alla teoria dei grafi di indagare su algoritmi e modelli di forte impatto...

sull'applicazione di dispositivi di media scala e la dimostrazione della supremazia quantistica insieme allo scopo a lungo termine di costruire e usare...