Teoría de la computabilidad y lógica con esquema

¿Alguna vez se ha preguntado qué hace que un problema sea resuelto por una computadora, o cómo podemos probar matemáticamente que un programa se comporta exactamente como se pretendía?Este curso reduce la brecha entre la lógica matemática abstracta y la programación práctica mediante el uso del elegante lenguaje Scheme para explorar los límites fundamentales de la computación. Pasará de escribir expresiones básicas a comprender los profundos límites teóricos del software, los algoritmos y los sistemas lógicos. El curso comienza con la terminología esencial, estableciendo cómo funciona la evaluación como manipulación algebraica y reescritura de términos, y luego se introducen los conceptos básicos de la programación. Luego avanzará a conceptos teóricos complejos, incluidas las paradojas de autoaplicación, la semántica formal y el famoso problema de la parada. Lo que aprenderás: - Comprender los fundamentos de la teoría de computabilidad utilizando Scheme como modelo de computación - Analizar la evaluación como una forma de manipulación algebraica y reescritura de términos - Explore la mecánica de la autoaplicación, la recursión y los combinadores de punto fijo - Demostrar la indecidibilidad del problema de la parada y examinar sus implicaciones - Estudiar conjuntos enumerables recursivamente y su conexión con los teoremas de incompletitud - Aplicar principios de lógica formal a la especificación y verificación de programas Este plan de estudios basado en texto está diseñado para guiarlo paso a paso a través de densos conceptos teóricos.Comenzamos con definiciones fundamentales y modelos de sustitución simples antes de construir pruebas avanzadas, incompletitud y lógica de verificación de programas. Cada concepto está emparejado con fragmentos de código Scheme legibles para hacer matemáticas abstractas concretas. Este curso está diseñado para programadores curiosos, estudiantes de informática y estudiantes autodirigidos que desean comprender el alma matemática de la computación.No se requiere experiencia previa en lógica avanzada o teoría de computabilidad, aunque es útil una familiaridad básica con los conceptos de programación. Comience a leer hoy para desbloquear los principios más profundos de la informática y la lógica formal.