Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
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.
