Identificação de linguagens e funções, tais como leis científicas ou teorias científicas descritas através de conjuntos de números ou de funções. Introdução à aprendizagem automática, tendo como foco (a) leis que podem ser aprendidas por cientistas computáveis ou não computáveis, (b) complexidade da identificação e (c) a validade de inferências indutivas.
