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:24, 5 ago 2023 Germanomosconi1 discussione contributi ha creato la pagina Discussione:Turing riduzione (←Nuova pagina: {{Tradotto da|en|Turing reduction|11 giugno 2023|1159565067}})
- 15:21, 5 ago 2023 Germanomosconi1 discussione contributi ha creato la pagina Turing riduzione (←Nuova pagina: In teoria della computabilità, una '''Turing-riduzione''' da un problema decisionale <math>A</math> ad un problema decisionale <math>B</math> è una macchina oracolo che decide il problema <math>A</math> dato un oracolo per <math>B</math> (Rogers 1967, Soare 1987). Può essere inteso come un algoritmo che potrebbe essere utilizzato per risolvere <math>A</math> se avesse a sua disposizione una Funzione (informatica)|s...)
- 14:39, 5 ago 2023 Germanomosconi1 discussione contributi ha creato la pagina Utente:Germanomosconi1/Turing riduzione (Creata dalla traduzione della pagina "Turing reduction") Etichette: TraduzioneContenuti TraduzioneContenuti2
- 16:02, 1 ago 2023 Germanomosconi1 discussione contributi ha creato la pagina Discussione:Relazione ternaria (←Nuova pagina: {{Tradotto da|en|Ternary relation|5 giugno 2023|1046013468}})
- 15:58, 1 ago 2023 Germanomosconi1 discussione contributi ha creato la pagina Relazione ternaria (←Nuova pagina: In matematica, una '''relazione ternaria''' o '''relazione triadica''' è una relazione in cui il numero di posti nella relazione è tre. Le relazioni ternarie possono anche essere indicate come '''3-adiche''', '''3-arie o''' '''3-dimensionali.''' Così come una relazione binaria è formalmente definita come un insieme di ''coppie'', cioè un sottoinsieme del prodotto cartesiano {{Tutto attaccato|''A'' × '...)
- 15:54, 1 ago 2023 Germanomosconi1 discussione contributi ha creato la pagina Utente:Germanomosconi1/Relazione ternaria (Creata dalla traduzione della pagina "Ternary relation") Etichette: TraduzioneContenuti TraduzioneContenuti2
- 00:40, 1 ago 2023 Germanomosconi1 discussione contributi ha creato la pagina Discussione:Predicato T di Kleene (←Nuova pagina: {{Tradotto da|en|Kleene's T predicate|5 giugno 2023|1158657648}})
- 00:32, 1 ago 2023 Germanomosconi1 discussione contributi ha creato la pagina Predicato T di Kleene (←Nuova pagina: In teoria della computabilità, il '''predicato T''', studiato per la prima volta dal matematico Stephen Cole Kleene, è una particolare relazione ternaria sui numeri naturali, che viene utilizzata per rappresentare funzioni calcolabili all'interno delle teorie formali dell'aritmetica. Intuitivamente, il predicato ''T'' dice se un particolare P...) Etichetta: Modifica visuale: commutato
- 00:17, 1 ago 2023 Germanomosconi1 discussione contributi ha creato la pagina Utente:Germanomosconi1/Predicato T di Kleene (Creata dalla traduzione della pagina "Kleene's T predicate") Etichette: TraduzioneContenuti TraduzioneContenuti2
- 17:07, 22 lug 2023 Germanomosconi1 discussione contributi ha creato la pagina Discussione:Dimostrazione originale del teorema di completezza di Gödel (←Nuova pagina: {{Tradotto da|en|Original proof of Gödel's completeness theorem|21 luglio 2023|1166424641}})
- 17:02, 22 lug 2023 Germanomosconi1 discussione contributi ha creato la pagina Dimostrazione originale del teorema di completezza di Gödel (←Nuova pagina: destra|miniatura|250x250px| Kurt Gödel (1925) La dimostrazione del teorema di completezza di Gödel, fornita da Kurt Gödel nella sua tesi di dottorato del 1929 (e una versione più breve, pubblicata come articolo nel 1930, intitolata "La completezza degli assiomi del calcolo funzionale della logica" in tedesco) ad oggi non è facile da leggere: utilizza concetti e formalismi in disuso e terminologie spesso oscure....)
- 16:05, 22 lug 2023 Germanomosconi1 discussione contributi ha creato la pagina Utente:Germanomosconi1/Dimostrazione originale del teorema di completezza di Gödel (Creata dalla traduzione della pagina "Original proof of Gödel's completeness theorem") Etichette: TraduzioneContenuti TraduzioneContenuti2
- 16:41, 1 mag 2022 Germanomosconi1 discussione contributi ha creato la pagina Discussione:2-satisfiability (←Nuova pagina: {{Tradotto da|en|2-satisfiability|26 gennaio 2022|1068146600}})
- 11:43, 27 apr 2022 Germanomosconi1 discussione contributi ha creato la pagina Utente:Germanomosconi1/2-satisfiability (Creata dalla traduzione della pagina "2-satisfiability") Etichette: TraduzioneContenuti TraduzioneContenuti2
- 08:27, 1 ago 2021 Germanomosconi1 discussione contributi ha creato la pagina Utente:Germanomosconi1/Sandbox (←Nuova pagina: <math> sums(n,k) \begin{cases} 1, & \text{se } k = 1 \lor k = n \\ n - 1, & \text{se } k = 2 \\ \sum_{i = 1}^{n - (k - 1)} sums(n - i, k - 1), & \text{altrimenti} \end{cases} </math>) Etichette: Modifica visuale Modifica da mobile Modifica da web per mobile Modifica da mobile avanzata
- 23:39, 19 nov 2019 Germanomosconi1 discussione contributi ha creato la pagina Utente:Germanomosconi1/Teoria dei tipi omotopica (Creata dalla traduzione della pagina "Homotopy type theory") Etichette: TraduzioneContenuti TraduzioneContenuti2
- 17:29, 18 nov 2019 Germanomosconi1 discussione contributi ha creato la pagina Discussione:Teoria dei tipi intuizionista (←Nuova pagina: {{Tradotto da|en|Intuitionistic type theory|5 ottobre 2019}})
- 00:33, 17 nov 2019 Germanomosconi1 discussione contributi ha creato la pagina Utente:Germanomosconi1/Teoria dei tipi intuizionista (Creata dalla traduzione della pagina "Intuitionistic type theory") Etichette: TraduzioneContenuti TraduzioneContenuti2
- 19:26, 16 nov 2019 Germanomosconi1 discussione contributi ha creato la pagina Teoria dei tipi intuizionista (Creata dalla traduzione della pagina "Intuitionistic type theory") Etichette: TraduzioneContenuti TraduzioneContenuti2
- 08:13, 15 ago 2013 L'utenza Germanomosconi1 discussione contributi è stata creata
.png){kind=link}