Boolminot represents Elasticsearch clauses as predicates.
-
Updated
Jul 2, 2017 - Ruby
Boolminot represents Elasticsearch clauses as predicates.
LiFR, the Lighweight Fuzzy semantic Reasoner.
A basic program which can operate some propositional formulas written in Haskell
Key utilities that will simplify your work with Javascript
Build a Abstract Syntax Tree from a logic expression string
A 2-bit ALU made for recreational + academic purposes.
Student Data Manipulation using File Handling and Data Representation using Matplotlib
Assembly program capable of performing various algebraic and boolean operations on hexadecimal integers
Mathematical logic Implementation
The various works of Edward Nelson.
Projects developed as part of the Human Coder | Software Engineer program at École 42 | 42 SP. Begin date: 2021-07-26.
In this course we will learn about the following fundamentals with exercises solved in the most fundamental language: Concept of data and Information; Structure of a program. Exercises; Types of data; Variables; Data Input and Output; Operators; Sequencing; Condition; Loops; Arrays; Pointers; Dynamic memory allocation; Functions.
Add a description, image, and links to the logic topic page so that developers can more easily learn about it.
To associate your repository with the logic topic, visit your repo's landing page and select "manage topics."