mathematical-logic

There are 7 repositories under mathematical-logic topic.

• advancedresearch / path_semantics

  A research project in path semantics, a re-interpretation of functions for expressing mathematics

  mathematical-logicresearchtype-theory
  Language:Rust 160

• joom / hezarfen

  a theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features

  automated-theorem-proversidrismathematical-logicmetaprogrammingtheorem-prover
  Language:Idris 118

• adyavanapalli / stanford-introduction-to-mathematical-thinking

  Keith Devlin's Introduction to Mathematical Thinking course on Coursera (2017 Spring)

  logicmathematical-thinkingmathematical-logicstanfordcourseranumber-theoryreal-analysis
  105

• rzach / forallx-yyc

  UCalgary version of forallx, an introduction to formal logic

  logicmathematical-logicphilosophy
  Language:TeX 88

• SReichelt / slate

  The Slate Interactive Theorem Prover

  proof-assistantinteractive-theorem-provingformal-mathematicsmathematical-expressionsmathematical-logicweb-appcollaboration
  Language:TypeScript 22
• I2DM

  alexanderknop / I2DM

  The lecture notes for my discrete mathematics classes.

  lecture-notesmathematical-reasoningcombinatoricsmathematical-logiccomputability-theorycombinatorial-game-theorygraph-theoryprobability-theorygame-theoryset-theory
  Language:TeX 18

• emarzion / SystemT

  An interpreter for Gödel's System T

  mathematicslogicmathematical-logic
  Language:Haskell 11

• xamidi / pmGenerator

  An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.

  proof-theorypropositional-calculushpctbblogiccondensed-detachmentproof-complexitympiformal-proofshilbert-systemsfrege-systemsmathematical-logic
  Language:C++ 9
• human-logic

  arturania / human-logic

  Human Logic

  common-sensedescrete-mathfuzzy-logichumanlogicmathematical-logicmultivalued-logic
  Language:TypeScript 6

• DevOpsThinh / Coding-Deep-Learning

  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!

  aideep-learninginvestingmachine-learningmathematical-analysismathematical-logicmathematical-programmingreinforcement-learningsupervised-learningunsupervised-learningneural-networkcnn-architecturecnn-kerascoremltoolsinception-architecture
  Language:Python 6

• choukh / agda-lvo

  large veblen ordinal in agda

  agdagoogologyordinalordinal-numbersformalizationmathematical-logicmathematics
  Language:Agda 5

• dshea89 / HRLPlus

  Automated mathematical theorem formulation deduced from a provided set of axioms. Builds upon the HRL theorem generator.

  theorem-provingtheorem-provermathematical-logictheorem-generatortheorem-generationlakatoslakatos-methodshrl
  Language:Java 5

• ozekik / mathesis

  Python library for computational formal logic, formal semantics, and theorem proving

  logicphilosophyproofsemanticsprovermathematical-logicphilosophical-logicformal-logicfirst-order-logicpropositional-logic
  Language:Python 5

• hjbolus / Mathematical-Logic-Through-Python

  These are my solutions to the tasks in the textbook Mathematical Logic Through Python by Nisan and Gonczarowski.

  logiclogic-programminglogical-operatorslogical-programmingmathematical-logicphilosophical-logicpredicate-calculuspredicate-logicpropositional-calculuspropositional-logicpropositional-proof-system
  Language:Python 4

• martinberger / hol-c

  A proof-of-concept LCF-style interactive theorem prover for HOL(C)

  logicmathematical-logictheorem-prover
  Language:Scala 4

• ComprosoftCEO / StackMathGenerator

  Generate Stack Math puzzles with this handy utility written in Visual Basic

  mathematicspuzzlepuzzle-solverpuzzle-generatormath-gamemathematical-logic
  Language:Visual Basic 3

• SReichelt / slate-hlm

  HLM mathematical library for the Slate interactive theorem prover

  mathematicsformal-mathematicsmathematical-expressionsmathematical-logiccollaborationweb-appproof-assistantinteractive-theorem-proving
  Language:Shell 3

• Akash-Sharma-1 / DNF-Generator

  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.

  dnffirst-order-logicmathematical-logicnormal-formpropositional-logic
  Language:Python 2

