#

computational-logic

Here are 20 public repositories matching this topic...

rifqifarhansyah / PraktikumLogKom-22-23-

🎫 Personal repo untuk arsip praktikum LogKom

prolog computational-logic

Updated Nov 8, 2022
Prolog

elblasco / logica-computazionale

Logica computazionale A.A. 2022/23

logic first-order-logic modelling propositional-logic description-logics computational-logic

Updated Jul 11, 2023
TeX

geraldabrhm / Logkom01

Tugas Besar Logika Komputasional 2021/2022

computational-logic

Updated Dec 4, 2021
Prolog

AustinPardosi / Praktikum-ITB

object-oriented-programming introduction-to-programming computational-logic algorithms-and-data-structures

Updated May 21, 2023
Jupyter Notebook

EriikGabriel / computer-logic

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

calculator nextjs logic computational-logic

Updated Mar 19, 2024
TypeScript

ricardotavera / Programming-fundamentals-Cpp

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

computational-logic

Updated May 7, 2021
C++

Computational_Logic

sourceduty / Computational_Logic

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

ai simulation logic artificial-intelligence logic-programming gpt logical logic-gates sim computational-logic simulated logic-simulator python-logic gpts chatgpt customgpt custom-gpt

Updated Oct 21, 2024

PerlMonker303 / CLFS

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

javascript computational-logic

Updated Feb 17, 2020
JavaScript

alandmprtma / Tugas-Besar-IF2121-LogikaKomputasional-KudaHitam

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

game-development computational prolog-programming-language computational-logic

Updated Jan 20, 2024
Prolog

Logic

sourceduty / Logic

🎚️ Binary logic signal research.

computer-science science scientist research binary logic computational logic-machine logical logic-gates fuzzy-logic sci computational-logic binary-logic logic-theory logic-science binary-signal third-binary-state

Updated Oct 21, 2024

ditramadia / Monopoly

Computational Logic - A monopoly board based tycoon game.

computational-logic desktop-game tugas-besar

Updated Jan 9, 2023
Prolog

parvi-3 / chemical-logic

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

reaction-diffusion computational-logic relaxation-oscillators oscillator-death

Updated Jul 26, 2023
MATLAB

luislcc / LC-TP4

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

hybrid-systems formal-verification computational-logic

Updated Jan 28, 2021
Jupyter Notebook

NoHaitch / Tugas-Besar-IF2121-Logika-Komputasi

Tugas Besar Logika Komputasi: Conquer the World Game Board

computational-logic

Updated Dec 3, 2023
Prolog

NouamaneA / proof-assistant

Simple proof assistant written in OCaml.

computer-science ocaml proof-assistant propositional-logic computational-logic

Updated Jan 31, 2022
OCaml

gciatto / eass23-cl-in-mas

Slides of my talk at EASS 2023

multi-agent-systems computational-logic eass2023

Updated May 2, 2024
TeX

gciatto / eass23-cl-in-mas-exercises

Code of my talk at EASS 2023

multi-agent-systems computational-logic eass2023

Updated Oct 10, 2024
Raku

the-au-forml-lab / the-au-forml-lab.github.io

The Augusta University ForML Lab Website

computer-science lab programming-languages formal-methods computational-logic augusta-university

Updated Aug 17, 2023
SCSS

LucaTheSorcerer / UBB-Computer-Science

University courses, projects and homeworks

python calculus algebra assembly python3 assembly-language computational-logic assembly-x86

Updated Oct 3, 2023

spidermoy / OnTheFly_ModelChecking

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

computer-science haskell logic ltl model-checking formal-methods ctl formal-verification computational-logic linear-temporal-logic computation-tree-logic haskell-programming ctl-formulas

Updated Dec 21, 2019
Haskell

Improve this page

Add a description, image, and links to the computational-logic topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the computational-logic topic, visit your repo's landing page and select "manage topics."