Search Results - "combinatorics"

Organic Creativity and the Physics Within by Edited by Johan F. Hoorn

DOAB: download the publication
DOAB: description of the publication

Current Trends on Monomial and Binomial Ideals by Hibi, Takayuki

DOAB: download the publication
DOAB: description of the publication

A Gentle Introduction to the Art of Mathematics by Fields, Joseph E.

Table of Contents: “…Chapter 1: Introduction and notation -- Chapter 2: Logic and quantifiers -- Chapter 3: Proof techniques I -- Chapter 4: Sets -- Chapter 5: Proof techniques II -Induction -- Chapter 6: Relations and functions -- Chapter 7: Proof techniques III -Combinatorics -- Chapter 8: Cardinality -- Chapter 9: Proof techniques IV - Magic…”
Access online version

Hypergroup Theory and Algebrization of Incidence Structures

DOAB: download the publication
DOAB: description of the publication

NOMINAL STYLE IN THE MODERN GERMAN LANGUAGE by Abdulrahimova, G.V

Connect to this object online.

Tricks in magic square / Chew Yee Ming, Ch'ng Pei Eng and Ng Kok Shien by Chew, Yee Ming, Ch'ng, Pei Eng, Ng, Kok Shien

Link Metadata

Progress in Commutative Algebra 2 Closures, Finiteness and Factorization

DOAB: download the publication
DOAB: description of the publication

The conjugacy class and conjugacy class graph of crystallographic point groups of order 12 and above / Mohd Halimi Ab Hamid by Ab Hamid, Mohd Halimi

Link Metadata

Progress in Commutative Algebra 2 Closures, Finiteness and Factorization

OAPEN Library: download the publication
OAPEN Library: description of the publication

Simplicial and Dendroidal Homotopy Theory by Heuts, Gijs

DOAB: download the publication
DOAB: description of the publication

Learning to Solve Counting Problems: Challenges and Opportunities for Non-Math Majors by Orit Zaslavsky, Katherine V. Pauletti, Victoria Krupnik

Connect to this object online.

Simplicial and Dendroidal Homotopy Theory by Heuts, Gijs

OAPEN Library: download the publication
OAPEN Library: description of the publication

Applied Discrete Structures by Doerr, Alan, Levasseur, Kenneth

Table of Contents: “…1 Set Theory -- 2 Combinatorics -- 3 Logic -- 4 More on Sets -- 5 Introduction to Matrix Algebra -- 6 Relations and Graphs -- 7 Functions -- 8 Recursion and Recurrence Relations -- 9 Graph Theory -- 10 Trees -- 11 Algebraic Systems -- 12 More Matrix Algebra -- 13 Boolean Algebra -- 14 Monoids and Automata -- 15 Group Theory and Applications -- 16 An Introduction to Rings and Fields…”
Access online version

Progress in Commutative Algebra 2. Closures, Finiteness and Factorization by Francisco, Christopher

DOAB: download the publication
DOAB: description of the publication

Gesture Mahasiswa dalam Menyelesaikan Masalah Kombinatorika dengan Jawaban Benar Berdasarkan Tahap Berpikir Mason by Mei Radia Putri, Abdur Rahman As'ari, Sisworo Sisworo

Connect to this object online.

Media Pembelajaran Matematika Materi Kombinatorika Berbasis Media Interaktif pada Siswa SMK by Ana Cholila, Purwanto Purwanto, Erry Hidayanto

Connect to this object online.

Simplicial and Dendroidal Homotopy Theory by Heuts, Gijs, Moerdijk, Ieke

Link to Metadata

KEBIASAAN BELAJAR DAN PROSES BERPIKIR MATEMATIS PESERTA OLIMPIADE SAINS PROVINSI DAN NASIONAL BIDANG STUDI MATEMATIKA TINGKAT SEKOLAH MENENGAH ATAS by Nabilah Mardhiyah, -

Link Metadata

Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

Table of Contents: “…Semantics -- Non-angelic Concurrent Game Semantics -- A Trace Semantics for System F Parametric Polymorphism -- Categorical Combinatorics for Non Deterministic Strategies on Simple Games -- A Syntactic View of Computational Adequacy -- Linearity -- A New Linear Logic for Deadlock-Free Session-Typed Processes -- A Double Category Theoretic Analysis of Graded Linear Exponential Comonads -- Depending on Session-Typed Processes -- FabULous Interoperability for ML and a Linear Language -- Concurrency -- Automata for True Concurrency Properties -- A Theory of Encodings and Expressiveness -- A Framework for Parameterized Monitorability -- Logics for Bisimulation and Divergence -- Lambda-Calculi and Types -- Call-by-need, Neededness and All That -- Fitch-Style Modal Lambda Calculi -- Realizability Interpretation and Normalization of Typed Call-by-Need -- Quotient Inductive-Inductive Types -- Category Theory and Quantum Control -- Guarded Traced Categories -- Proper Semirings and Proper Convex Functors -- From Symmetric Pattern-Matching to Quantum Control -- Quantitative Models -- The Complexity of Graph-Based Reductions for Reachability in Markov Decision Processes -- A Hierarchy of Scheduler Classes for Stochastic Automata -- Symbolically Quantifying Response Time in Stochastic Models using Moments and Semirings -- Comparator Automata in Quantitative Verification -- Logics and Equational Theories -- Modular Tableaux Calculi for Separation Theories -- Differential Calculus with Imprecise Input and its Logical Framework -- The Effects of Adding Reachability Predicates in Propositional Separation Logic -- The Equational Theory of the Natural Join and of Inner Union is Decidable -- Graphs and Automata -- Minimization of Graph Weighted Models over Circular Strings -- Games on Graphs with a Public Signal Monitoring -- WQO Dichotomy for 3-Graphs -- Verifying Higher-Order Functions with Tree Automata.…”
Link to Metadata

Introduction to Probability by Grinstead, Charles M., Snell, J. Laurie

Table of Contents: “…1 Discrete Probability Distributions -- 2 Continuous Probability Densities -- 3 Combinatorics -- 4 Conditional Probability -- 5 Distributions and Densities -- 6 Expected Value and Variance -- 7 Sums of Random Variables -- 8 Law of Large Numbers -- 9 Central Limit Theorem -- 10 Generating Functions -- 11 Markov Chains -- 12 Random Walks…”
Access online version