Lógica - Ciência da Computação

Livro sobre lógica para ciência da computação. A ciência da computação é responsável pela matemática que existe por trás dos programas de computadores e seus complexos algorítmos. As aplicações de cada software,  a sua implementação e execução em computadores, odece uma lógica matemática. Nesta material você estudará sobre fundamentos de linguagem de programação, semântica e sistemas de dedução. Este material conta também com mais de 600 exercícios selecionados e com as respetivas resoluções. O livro está dividido em duas partes, abrangendo dois assuntos da lógica:  lógica proposital e lógica de predicados. Dentro de cada um destes assuntos você verá vários tópicos relacionados à lógica de programação. Entenda como funciona as linguagens de programas de computadores.


http://zip.net/bglfyh

0 comentários:

Postar um comentário

Somente comentários serão exibidos. Propagandas de outros sites serão denunciadas como span. Não insistam.