• AlgebraicWolf / idris2-russel

  Implementation of Russel paradox in Idris 2

  dependent-typesidris2mathematical-logictype-theory
  Language:Idris 2

• choukh / MetaLogic

  first-order logic and set theory

  agdaformal-languagesformalizationmathematical-logicmathematics
  Language:Agda 2

• Elisabete-MO / projeto-regra-progressao

  Projeto Regra de Progressão

  input-methodjavajava-appmathematical-logicoutput-formattingvariables
  Language:Java 2

• HussainAther / mathematics

  algebra, differential equations, calculus, statistics, probability

  algebradifferential-equationscalculusstatisticsprobabilitylinear-algebramathematical-logic
  Language:Python 2
• Symbolic-Notation-Converter

  CallumBeaney / Symbolic-Notation-Converter

  A webapp that converts English coded input to mathematical notation. e.g. [all var in dd goe pi] → [∀𝑥 ∈ 𝔻 ≥ π ]

  latex-stylemathematical-logicmathematicssymbolic-logic
  Language:JavaScript 1

• DaniinXorchenabo / probability_theory

  Домашняя контрольная работа по теории вероятностей

  python3numpyscipychi-squaremathematical-logicjsplotgraph
  Language:Python 1

• dfzunigah / GuessIt-Game

  [PROJECT] Java simple guessing game.

  javagameguessit-gamemathematical-logicmath-gameproject
  Language:Java 1

• faridsh69 / Javascript-calculator

  calculator with full feature like devition and integral and draw function

  calculatorjavascmathematical-logic
  Language:JavaScript 1

• gurunavi-developers / mathematical-puzzles

  [社内勉強会] プログラマ脳を鍛える数学パズルの解答

  mathematical-logicpuzzlerubyscalatraining
  Language:Ruby 1

• jeremarques / calculator-of-second-degree-equation

  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.

  calculatorcalculator-applicationcss3html5javascriptmatematicamathematical-expressionsmathematical-logicmathematical-programmingstudentstool
  Language:JavaScript 1

• Kovarniy / sequences

  This project is intended for solving sequences from the logic of utterances. It's my first web-java project.

  logic-programmingjavamathematical-logic
  Language:Java 1

• mcifra / prieskumnik-struktur

  Prieskumník sémantiky logiky prvého rádu

  reactjavascriptbachelor-thesismathematical-logicfirst-order-logic
  Language:JavaScript 1

• miyamok / epsilonproofchecker

  Proof assistant for Hilbert style proof systems including predicate calculus and epsilon calculus

  haskelllogicmathematicsmathematics-educationproof-assistantmathematical-logic
  Language:Haskell 1

• moratori / clover

  A experimental prover written in Common Lisp, based on clause resolution and Knuth-Bendix completion algorithm.

  common-lispknuth-algorithmlisplogiclogic-programmingmathematical-logicproof-assistantproverrefutation-treesymbolic-computationterm-rewritingtheorem-provertheorem-proving
  Language:Common Lisp 1

• nabilBouzineDev / BMICalculator

  A simple demo project to help you practice some Android fundamentals using Kotlin

  android-basic-sampleandroid-basics-kotlinandroid-lifecyclebasic-android-examplebasic-android-projectbmi-calculatorbmicalculatorbody-massbody-mass-calculatorbody-mass-indexbody-mass-index-calculatorcardviewinput-validationkotlin-androidlayout-xmlmathematical-logicsharedpreferencesxml-layout
  Language:Kotlin 1

• praisetompane / mathematics

  an attempt at unpacking in layman's terms what mathematics is.

  algebraanalysisgeometrymathematical-logicmodel-theoryproof-theoryset-theoryrecursion-theory
  Language:Python 1

• Inferara / inferara.com

  An official website

  blockchain-securitytheorem-provingformal-methodsformal-verificationmathematical-logicmathematicsweb3
  Language:HTML

• Nagisanopan / USTC_2023Spring_MathematicalLogic_HW

  USTC 2023春季学期 数理逻辑基础 许杨班 课程作业 考试资料

  2023springmathematical-logicustc