migueldeoleiros / TC

Prácticas de la asignatura de Teoría de la Computación de la Universidad De A Coruña (UDC) en el grado de ingeniería informática curso 2023/2024 GEI-TC

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Prácticas de Teoría de la Computación

Grado en Ingeniería Informática - 2023/24

Este repositorio cuenta con tres prácticas, cada una de ellas con un README en org-mode que trae una explicación algo más detallada con ejemplos.

La librería ocaml-talf está también incluida para poder ejecutar y entender la p1 y p2. Esta librería nos fue proporcionada, y no poseo autoría de ella.

About

Prácticas de la asignatura de Teoría de la Computación de la Universidad De A Coruña (UDC) en el grado de ingeniería informática curso 2023/2024 GEI-TC

License:MIT License


Languages

Language:OCaml 97.5%Language:Makefile 1.6%Language:Mathematica 0.9%