teoria dos tipos - Ramo da matemática e da lógica que se preocupa com a classificação de entidades em conjuntos chamados tipos.

computação ubíqua; computação pervasiva - (Compt.) termo usado para descrever a onipresença da informática no cotidiano das pessoas

álgebra universal -

geografia urbana -

sociologia urbana -

estudos urbanos -

urologia -

uso (da língua) -

estudos utópicos -

astronomia ultravioleta; astronomia por raios ultravioletas -