Topic: discrete-mathematics Goto Github

👇 Here are 615 public repositories matching this topic...

advancedresearch / discrete
discrete-mathematics,Combinatorial phantom types for discrete mathematics
Organization: advancedresearch
rust combinatorial-phantom-types discrete-mathematics

aerobus-open-source / aerobus
discrete-mathematics,A C++ template library for polynomials algebra over discrete integral domains
Organization: aerobus-open-source
Home Page: https://aerobus-open-source.github.io/aerobus/docs
algebra discrete-mathematics mathematics polynomials polynomials-over-finite-fields

alexanderskulikov / discrete-math-python-scripts
discrete-mathematics,Python code snippets from Discrete Mathematics for Computer Science specialization at Coursera
User: alexanderskulikov
python mathematics discrete-mathematics combinatorics recursion induction algorithms bayes logic probability

amrbedir / discretemathproject
discrete-mathematics,Discrete Mathematics Project, First Year - Dept. of Computer Science.
User: amrbedir
computer-science discrete-mathematics perfect-numbers prime-numbers csharp

andy489 / software_engineering_state_exam
discrete-mathematics,Software Engineering @ FMI
User: andy489
algorithms analysis automatons databases discrete-mathematics operating-systems quality-assurance statistics

aparnaraha / gate2024
discrete-mathematics,here the notes provided by the seniors who already cracked IITs as well as how much I'll cover for my exams I'll provide my notes as well. If you want you can access the course by these links also
User: aparnaraha
Home Page: https://drive.google.com/drive/folders/1ee-az_S07Gju0OexmlJb69rOl2UsE8vn , https://drive.google.com/drive/folders/1v1Vu91TQuzASmK7pQ_QrSOrpW4LC6w1V
algorithms aptitude compiler-design computer-networks computer-organisation-architechure data-structures database-management dbms digital-logic discrete-mathematics

chakravala / dendriform.jl
discrete-mathematics,Dendriform di-algebra algorithms to compute using Loday's arithmetic on groves of planar binary trees
User: chakravala
abstract-algebra number-theory mathematics binary-trees combinatorics hopf-algebra discrete-mathematics graph-theory math graph

chanchalkumarmaji / introduction-to-discrete-mathematics-for-computer-science-specialization
discrete-mathematics,[Coursera] Introduction to Discrete Mathematics for Computer Science Specialization
User: chanchalkumarmaji
coursera discrete-mathematics graph-theory combinatorics probability number-theory cryptography coursera-discrete-mathematics

ciciswann / course-notes-assignments
discrete-mathematics,A compilation of notes and assignments for courses relevant to a Computer Science degree.
User: ciciswann
coursework computer-science discrete-mathematics mobile notes algorithm

cool-rr / combi
discrete-mathematics,Pythonic package for combinatorics
User: cool-rr
python math combinatorics discrete-mathematics permutation scientific-computing

courses-at-nju-by-hfwei / discrete-math-lectures
discrete-mathematics,Lectures on Discrete Mathematics @ software.nju.edu.cn
Organization: courses-at-nju-by-hfwei
lecture-notes discrete-mathematics nju-cs software-nju-edu-cn

courses-at-nju-by-hfwei / problem-solving-class-lectures
discrete-mathematics,Lectures for the "Problem Solving" Class at Nanjing University.
Organization: courses-at-nju-by-hfwei
lecture-notes course-materials linear-programming group-theory number-theory nanjing-university computational-complexity logic set-theory discrete-mathematics

dgtal-team / dgtal
discrete-mathematics,Digital Geometry Tools and Algorithm Library
Organization: dgtal-team
Home Page: https://dgtal.org
digital-geometry geometry-processing topology computational-geometry discrete-mathematics

disco-lang / disco
discrete-mathematics,Functional teaching language for use in a discrete mathematics course
Organization: disco-lang
programming-language functional-programming discrete-mathematics teaching

drwaleedayousef / teaching
discrete-mathematics,Teaching Materials for Dr. Waleed A. Yousef
User: drwaleedayousef
Home Page: http://www.wy.helwan.edu.eg
computer-science mathematics data-science data-structures data-visualization digital-design logic-design image-processing linear-algebra optimization

egormkn / ifmo-kt
discrete-mathematics,Практические задания. Университет ИТМО, кафедра КТ
User: egormkn
Home Page: http://ifmo.gear.su
java ifmo itmo computer-science education university js cpp algorithms homework

erkal / kite
discrete-mathematics,An interactive visualization tool for graph theory
User: erkal
Home Page: https://erkal.github.io/kite
elm visualization graph-algorithms graph graph-theory graph-editor-gui graph-editor discrete-mathematics combinatorics mathematics

