Lógica Simbólica: O que é? Para que Serve? Como Funciona?

ago 01

Homem com peruca longa e escura, vestindo trajes de época, escrevendo com uma pena em uma mesa cheia de livros e manuscritos em uma biblioteca.

Leibniz e o código binário: o filósofo do século XVII que ajudou a criar a linguagem dos computadores

Publicado por: Jorge Freitas Automação, Inteligência Artificial, Lógica Simbólica, Otimização para Mecanismos de Pesquisa, Transformação Digital Sem comentário

Descubra como o filósofo Gottfried Wilhelm Leibniz antecipou a computação moderna e a inteligência artificial ao formalizar a aritmética binária no século XVII.

Continuar lendo...

ago 01

Retrato em preto e branco de Alan Turing, com códigos e diagramas ao fundo.

Alan Turing: da máquina abstrata ao computador universal

Publicado por: Jorge Freitas Algoritmos, Aprendizado de Máquina, Automação, Inteligência Artificial, Lógica Simbólica, Tecnologia da Informação Sem comentário

Saiba como a obra de Alan Turing sobre uma máquina abstrata definiu o conceito de algoritmo e moldou a tecnologia atual.

Continuar lendo...

Lógica Simbólica2

Leibniz e o código binário: o filósofo do século XVII que ajudou a criar a linguagem dos computadores

Alan Turing: da máquina abstrata ao computador universal