Kontakt
Wie einkaufen
Versand
Kaufberater
Logica E Raciocinio
Portugiesisch
55 b
Bis zu 30 Tage Rückgaberecht
Kunden kauften auch
/
Broschur
9.89
€
/
Broschur
18.69
€
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.
Informationen zum Buch
Portugiesisch
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefertDas könnte Sie auch interessieren
/
Broschur
27.49
€
/
Broschur
24.99
€
Hallo! Ich bin Libroamiko, dein Buchberater.
Wie kann ich dir helfen?