Kontakt
Kako kupovati
Dostava
Savjetnik za kupnju
Logica E Raciocinio
Portugalski
61 b
Do 30 dana za povrat
Kupci su kupili i
/
Meki uvez
19.31
€
O objetivo do livro é a apresentaçăo dos principais conceitos e metodologias associados ŕ Lógica para estudantes universitários de Informática. Introduz as noçőes de proposiçăo e de argumento e carateriza os seus possíveis valores, veracidade e falsidade e validade e invalidade, respetivamente. Apresenta os dois componentes de uma lógica, o sistema dedutivo e o sistema semântico, definindo as relaçőes entre eles, e introduzindo os conceitos de correçăo e completude. Apresenta a lógica proposicional e a lógica de primeira ordem. Em relaçăo a cada uma destas lógicas, discute a lógica sob dois aspetos distintos. Por um lado, apresenta os conceitos lógicos sob o ponto de vista tradicional, usando o sistema de deduçăo natural, de modo a fornecer bases sólidas para a compreensăo dos princípios e da metodologia da Lógica. Por outro lado, apresenta as técnicas desenvolvidas para permitir que um computador possa utilizar raciocínio de uma forma automática, nomeadamente recorrendo ŕ resoluçăo, diagramas de decisăo binários, e algoritmos de SAT. Apresenta a programaçăo em lógica, baseada na resoluçăo SLD e aborda o PROLOG, uma linguagem de programaçăo baseada em lógica.
Informacije o knjizi
Portugalski
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimcaMoglo bi vas zanimati i
/
Meki uvez
10.31
€
/
Meki uvez
29.33
€
/
Meki uvez
25.99
€
Dobar dan! Ja sam Libroamiko, vaš književni savjetnik.
Kako vam mogu pomoći?