🎚️ Binary logic signal research.

👩🏻‍💻 Program and simulate computational logic circuits using Python.

A project of a computational logic calculator based on college studies.

Permainan Global Conquest adalah sebuah game strategi yang dibuat menggunakan bahasa pemrograman deklaratif Prolog (GNU Prolog).

Tugas Besar Logika Komputasi: Conquer the World Game Board

Code of my talk at EASS 2023

University courses, projects and homeworks

The Augusta University ForML Lab Website

Codes related to a study of spatiotemporally invariant patterns in systems of coupled relaxation oscillators, and their potential use in computational logic.

Slides of my talk at EASS 2023

Logica computazionale A.A. 2022/23

Computational Logic - A monopoly board based tycoon game.

🎫 Personal repo untuk arsip praktikum LogKom

Simple proof assistant written in OCaml.

Tugas Besar Logika Komputasional 2021/2022

Here you can find some exercises about introduction to programming in C++ language.

Resolução do trabalho prático 4 da UC Lógica Computacional. Temos 2 problemas, um problema relacionado com Verificação Formal de Software e outro problema relacionado com Sistemas Híbridos

Computational Logic Formula Solver - programmatically simplifies propositional and predicate logic formulas

Efficient On-the-Fly Model Checking for LTL and CTL★.