Indice
7 relazioni: Endofunzione, Funzione ricorsiva, Java (linguaggio di programmazione), John McCarthy, Lisp, Matematica discreta, Punto fisso.
- Metodi formali
Endofunzione
In matematica una endofunzione è una funzione avente il codominio contenuto o coincidente con il dominio. In molti contesti risulta utile considerare l'insieme delle endofunzioni entro un dato insieme S, insieme che denotiamo, come talora si usa fare, con End(S).
Vedere Funzione 91 di McCarthy e Endofunzione
Funzione ricorsiva
Nella logica matematica e nell'informatica, le funzioni ricorsive sono una classe di funzioni dai numeri naturali ai numeri naturali che sono "calcolabili" in un qualche senso intuitivo.
Vedere Funzione 91 di McCarthy e Funzione ricorsiva
Java (linguaggio di programmazione)
In informatica Java è un linguaggio di programmazione ad alto livello, orientato agli oggetti e a tipizzazione statica, che si appoggia sull'omonima piattaforma software di esecuzione, specificamente progettato per essere il più possibile indipendente dalla piattaforma hardware di esecuzione (tramite compilazione in bytecode prima e interpretazione poi da parte di una JVM) (sebbene questa caratteristica comporti prestazioni in termini di computazione inferiori a quelle di linguaggi direttamente compilati come C e C++ ovvero dunque perfettamente adattati alla piattaforma hardware).
Vedere Funzione 91 di McCarthy e Java (linguaggio di programmazione)
John McCarthy
McCarthy si distingueva per le sue conoscenze di logica matematica in relazione all'Intelligenza Artificiale. Una scuola di pensiero diversa, nata al MIT, propone l'"inclusione procedurale del sapere" usando piani di alto livello, asserzioni, e ponendo il primo traguardo nel linguaggio Planner ed in seguito nella Scientific Community Metaphor.
Vedere Funzione 91 di McCarthy e John McCarthy
Lisp
Lisp (List Processor) è una famiglia di linguaggi di programmazione con implementazioni sia compilate sia interpretate, associata nel passato ai progetti di intelligenza artificiale.
Vedere Funzione 91 di McCarthy e Lisp
Matematica discreta
La matematica discreta è la branca della matematica che studia le strutture matematiche discrete, nel senso che non supportano o richiedono né il concetto di continuità né quello di densità.
Vedere Funzione 91 di McCarthy e Matematica discreta
Punto fisso
In matematica, un punto fisso per una funzione definita da un insieme in sé è un elemento coincidente con la sua immagine.
Vedere Funzione 91 di McCarthy e Punto fisso
Vedi anche
Metodi formali
- Abstract state machine
- Algebra di Robbins
- Asserzione (informatica)
- Bisimulazione
- Dependability
- Dimostrazione automatica di teoremi
- Funzione 91 di McCarthy
- Lambda calcolo
- Macchina di Turing
- Manifesto QED
- Metodi formali
- Mondex
- Postcondizione
- Precondizione
- Principio di sostituzione di Liskov
- Rational Unified Process
- Semantica formale
- Sistema critico
- Soddisfacibilità booleana
- Teoria degli insiemi
- Verifica formale