TLA+ | Lenguaje de Especificación Formal
What you'll learn
- Conceptos básicos resumidos sobre la lógica de Leslie Lamport aplicada en TLA+
- Cómo funciona el espacio de código para los modelos de TLA+
- Cómo funcionan los comentarios de una línea y multilínea en TLA+
- Módulos estándar básicos e instrucciones de importación en TLA+
- Declaración de constantes y variables, lógica booleana y operadores, sets (propiedades y sus operadores)
Requirements
- Entender español a nivel medio-avanzado
Description
TLA+ | LENGUAJE DE ESPECIFICACIÓN FORMAL
TLA+ es uno de los lenguajes que más se deberían enseñar y que menos se ven en las plataformas de educación digitales. Supón que quieres crear un algoritmo, plantear un problema, crear un sistema digital concurrente o distribuido. ¿Sabes la cantidad de cosas que pueden salir mal con solo una sola línea mal escrita o con una fórmula mal planteada? En general, los lenguajes de programación compilables suelen indicar algunos de estos errores al tratar de crear archivos binarios ejecutables, pero no encuentran todas las posibilidades.
Por ello, para dar una solución a esta situación en muchos lenguajes de programación (antiguos, contemporáneos y futuros), Leslie Lamport creó TLA+, un lenguaje que no ejecuta código, sino que valora su correctitud y su confianza en que toda la ejecución del mismo va a salir como debería.
En este curso vas a aprender las bases para comenzar a trabajar con este lenguaje, lo cual te puede ganar un puesto en empresas grandes y en equipos de prestigio cuando desarrolles tu conocimiento sobre todo él. Aprenderás:
Conceptos básicos de la Lógica Temporal de Acciones desarrollada por Leslie Lamport en su especificación formal y la abstracción de las state machines de TLA+
Espacios para los modelos, módulos estándar de TLA+ que puede usar y a importarlos, declarar variables y constantes en su sección o bloque de código, comentar el código
Lógica booleana y sets en TLA+ con sus operadores particulares
(Curso creado por Daniel Lucas Hernández en 2022 en la plataforma de Udemy)
Who this course is for:
- Desarrolladores y programadores de sistemas concurrentes y sistemas distribuidos
- Programadores de cualquier lenguaje de programación
Instructor
![Daniel Lucas Hernández](data:image/svg+xml,%3Csvg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 64 64"%3E%3C/svg%3E){kind=avatar}
- 4.1 Instructor Rating
- 151 Reviews
- 3,802 Students
- 22 Courses
Estudié la ESO y Bachillerato de Ciencias de la Naturaleza y la Salud, luego hice un Grado de Estudios Ingleses.
Tras eso, he estado trabajando en el mundo del marketing, drones, copywriting, blogging, YouTube y las agencias de viajes.
Me he autoformado en programación, y en concreto, en Python 3.0+. Me gustaría poder dedicarme profesionalmente a alguna rama de la informática como Big Data, seguridad informática o videojuegos.
Por otra parte, también me he autoformado en técnicas de lectura ágil, técnicas de memoria, escritura rápida, toma de notas, etc. En su momento llegué a ser 2º kyu en aikido, aunque por razones personales dejé de practicarlo. También era bajista, llegando a participar en tres bandas y en un concierto.