Pullo Hol è un ambiente di programmazione in cui i teoremi possono essere implementati strumenti dimostrati e prove.
Scarica ora

Pullo Classifica e riepilogo

Pullo Tag

Ambiente di programmazione automatizzato sistema di prova teorems solver. HOL prova

Pullo Descrizione

Hol è un ambiente di programmazione in cui i teoremi possono essere implementati e strumenti di prova. Hol Breve Dalla logica di ordine superiore è un ambiente di programmazione in cui i teoremi possono essere dimostrati e strumenti di prova implementati.Built-in procedure decisionali e provenienti di teorema possono stabilire automaticamente molti semplici teoremi. Un meccanismo Oracle dà accesso a programmi esterni come i motori SAT e BDD.hol 4 è particolarmente idoneo come piattaforma per implementare combinazioni di deduzione, esecuzione e controllo della proprietà. Che cosa è nuovo in questa versione: · È stata aggiunta la nuova notazione di comprensione impostata. · SML è stata aggiunta notazione delle stringhe. · Il supporto per l'editor Xemacs è stato aggiunto. · Le espressioni delle case possono ora includere i letterali come schemi. · Le definizioni induttive sono ora effettuate rispetto a un variare monoset. · Tipi che utilizzano i modelli abbreviati sono stampati in forma abbreviata. · È stato aggiunto il supporto per numeri razionali e numeri interi a lunghezza fissa. · Bugs che impedivano che alcuni componenti di compilazione sotto GCC 4 sono stati corretti. · La normalizzazione nei numeri naturali e nei numeri interi è stato fissato. · La gestione di stringhe vuote è stata fissata.

Pullo Software correlato