
Lógica Computacional
Diversas conquistas alcançadas por meio da inteligência artificial (IA) costumam passar despercebidas. É o que acontece, por exemplo, com a lógica computacional, inicialmente desenvolvida para auxiliar a IA, mas que acabou se tornando uma poderosa aliada na resolução de problemas tecnológicos. Em Lógica computacional, vamos abordar a lógica proposicional, mostrando como são provados sequentes lógicos e aplicadas regras de dedução natural. Além disso, você também poderá compreender a lógica dos predicados e a lógica modal, bem como circuitos e portas lógicas. Lembre-se: lógica é o ponto de partida.
Ofertas
Histórico de preços
Quero monitorar o preço
Receba alerta quando o Melhor Comprar encontrar o preço desejado, informe abaixo qual preço deseja pagar.

