logica intuizionista
Silvio Bozzi
La più studiata rivale della logica classica sin da quando fu assiomatizzata da Arend Heyting nel 1930. Già Anchei M. Kolmogorov nel 1925 e Vasili I. Glivenko nel 1929 [...] nessuna costruzione può realizzare), si vede immediatamente come il terzo escluso A∨←A risulti falso o come sia falsificabile una si possa interpretare su alberi dove ogni vertice costituisce uno stato di conoscenze e il passaggio da un vertice a uno ...
Leggi Tutto
CHIZZONI, Francesco
Nicoletta Janiro
Nacque a San Martino dell'Argine (Mantova) il 10 ag. 1848 da Giuseppe e da Onorata Gandolfi. Conseguì il diploma di laurea in ingegneria industriale presso il polite(inico [...] che si incontrano in una trasformazione involutoria di terzo grado nello spazzo, in cui l'autore ?, Roma 1908, p. 71; F. G. Tricomi, Matematici ital. del Primo secolo dello Stato unitario, in Atti d. Acc. d. sc. di Torino, classe di scienze mat., fis ...
Leggi Tutto
modello nascosto di Markov
Claudia Bertonati
Modello statistico in cui il sistema da modellare viene assunto essere un processo di Markov con parametri sconosciuti; la difficoltà consiste nel determinare [...] di output bisogna calcolare i valori delle probabilità degli stati nascosti (risolto con il back-forward algoritmo). Il secondo output (risolto con l’algoritmo di Viterbi). Infine il terzo problema consiste nel calcolare i parametri dell’HMM, dato un ...
Leggi Tutto
Mobius August Ferdinand
Möbius 〈mö´bius〉 August Ferdinand [STF] (Schulpforta 1790 - Lipsia 1868) Prof. di astronomia nell'univ. di Lipsia (1815) e direttore (1844) del locale Osservatorio astronomico. [...] congiungendo ad anello una striscia (per es., di carta) dopo che sia stato impresso, a un estremo di essa, un mezzo giro (figg. 1, eseguito lungo una linea che disti dal bordo per un terzo della larghezza della striscia. ◆ [ALG] Trasformazione di M ...
Leggi Tutto
molteplicita
molteplicità [Der. del lat. multiplicitas -atis, da multiplex (→ molteplice)] [ALG] M. d'intersezione: date due curve, definite una parametricamente, x₁=x₁(t), x₂=x₂(t), e l'altra dalla [...] e 3 in un punto di flesso. ◆ [MCQ] M. di stati: la condizione di un sistema quantistico quando più livelli consentiti vengono a andando a coincidere i 2l+1 livelli corrispondenti ai valori del terzo numero quantico, quello magnetico. ◆ [ALG] M. di ...
Leggi Tutto
terzo
tèrzo agg. num. ord. e s. m. [lat. tertius, der. di tres «tre»]. – 1. agg. a. Che, in una sequenza ordinata, occupa il posto corrispondente al numero tre, viene cioè dopo altri due (in cifre arabe 3°; in numeri romani III): il mio t....
terzo genitore
loc. s.le m. Chi si assume il compito di curare la crescita e l’educazione di un figlio che non ha generato. ◆ Nel vocabolario degli affetti un nome ancora non ce l’hanno. Da un punto di vista concreto si definiscono il «marito...