Informática Teórica

von Lucien Sina

256 Seiten, Taschenbuch, ab 1 Jahre

Kurzbeschreibung des Verlags

Teórico de la informática — claro, conciso y práctico. La informática teórica se ocupa de las cuestiones fundamentales de la computabilidad y de la estructura de los lenguajes. Estudia qué problemas son resolubles por algoritmos, qué modelos son necesarios y cuáles son los límites de la computación. Este libro le guía paso a paso por los fundamentos de los lenguajes formales, la computabilidad y la teoría de autómatas. Conocerá los modelos más importantes —desde autómatas finitos, pasando por autómatas con pila y gramáticas libres de contexto, hasta la máquina de Turing— y aprenderá no solo las construcciones formales, sino también las técnicas de demostración necesarias para establecer propiedades de lenguajes y comprender los límites de lo computable. Conceptos complejos como el lema de bombeo, el teorema de Myhill–Nerode, la diagonalización o el teorema de Rice se explican de forma clara y didáctica. Numerosas ilustraciones, ejemplos y ejercicios con soluciones modelo ayudan a fijar la teoría y garantizan el aprendizaje. Los capítulos están estructurados de forma modular y con criterios pedagógicos, de modo que pueda elegir los temas que necesite o avanzar paso a paso. Las demostraciones se exponen de manera completa, al tiempo que se subraya la intuición y la relevancia práctica. En conjunto, obtiene una introducción sólida y accesible a una de las áreas centrales de la informática —ideal para estudiantes, docentes y para cualquiera que quiera entender y aplicar la informática teórica.

• Themen: Informatik und Informationstechnologie Informatik
• ISBN: 9783565187362
• Sprache: Spanisch
• Erscheinungsdatum: 21.01.2026
• Größe: 19 x 12.5 cm
• Verlag: epubli
• Empf. Lesealter: ab 1 Jahre