El enfoque lógico para las secuencias automáticas: Explorando combinatoria en palabras con Walnut

Las secuencias automáticas son secuencias sobre un alfabeto finito generadas por una máquina de estados finitos. Este libro presenta un punto de vista novedoso sobre las secuencias automáticas, y más generalmente sobre la combinatoria de palabras, al introducir un método de decisión a través del cual muchos resultados nuevos en combinatoria y teoría de números pueden ser probados o refutados automáticamente con poca o ninguna intervención humana. Este enfoque para probar teoremas es extremadamente poderoso, permitiendo que los argumentos largos y propensos a errores basados en casos sean reemplazados por cálculos simples. Los lectores aprenderán cómo expresar sus resultados deseados en lógica de primer orden, utilizando software libre para automatizar el proceso de cálculo. Los resultados que normalmente requieren pruebas de varias páginas pueden aparecer en milisegundos, lo que permite a los usuarios abordar preguntas matemáticas que de otro modo serían difíciles de resolver. Con más de 150 ejercicios incluidos, este texto es un recurso ideal para investigadores, estudiantes de posgrado y estudiantes universitarios avanzados que estudian combinatoria, secuencias y teoría de números.

Autor: Jeffrey Shallit
Editorial: Cambridge University Press
Publicado: 29/09/2022
Páginas: 374
Tipo de encuadernación: Tapa blanda
Peso: 1.20 lbs
Tamaño: 8.90 alto x 5.90 ancho x 0.90 profundidad
ISBN13: 9781108745246
ISBN10: 1108745245
Categorías BISAC:
- Computadoras | General