eryc123y / math-for-computer-science
discrete-mathematics,A math resource for CS student
User: eryc123y
calculus discrete-mathematics math mathematics maths probability-statistics probability-theory statistics

farzadforuozanfar / cpp_cource_ex
discrete-mathematics,Introductory C ++ language exercises at the university in the basics of computer and advanced programming and discrete mathematics
User: farzadforuozanfar
basic-programming calculator cpp date discrete-mathematics n-queens n-queens-problem oop structured-data template time twitter vector

fracthepermian / reservoir-simulation-part-b
discrete-mathematics,3D Graphical Output of well producers and injectors in oil reservoir.
User: fracthepermian
oil gas oil-and-gas petroleum-engineering simulation finite-element-methods matlab 3d-simulation 3d reservoir-simulation

gap-system / gap
discrete-mathematics,Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra
Organization: gap-system
Home Page: https://www.gap-system.org
group-theory computer-algebra discrete-mathematics computer-algebra-system math mathematics algebra representation-theory

gokbeykeskin / gtu-assignments
discrete-mathematics,Gebze Technical University - Computer Engineering Assignments
User: gokbeykeskin
computer-science c cpp java python common-lisp assembly oop discrete-mathematics circuits-and-electronics

google / network-opt
discrete-mathematics,A library for topological network optimization
Organization: google
aaai-2022 combinatorial-optimization network-design aaai2022 electrical-circuits graph-algorithms discrete-mathematics operations-research artificial-intelligence

hpqc-labs / book_about_quadratization
discrete-mathematics,Open collaborative book on quadratization in discrete optimization and quantum mechanics.
Organization: hpqc-labs
computer d-wave machine-learning operations-research quadratization quantum-annealing quantum-computing discrete-mathematics discrete-optimization quantum-chemistry

iamncj / discrete_mathematics_explained_in_detail
discrete-mathematics,Explain discrete mathematics in details
User: iamncj
discrete-mathematics

jiashuwu / books
discrete-mathematics,My book list
User: jiashuwu
reading-list reading book algorithms data-structures android computer-networking computer-vision data-mining data-science

jieyouxu / comp0147-discrete-mathematics-notes
discrete-mathematics,COMP0147 Discrete Mathematics Notes
User: jieyouxu
latex discrete-mathematics

juliagraphs / multilayergraphs.jl
discrete-mathematics,A Julia package for the creation, manipulation and analysis of the structure, dynamics and functions of multilayer graphs.
Organization: juliagraphs
Home Page: https://juliagraphs.org/MultilayerGraphs.jl/dev
julia-language julia-package graphs networks complex-networks graph-theory graph-theory-algorithms graph-theory-analysis multilayer-networks network-analysis

lamatemaga / cf-matematicas
discrete-mathematics,Recursos de Matemáticas en Código Facilito
User: lamatemaga
discrete-mathematics spanish programming-exercises logic set-theory fundamentals-of-programming graph-theory mathematics codigo-facilito

lipen / discrete-math-course
discrete-mathematics,:milky_way: Supplementary materials for Discrete Math course at ITMO University
User: lipen
discrete-mathematics tex cheatsheet homework binary-relations combinatorics formal-logic graph-theory set-theory

madhurimarawat / semester-notes
discrete-mathematics,This repository includes academic notes, study materials, and resources from B.Tech (Hons) in CSE, specializing in Artificial Intelligence and Data Science. It features question papers, proprietary study guides, and resources to support learning in these fields.
User: madhurimarawat
Home Page: https://madhurimarawat.github.io/Semester-Notes/
digital-logic-design entrepreneurship environmental-science engineeing-maths language-writing-skills computer-network database-management discrete-mathematics operating-system probability-statistics

maheshabburi4 / iith-btech-courses
discrete-mathematics,BTECH Courses semwise
User: maheshabburi4
cool-compiler prolog eiffel os computer-architecture discrete-mathematics principles-of-programming-languages data-structures-and-algorithms

max-starling / notes
discrete-mathematics,My notes about programming and everything related
User: max-starling
architecture elasticsearch testing computer-science docker design-patterns javascript programming-language bundling browser

muhammedogz / gtu-university-assignments
discrete-mathematics,Assignments from Gebze Technical University Computer Science Depertmant
User: muhammedogz
Home Page: https://muhammedogz.github.io/GTU-University-Assignments/
algorithms-and-data-structures c compiler-design computer-organization computer-science cpp data-structures discrete-mathematics dynamic-programming homework-assignments java mutex object-oriented-programming oop probability processes programming-languages python sockets threads

