Formal-Languages-Automata-and-Computability-Theory-2022-2023

Exercises of the Formal languages, Automata and Computability Theory course I taught during the summer semester of 2022/2023 at Sofia University, FMI.

LogicProgramming-2022-2023

Repository, containing the exercises I teach during the winter semester of prof. Tinko Tinchev's course on logic programming.

FMI_OOP_COURSE_PROJECT_GRAPHICS

Final project for OOP Course in FMI (Faculty of Mathematics and Informatics).

FMI_OOP_COURSE_PROJECT_LIBRARY

Course project for Object Oriented Programming course in the Faculty of Mathematics and Informatics