06 — NP-completeness and SAT: from Cook-Levin to real problems
Cook-Levin theorem: SAT is NP-complete. Reductions to 3-SAT, vertex cover, clique, hamiltonian path.…
02 — Computability: Church-Turing thesis
What computable means: Church-Turing thesis, equivalence between lambda calculus, partial recursive functions and TM.
¿Qué opinas de este artículo?
En Resumen XPHX0XPHX La vida es un misterio que se nos escapa.
What computable means: Church-Turing thesis, equivalence between lambda calculus, partial recursive functions and TM.
Discute este artículo en la comunidad
Únete al grupo Telegram para discutir con otros desarrolladores, hacer preguntas y compartir tus experiencias.
¿Te ha gustado este artículo?
Explora otros contenidos en el blog o descubre mis proyectos XPHX0XPHX
Commenti
Caricamento commenti...
Accedi per lasciare un commento