ESTE ES UN TEXTO PENSADO PARA ESTUDIANTES Y PROFESORES INCLINADOS A LAS MATEMÁTICAS, LA LÓGICA Y LOS FUNDAMENTOS DE SU AUTOMATIZACIÓN: ALUMNOS DE PRIMEROS CURSOS DE LÓGICA Y AQUELLOS PROGRAMADORES DE PROLOG QUE NO HAN TENIDO LA OPORTUNIDAD DE ASOMARSE A LA BASE SOBRE LA QUE DESCANSA SU TRABAJO, SE HA PROCURADO QUE EL MATERIAL ELEGIDO SEA HOMOGÉNEO Y RIGUROSO. EL LECTOR COMIENZA EL TRÁNSITO A LO LARGO DE UNA LÍNEA DE LA QUE NO SE SEPARARÁ Y QUE LE CONDUCE CON CLARIDAD HASTA LOS FUNDAMENTOS Y LAS PRIMERAS NOCIONES DE LA PROGRAMACIÓN LÓGICA Y PROLOG. PARA EL CAMINO SE LE PROPORCIONA TODO EL CONOCIMIENTO NECESARIO, TENDRÁ QUE ASOMARSE A NUEVOS SISTEMAS FORMALES CON SU CORRESPONDIENTE TEORÍA Y NADA SERÁ SUPERFLUO PORQUE PRONTO VERÁ CÓMO DICHA TEORÍA TIENE LA POTENCIA NECESARIA PARA IR HACIENDO LA LÓGICA CADA VEZ MÁS ALGORÍTMICA. APRENDEREMOS A VERIFICAR CON PRECISIÓN Y RIGOR POR QUE SON REALMENTE VÁLIDOS LOS TEOREMAS, ESTAMOS ASÍ EN PLENO CENTRO DE LAS TEORÍAS DE PRIMER ORDEN, LA BASE DE TODA LÓGICA; APARECEN SUS RAÍCES SANAS Y FUERTES POR SU PAPEL EN EL DESARROLLO DE LA CIENCIA MODERNA. EL AUTOR HA HECHO DE ESTAS PRIMERAS NOCIONES UNA BASE PARA EL DESARROLLO DEL TEXTO A PARTIR DE SU PROPIO TRABAJO CIENTÍFICO Y EXPERIENCIA DOCENTE EN LÓGICA.
Valoraciones
No hay valoraciones aún.