nad-garraz / algebrauno
discrete-mathematics,Apunte único de álgebra 1 de EXACTAS UBA en LaTeX, hecha por alumnos y exalumnos de álgebra I
User: nad-garraz
algebra discrete-mathematics latex maths student-project modular-arithmetics

oscarlevin / discrete-book
discrete-mathematics,An open textbook for Discrete Mathematics, as taught at the University of Northern Colorado
User: oscarlevin
Home Page: http://discrete.openmathbooks.org/dmoi3.html
discrete-mathematics pretext textbook

rafi007akhtar / cse-resources
discrete-mathematics,A collection of curated resources for learning Computer Science subjects and skills, that I garnered throughout my tenure as a CSE student. Contributions, and report of broken links are welcome.
User: rafi007akhtar
algorithm automata-theory networking computer-organization computer-architecture dbms discrete-mathematics operating-systems software-engineering android

rajatdiptabiswas / coursera-mathematical-thinking-cs
discrete-mathematics,♾ Exercises from the Mathematical Thinking in Computer Science course by University of California San Diego & National Research University Higher School of Economics on Coursera
User: rajatdiptabiswas
mathematics discrete-mathematics coursera

ri-nai-bit-se / bit-lexue-code
discrete-mathematics,北京理工大学 - 乐学平台 - 编程作业代码
Organization: ri-nai-bit-se
beijing-institute-of-technology c-language-programming cpp data-structures-and-algorithms discrete-mathematics

rocq-community / hydra-battles
discrete-mathematics,Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
Organization: rocq-community
Home Page: https://rocq-community.org/hydra-battles/doc/hydras.pdf
coq hydra-battles ordinal-notations formal-proofs primitive-recursive-functions discrete-mathematics coq-nix-toolbox docker-coq-action

ryukinix / discrete-mathematics
discrete-mathematics,A computational way to study discrete mathematics using Haskell
User: ryukinix
computer-science discrete-mathematics haskell mathematics

salarmokhtaril / ta
discrete-mathematics,University teaching files
User: salarmokhtaril
Home Page: https://salarmokhtaril.github.io/TA/
teaching linear-algebra discrete-mathematics university spring2022 questions-and-answers code jupternotebook numpy pandas

sar-mo / cs2051-honorsdiscretemath
discrete-mathematics,A collection of resources for CS 2051, an undergraduate Honors Discrete Mathematics course at Georgia Tech.
User: sar-mo
discrete-mathematics georgia-tech

shreyaschavhan / discrete-mathematics
discrete-mathematics,This Repository Contains My Notes for Discrete Mathematics (DM) - SPPU SE Computer Engineering
User: shreyaschavhan
discrete-mathematics sppu dm se-comp sppu-computer-engineering

spamegg1 / epp-discrete-math-5th-solutions
discrete-mathematics,Solutions to Susanna Epp's Discrete Mathematics book, 5th Edition
User: spamegg1
algorithmic-complexity big-o circuits computer-science counting discrete-mathematics finite-state-automata functions graphs logic

thofma / hecke.jl
discrete-mathematics,Computational algebraic number theory
User: thofma
julia math computer-algebra algebraic-number-theory number-theory class-field-theory discrete-mathematics

tunacinsoy / cse
discrete-mathematics,All the homeworks, testers and projects done at Marmara University, Computer Science & Engineering
User: tunacinsoy
computer-science logic-design operating-systems programming-language-concepts algorithms data-structures systems-programming discrete-mathematics analysis-algorithms probability-statistics

vontum / dedekind
discrete-mathematics,The codebase that computed the Ninth Dedekind Number
User: vontum
Home Page: https://dl.acm.org/doi/10.1145/3674147
discrete-mathematics fpga-accelerator high-performance-computing

wakacjezmd / wakacjezmd.github.io
discrete-mathematics,Rozwiązania egzaminów i kolokwiów z MD.
Organization: wakacjezmd
Home Page: https://wakacjezmd.github.io
discrete-mathematics solutions mimuw university-of-warsaw matematyka-dyskretna

zzllrr / mather
discrete-mathematics,zzllrr mather(an offline tool for Math learning, education and research)小乐数学，离线可用的数学学习（自学或教学）、研究辅助工具。计划覆盖数学全部学科的解题、作图、演示、探索工具箱。目前是演示Demo版（抛转引玉），但已经支持数学公式编辑显示，部分作图功能，部分学科，如线性代数、离散数学的部分解题功能。最终目标是推动专业数学家、编程专家、教育工作者、科普工作者共同打造出更加专业级的Mather数学工具
User: zzllrr
Home Page: https://zzllrr.github.io/mather/
math mathematics maths math-library educational-software formulae solve-equations linear-algebra algebra geometry