Logic for Computer Science course projects
-
Updated
Dec 13, 2019 - OCaml
Logic for Computer Science course projects
Solver for the game Overflow using propositional logic
A propositional logic calculator written in JavaScript with help of Jison (a scanner and parser generator)
Wrote an AI to play Minesweeper.
AI that plays minesweeper using propositional logic.
A propositional logic library.
Propositional theorem prover using the tableaux method and FOL theorem prover using resolution
Assignments for the course COL703 — Logic for Computer Science @ IIT Delhi.
semantic tableau is method of finding whether the given logic (propositional logic here) is consistent or inconsistent, whether it is valid (tautology) or not.
More representative means
Jape 2.0?
"Natural" Natural Deduction: a Theorem Prover for Propositional Logic
Messing around with propositional logic in Agda
Automatically checks whether a given propositional formula is satisfiable.
Trabalho para a disciplina de lógica para computação.
Programming homework of Discrete Mathematics(1)
AI driven Minesweeper using Propositional Logic & Knowledge Inference
Logic for Computer Science, Course Repository, IITD 7th Semester 2023-24
Simple proof assistant written in OCaml.
Add a description, image, and links to the propositional-logic topic page so that developers can more easily learn about it.
To associate your repository with the propositional-logic topic, visit your repo's landing page and select "manage topics."