Principali registri pubblici
Presentazione unificata di tutti i registri di Wikipedia. È possibile restringere i criteri di ricerca selezionando il tipo di registro, l'utente che ha eseguito l'azione, e/o la pagina interessata (entrambi i campi sono sensibili al maiuscolo/minuscolo).
- 15:52, 9 giu 2022 Leno3003 discussione contributi ha creato la pagina Discussioni bozza:Unificazione (informatica) (Delucidazioni: nuova sezione) Etichetta: Nuovo argomento
- 15:32, 9 giu 2022 Leno3003 discussione contributi ha creato la pagina Unificazione (informatica) (←Nuova pagina: == Definizione == L'Unificazione (o Unificatore) è un tipo particolare di Sostituzione tale per cui, prese due formule della <nowiki/>logica del prim'ordine F<sub>1</sub> ed F<sub>2</sub>, esse risultino uguali. ==== Esempio ==== Siano: # F<sub>1</sub>: C(x) and D(y) # F<sub>2</sub>: C(A) and D(B) Con A e B costanti, ed x e y variabili, l'unificatore risulta essere la sostituzione {x/A, y/B}.) Etichette: sospetto wikilink esterno a it.wiki Modifica visuale: commutato
- 15:12, 9 giu 2022 L'utenza Leno3003 discussione contributi è stata creata