HyrniT / logic

Artificial Intelligence

ai hcmus logic predicate-logic propositional-logic resolution-algorithm algorithms artificial-intelligence

Project 2: Logic

Artificial Intelligence at HCMUS

Logic include: Propositional Logic, Predicate Logic, Resolution Algorithm

About

Artificial Intelligence

ai hcmus logic predicate-logic propositional-logic resolution-algorithm algorithms artificial-intelligence

Languages

Language:Python 53.3%Language:Jupyter Notebook 46.7%Language:Shell 0.1%