La grande scienza. Combinatoria
Peter J. Cameron
Combinatoria
Secondo alcuni la combinatoria costituisce soltanto una parte della matematica, secondo altri essa non rappresenta una branca separata, [...] dimostrabile nell'aritmetica di Peano fu scoperto da J. Paris e L. Harrington (1977), e si tratta di un problema di combinatoria (è un in generale riducendo gli elementi che entrano nei tableaux (James 1981).
Un altro legame del tutto inatteso è dato ...
Leggi Tutto
La grande scienza. Automi e linguaggi formali
Dominique Perrin
Automi e linguaggi formali
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. [...] a una serie di idee avanzate da Juri Gurevich e Leo Harrington, il cui punto chiave è l'uso di strategie vincenti in 1956, pp. 3-42.
Knuth 1977: Knuth, Donald E. - Morris, James H. - Pratt, Vaughan R., Fast pattern matching in strings, "SIAM journal ...
Leggi Tutto
Combinatoria
Peter J. Cameron
Secondo alcuni la combinatoria costituisce soltanto una parte della matematica, secondo altri non rappresenta una branca separata dalle altre ma le pervade tutte, poiché [...] aritmetica di Peano fu scoperto da Jeff Paris e Leo Harrington e si tratta di un problema di combinatoria. Tale Stuart, Makers of mathematics, London, Penguin, 1989.
James 1981: James, Gordon D., The representation theory of the symmetric group ...
Leggi Tutto