📚 Tutorials#
Collections are fundamental data structures in computer science that allow us to group and manage multiple elements efficiently. In this tutorial, we will explore the concept of mutable and extensible collections, their types, and how to work with them using the GALACTIC framework.
Sets is a notion already defined in the Python language, we only define special types of sets in the GALACTIC framework for internal use.
Relations are a fundamental concept in mathematics and computer science, providing a way to describe relationships between elements of several sets. In this tutorial, we will explore the concept of relations, their properties, and how to work with them using the GALACTIC framework. Attention will be given to the notion of binary relations and endo-relations.
Partially ordered sets (posets) are fundamental structures in order theory and have applications in various fields, including computer science, mathematics, and data analysis. In this tutorial, we will explore the concept of posets, their properties, and how to work with them using the GALACTIC framework.
Lattices are mathematical structures that can be used to model a variety of systems in computer science, including type systems, data flow analysis, and more. In this tutorial, we will explore the concept of lattices, their operations and their properties using the GALACTIC framework.