Kontakt
Jak kupować
Dostawa
Doradca ds. zakupów
Logica E Raciocinio
Portugalski
58 b
Nawet do 30 dni na zwrot
Klienci kupili także
/
Miękka
83.89
zł
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.
Informacje o książce
Portugalski
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanegoMogłoby Cię także zainteresować
/
Miękka
44.76
zł
/
Miękka
133.48
zł
/
Miękka
112.54
zł
Cześć! Jestem Libroamiko, Twój doradca książkowy.
Jak mogę Ci pomóc?