खोज परिणाम - "set theory"

Analyzing meaning An introduction to semantics and pragmatics. द्वारा Kroeger, Paul R.

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

Uncertain Multi-Criteria Optimization Problems

DOAB: download the publication
DOAB: description of the publication

Opening the Semantic Space in the Service of Collective Intelligence - DOI: 10.3395/reciis.v1i1.43en द्वारा Pierre Lévy

Connect to this object online.

Applied Discrete Structures द्वारा Doerr, Alan, Levasseur, Kenneth

विषय - सूची: “…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

An Introduction to Logic From Everyday Life to Formal Systems द्वारा Mosley, Albert, Baltazar, Eulalio

Access online version

Formal Axiology and Its Critics

DOAB: download the publication
DOAB: description of the publication

Mathematical Logic and Its Applications 2020

DOAB: download the publication
DOAB: description of the publication

Formal Axiology and Its Critics

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

The Asymmetric Nature of Time Accounting for the Open Future and the Fixed Past / द्वारा Grandjean, Vincent

Link to Metadata

Analyzing meaning An introduction to semantics and pragmatics द्वारा Kroeger, Paul

Access online version

Mathematical Fuzzy Logic in the Emerging Fields of Engineering, Finance, and Computer Sciences

DOAB: download the publication
DOAB: description of the publication

Configurational paths to turnover intention among primary public health workers in Liaoning Province, China: a fuzzy-set qualitative comparative analysis द्वारा Xueying Li, Chenxin Yang, Libing Liu, Yuanlu Ding, Jianchun Xue, Jiani He, Hui Wu, Li Liu

Connect to this object online.

The Plurality of Goal-setting in Pedagogical Activity: Integration of Mathematics on a Chessboard द्वारा S. N. Dvoryatkina, V. S. Karapetyan, S. A. Rozanova

Connect to this object online.

Drinking water preference among students in UiTM Perlis using fuzzy AHP / Nur Fatihah Fauzi, Syahirah Ali Munawar, and Huda Zuhrah Ab Halim द्वारा Fauzi, Nur Fatihah, Ali Munawar, Syahirah, Ab Halim, Huda Zuhrah

Link Metadata

Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings /

विषय - सूची: “…Certified Core-Guided MaxSAT Solving -- Superposition with Delayed Unification -- On Incremental Pre-processing for SMT -- Verified Given Clause Procedures -- QSMA: A New Algorithm for Quantified Satisfiability Modulo Theory and Assignment -- Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs -- An Isabelle/HOL Formalization of the SCL(FOL) Calculus -- SCL(FOL) Can Simulate Non-Redundant Superposition Clause Learning -- Formal Reasoning about Influence in Natural Sciences Experiments -- A Theory of Cartesian Arrays (with Applications in Quantum Circuit Verification) -- SAT-Based Subsumption Resolution -- A more Pragmatic CDCL for IsaSAT and targetting LLVM (Short Paper) -- Proving Non-Termination by Acceleration Driven Clause Learning (Short Paper) -- COOL 2 - A Generic Reasoner for Modal Fixpoint Logics (System Description) -- Choose your Colour: Tree Interpolation for Quantified Formulas in SMT -- Proving Termination of C Programs with Lists -- Reasoning about Regular Properties: A Comparative Study -- Program Synthesis in Saturation -- A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus -- Proving Almost-Sure Innermost Termination of Probabilistic Term Rewriting Using Dependency Pairs -- Verification of NP-hardness Reduction Functions for Exact Lattice Problems -- Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic -- Left-Linear Completion with AC Axioms -- On P -interpolation in local theory extensions and applications to the study of interpolation in the description logics EL, EL+ -- Theorem Proving in Dependently-Typed Higher-Order Logic -- Towards Fast Nominal Anti-Unification of Letrec-Expressions -- Confluence Criteria for Logically Constrained Rewrite Systems -- Towards a Verified Tableau Prover for a Quantifier-Free Fragment of Set Theory -- An Experimental Pipeline for Automated Reasoning in Natural Language (Short paper) -- Combining Combination Properties: An Analysis of Stable-infiniteness, Convexity, and Politeness -- Decidability of difference logic over the reals with uninterpreted unary predicates -- Incremental Rewriting Modulo SMT -- Iscalc: an Interactive Symbolic Computation Framework (System Description).…”
Link to Metadata

Music Theory for the 21st-Century Classroom द्वारा Hutchinson, Robert

विषय - सूची: “…1 Basic Concepts -- 2 Major Scales and Key Signatures -- 3 Minor Scales and Key Signatures -- 4 Basics of Rhythm -- 5 Intervals -- 6 Triads -- 7 Roman Numerals and Cadences -- 8 Seventh Chords -- 9 Harmonic Progression and Harmonic Function -- 10 Non-Chord Tones -- 11 Melodic Analysis -- 12 Form in Popular Music -- 13 Phrases in Combination -- 14 Accompanimental Textures -- 15 Creating Contrast Between Sections -- 16 Figured Bass -- 17 Secondary Dominant Chords -- 18 Secondary Diminished Chords -- 19 Mode Mixture -- 20 The Neapolitan Chord -- 21 Augmented Sixth Chords -- 22 Modulation -- 23 Enharmonic Modulation -- 24 Binary and Ternary Forms -- 25 Sonata and Rondo Forms -- 26 Voice Leading Triads -- 27 Voice Leading Seventh Chords -- 28 Voice Leading With Non-Chord Tones -- 29 Voice Leading Chromatic Harmonies -- 30 Introduction to Counterpoint -- 31 Introduction to Jazz Theory -- 32 Impressionism and Extended Tonality -- 33 Set Theory -- 34 Serialism -- 35 Minimalism…”
Access online version

Civil Engineering and Symmetry द्वारा Antuchevi?ien?, Jurgita

DOAB: download the publication
DOAB: description of the publication

Machine learning-enabled design features of antimicrobial peptides selectively targeting peri-implant disease progression द्वारा Kyle Boone, Kyle Boone, Natalia Tjokro, Kalea N. Chu, Kalea N. Chu, Casey Chen, Malcolm L. Snead, Malcolm L. Snead, Candan Tamerler, Candan Tamerler, Candan Tamerler

Connect to this object online.

Facility-level conditions leading to higher reach: a configurational analysis of national VA weight management programming द्वारा Edward J. Miech, Michelle B. Freitag, Richard R. Evans, Jennifer A. Burns, Wyndy L. Wiitala, Ann Annis, Susan D. Raffa, Stephanie A. Spohr, Laura J. Damschroder

Connect to this object online.

A matemática da escola primária nas revistas pedagógicas do Brasil e de Portugal द्वारा Rosimeire Aparecida Soares Borges, Aparecida Rodrigues Silva Duarte, Tânia Maria Mendonça Campos

Connect to this object online.