História da Computação Através dos Clássicos

  On Computable Numbers, with an Application to the Entscheidungsproblem, 1936. Allan Turing Artigo fundador da ciência da computação. Define as máquinas universais e introduz o problema da parada, um problema bem definido que não pode ser resolvido de maneira mecânica. Recursive Predicates and Quantifiers, 1943. Kleene Neste artigo Kleene propões o que hoje é … [Read more…]

Curso de Web-semântica 2015

Introdução The Semantic Web – T. Berners-Lee (leitura sugerida em inglês) Duas dimensões da Web Semântica Avaliação e critérios A Internet e a Web Information Management: A proposal – T. Berners-Lee (leitura sugerida em inglês) What do HTTP URIs identify? – T. Berners-Lee (leitura sugerida em inglês) Computer Networks – A. Tanembaum Arquitetura da Web … [Read more…]