Listar Computación por tema "Calculo lambda"

Mostrando ítems 1-2 de 2

    • Lambda calculus meets machine learning 

      Flach, João Marcos (2023) [Tesis de maestría]
      Neural Networks are usually used in the context of machine learning to solve statistical problems and calculate approximations. However, its use for symbolic learning has been increasing in the past years, placing them in ...

    • Números naturais parciais 

      Escardo, Martin Hotzel (1993) [Tesis de maestría]
      Os números naturais parciais são informações parciais sobre números naturais e w. As propriedades matemáticas do domínio de números naturais parciais e de funções que envolvem este domínio são estudadas via o use da teoria ...