Google, IBM & Meta Certificates – 40% Off
One plan covers every Professional Certificate on Coursera.
Unlock All Certificates
Explora la relación fundamental entre lógica y computación en este seminario de 73 minutos que examina cómo diferentes sistemas lógicos proporcionan los fundamentos teóricos para aspectos cruciales del cómputo, con especial énfasis en la verificación de programas y su importancia transversal en las ciencias de la computación.
