Topic: mathematical-logic Goto Github
Some thing interesting about mathematical-logic
Some thing interesting about mathematical-logic
mathematical-logic,Logic Programming Repository
Organization: a3up
mathematical-logic,A research project in path semantics, a re-interpretation of functions for expressing mathematics
Organization: advancedresearch
mathematical-logic,Keith Devlin's Introduction to Mathematical Thinking course on Coursera (2017 Spring)
User: adyavanapalli
mathematical-logic,A simple calculator made using HTML/CSS and JavaScript to perform basic mathematical operations with an appealing and responsive UI.
User: aiman-izhar
mathematical-logic,A python script which takes in complex propositional statements and processes them to generate a brute as well as reduced Disjunctive normal form for the statement along with the other information like Truth Table and Dont Cares.
User: akash-sharma-1
mathematical-logic,The lecture notes for my discrete mathematics classes.
User: alexanderknop
mathematical-logic,Implementation of Russel paradox in Idris 2
User: algebraicwolf
mathematical-logic,Mathematical logic Implementation
User: alisoltanirad
mathematical-logic,A world of solutions for mathematical problems using programming.
User: arjunthakur08
mathematical-logic,Human Logic
Organization: arturania
Home Page: https://arturania.dev/human-logic/
mathematical-logic,A webapp that converts English coded input to mathematical notation. e.g. [all var in dd goe pi] → [∀𝑥 ∈ 𝔻 ≥ π ]
User: callumbeaney
Home Page: https://callumbeaney.github.io/Symbolic-Notation-Converter/
mathematical-logic,Mathematical Logic course at ITMO University
User: cannor147
mathematical-logic,formalized googology in agda
User: choukh
mathematical-logic,veblen function in agda
User: choukh
mathematical-logic,first-order logic and set theory
User: choukh
mathematical-logic,Generate Stack Math puzzles with this handy utility written in Visual Basic
User: comprosoftceo
mathematical-logic,Домашняя контрольная работа по теории вероятностей
User: daniinxorchenabo
mathematical-logic,A self-taught project about Machine Learning & Deep Learning with Python. Thanks to the countless researchers and developers around the world and their open-source code, particularly Python-based open-source code!
User: devopsthinh
mathematical-logic,[PROJECT] Java simple guessing game.
User: dfzunigah
mathematical-logic,Automated mathematical theorem formulation deduced from a provided set of axioms. Builds upon the HRL theorem generator.
User: dshea89
mathematical-logic,Projeto Regra de Progressão
User: elisabete-mo
mathematical-logic,An interpreter for Gödel's System T
User: emarzion
mathematical-logic,calculator with full feature like devition and integral and draw function
User: faridsh69
mathematical-logic,Repository contains homeworks of math logic course.
User: gopavel
mathematical-logic,Practice tasks for Mathematical logic course at ITMO University spring 2018
User: gpevnev
mathematical-logic,[社内勉強会] プログラマ脳を鍛える数学パズルの解答
Organization: gurunavi-developers
mathematical-logic,Exploring the depths of mathematics through the study of its foundations
User: haskucy
mathematical-logic,A Book "Mathematics for Computer Science: A Historical Perspective"
User: hengxin
mathematical-logic,Python package that provides an interface to work with classical propositional and first-order logic, based on my solutions to the textbook Mathematical Logic Through Python by Nisan and Gonczarowski
User: hjbolus
Home Page: https://www.logicthrupython.org/
mathematical-logic,algebra, differential equations, calculus, statistics, probability
User: hussainather
mathematical-logic,Inferara official website
Organization: inferara
Home Page: https://inferara.com
mathematical-logic,This is a great tool for students, this calculator shows the value of the roots of the 2nd degree equation from the Bhaskara Formula, and it also calculates the value of Delta and tells if the roots are real, irrational or equal from the value of the Delta of the equation.
User: jeremarques
mathematical-logic,a theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features
User: joom
mathematical-logic,This repository contains python codes for 100 project euler problems and the answers of the problems.
User: keshavrp
mathematical-logic,This project is intended for solving sequences from the logic of utterances. It's my first web-java project.
User: kovarniy
mathematical-logic,A proof-of-concept LCF-style interactive theorem prover for HOL(C)
User: martinberger
mathematical-logic,Prieskumník sémantiky logiky prvého rádu
User: mcifra
Home Page: https://fmfi-uk-1-ain-412.github.io/structure-explorer/
mathematical-logic,Математическая логика и теория алгоритмов / автоматов (мат. логика), 2 семестр, РТУ МИРЭА
Organization: mireashik
mathematical-logic,Proof assistant for Hilbert style proof systems including predicate calculus and epsilon calculus
User: miyamok
mathematical-logic,A experimental prover written in Common Lisp, based on clause resolution and Knuth-Bendix completion algorithm.
User: moratori
mathematical-logic,A simple demo project to help you practice some Android fundamentals using Kotlin
User: nabilbouzinedev
Home Page: https://www.wikiwand.com/en/Body_mass_index
mathematical-logic,Contains C-program files for Numerical Methods/Analysis
User: ojaswy
mathematical-logic,Python library for computational formal logic, formal semantics, and theorem proving
User: ozekik
Home Page: https://ozekik.github.io/mathesis/
mathematical-logic,This repo contains Basic programming practice code from different platform like Hackerrank,GFG, ..........
User: pankajkumarravi
mathematical-logic,an attempt at unpacking in layman's terms what mathematics is.
User: praisetompane
mathematical-logic,The Slate Interactive Theorem Prover
User: sreichelt
Home Page: https://slate-prover.org
mathematical-logic,HLM mathematical library for the Slate interactive theorem prover
User: sreichelt
Home Page: https://sreichelt.github.io/slate
mathematical-logic,An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.
User: xamidi
Home Page: https://xamidi.github.io/pmGenerator/
mathematical-logic,Materials from the Constraint Logic Programming course at FEUP.
User: xbreu
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.