Los problemas tecnológicos y científicos actuales dependen de estimaciones precisas de cantidades muy pequeñas. Es por eso que son necesarias teorías confiables, aunque generalmente complejas, que nos permitan excluir las mínimas diferencias. Con el desarrollo de las modernas calculadoras, los métodos que antes parecían abstracciones académicas han cobrado su importancia....
El capítulo 1 inicia revisando la lógica de primer orden, desde qué es una expresión bien construida del lenguaje lógico de primer orden sobre un vocabulario, las condiciones de satisfacibilidad respecto de un modelo de primer orden, y la forma de asociar oraciones de un lenguaje natural a un lenguaje...
