These are my solutions to the tasks in the textbook Mathematical Logic Through Python by Nisan and Gonczarowski.
-
Updated
Jun 12, 2024 - Python
These are my solutions to the tasks in the textbook Mathematical Logic Through Python by Nisan and Gonczarowski.
Search, Knowledge, Uncertainty, Optimization, Learning, Neural Networks and Language.
Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
The primary purpose of this software is to parse propositional logic formulas and subsequently generate a visually formatted output as well as an image representation of the Abstract Syntax Tree (AST) in PNG format.
Implements the Tsetlin Machine, Coalesced Tsetlin Machine, Convolutional Tsetlin Machine, Regression Tsetlin Machine, and Weighted Tsetlin Machine, with support for continuous features, drop clause, Type III Feedback, focused negative sampling, multi-task classifier, autoencoder, literal budget, and one-vs-one multi-class classifier. TMU is writ…
A computer algebra system for propositional logic
Propositional theorem prover - resolution with pure literal elimination and subsumption elimination, implemented in ISO Prolog. Educational software.
A set of tools for analyzing languages via logic and automata
Python library for computational formal logic, formal semantics, and theorem proving
Code and datasets for the Tsetlin Machine
A Logic of Relational Propositions
Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden
Knowledge Management and Reasoning Course (2023-2024)
Pravda is a tool for teaching formal logic.
Educational propositional logic tool for producing truth tables and checking logical properties.
Implements the Tsetlin Machine, Convolutional Tsetlin Machine, Regression Tsetlin Machine, Weighted Tsetlin Machine, and Embedding Tsetlin Machine, with support for continuous features, multigranularity, clause indexing, and literal budget
He Reiter, Ho Reiter, He Reiter, Immer weiter!
An inclusive Minecraft Education DGBL-environment for learning propositional logic
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."