Suchergebnisse - (( mathematical logic and algorithm theory ) OR ( matematika logic and algorithm theory ))

Chair of Mathematical Logic and Theory of Algorithms.

Autoren: Semenov, A. L. Babenko, M. A. Belov, A. Ya. et al.

Quelle: Moscow University Mathematics Bulletin; Feb2025, Vol. 80 Issue 1, p23-33, 11p

Partial Deductive Closure: Logical Simulation and Management Science

Autoren: Kamps, Jaap Masuch, Michael

Quelle: Management Science, 1997 Sep 01. 43(9), 1229-1245.

Zugangs-URL: https://www.jstor.org/stable/2634635

Applied Set Theory and Logic

Autoren: Kuczynski, John-Michael

Quelle: Kuczynski, John-Michael (2025) Applied Set Theory and Logic. [Preprint]

Dateibeschreibung: text

Relation: https://philsci-archive.pitt.edu/25447/; https://www.analyticphilosophy.ai/applies-set-theory-and-logic

Russian Logics and the Culture of Impossible: Part I—Recovering Intelligentsia Logics.

Autoren: Tatarchenko, Ksenia Yermakova, Anya De Mol, Liesbeth

Quelle: IEEE Annals of the History of Computing; 2021, Vol. 43 Issue 4, p43-56, 14p

Schlagwörter: MATHEMATICAL logic, LOGIC, CYBERNETICS, INTELLECTUALS, CONTINUOUS time models, PANPSYCHISM

Geografische Kategorien: SOVIET Union

Arrow's Decisive Coalitions

Autoren: Holliday, Wesley Halcrow Pacuit, Eric

Schlagwörter: social choice theory, Arrow's impossibility theorem, decisive coalitions, logic and social choice

Dateibeschreibung: application/pdf

Zugangs-URL: https://escholarship.org/uc/item/9hd0g86c
https://escholarship.org/content/qt9hd0g86c/qt9hd0g86c.pdf

Benchmarking quantum logic operations relative to thresholds for fault tolerance

Autoren: Hashim, Akel Seritan, Stefan Proctor, Timothy et al.

Quelle: npj Quantum Information. 9(1)

Schlagwörter: 5108 Quantum Physics (for-2020), 51 Physical Sciences (for-2020), 4613 Theory of computation (for-2020), 4902 Mathematical physics (for-2020), 5108 Quantum physics (for-2020)

Dateibeschreibung: application/pdf

Zugangs-URL: https://escholarship.org/uc/item/20x0s7m8
https://escholarship.org/content/qt20x0s7m8/qt20x0s7m8.pdf

Collectives of automata in labyrinths.

Autoren: Kilibarda, G. Kudryavstsev, V. B. Ušcumlic, Š

Quelle: Discrete Mathematics & Applications; 2003, Vol. 13 Issue 5, p429-466, 38p, 5 Graphs

Schlagwörter: MACHINE theory, RECURSIVE functions, ALGORITHMS, MATHEMATICAL models, MATHEMATICAL logic

Inferring gene regulatory networks using transcriptional profiles as dynamical attractors

Autoren: Li, Ruihao Rozum, Jordan C Quail, Morgan M et al.

Quelle: PLOS Computational Biology. 19(8)

Schlagwörter: Biochemistry and Cell Biology, Bioinformatics and Computational Biology, Genetics, Biological Sciences, Bioengineering, Generic health relevance, Bayes Theorem, Gene Regulatory Networks, Algorithms, Biological Evolution, Candida albicans, RNA, Messenger, Mathematical Sciences, Information and Computing Sciences, Bioinformatics

Dateibeschreibung: application/pdf

Zugangs-URL: https://escholarship.org/uc/item/1v06p0wc
https://escholarship.org/content/qt1v06p0wc/qt1v06p0wc.pdf

Roots and Critical Points of Complex Polynomials: Applications of Algorithms in Real Algebra, Moment Theory, Convex Analysis, Optimization, and Positive Polynomials to a Conjecture in Pure Mathematics

Autoren: Spjut, Richard William

Schlagwörter: Mathematics, Theoretical mathematics, Applied mathematics, Blagovest Sendov Conjecture, Complex Analysis, Optimization, Real Algebra, Real Radical Ideal, Semidefinite Programming

Dateibeschreibung: application/pdf

Zugangs-URL: https://escholarship.org/uc/item/7rg4n13q
https://escholarship.org/content/qt7rg4n13q/qt7rg4n13q.pdf

Victor Timofeevich Markov (21.06.1948–15.07.2019).

Autoren: Adrianov, N. M. Artamonov, V. A. Balaba, I. N. et al.

Quelle: Journal of Mathematical Sciences; Apr2022, Vol. 262 Issue 5, p592-602, 11p

Schlagwörter: MATHEMATICAL logic, ALGEBRAIC coding theory, GROUP algebras, ALGEBRAIC geometry, RING theory, NONCOMMUTATIVE algebras, NONABELIAN groups

Mathematical Limits and Philosophical Significance of Transfinite Computation

Autoren: Rin, Benjamin

Schlagwörter: Logic, Philosophy, Logic, Philosophy of Mathematics, Set Theory, Transfinite Computation, Transfinite Recursion, Turing Machine

Dateibeschreibung: application/pdf

Zugangs-URL: https://escholarship.org/uc/item/7cb8m1vc
https://escholarship.org/content/qt7cb8m1vc/qt7cb8m1vc.pdf

On special properties of a composition of automata.

Autoren: Babash, A. V.

Quelle: Discrete Mathematics & Applications; 2003, Vol. 13 Issue 5, p497-506, 10p, 1 Diagram

Schlagwörter: ALGORITHMS, MACHINE theory, RECURSIVE functions, MATHEMATICAL models, MATHEMATICAL logic, AUTOMATION

Fields of Logic and Computation : Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday

Autoren: Andreas Blass Nachum Dershowitz Wolfgang Reisig

Resource Type: eBook.

Schlagworte: Computer programming, Computer science, Software engineering, Machine theory, Algorithms, Computer networks

Categories: COMPUTERS / Programming / General, COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Algorithms

2015 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM ’15 Helsinki, Finland August 3–8, 2015.

Quelle: Bulletin of Symbolic Logic; Sep2016, Vol. 22 Issue 3, p366-435, 70p

Schlagwörter: MATHEMATICAL logic, MATHEMATICIANS, LOGIC, SET theory, CONFERENCES & conventions, SOCIETIES

Firma/Körperschaft: ASSOCIATION for Symbolic Logic

Optimisation in Boolean-valued networks.

Autoren: Salii, V. N.

Quelle: Discrete Mathematics & Applications; 2005, Vol. 15 Issue 2, p195-200, 6p

Schlagwörter: BOOLEAN algebra, SET theory, ALGEBRAIC logic, MATHEMATICAL logic, MATHEMATICS

Fuzzy Horn clauses in artificial intelligence: a study of free models, and applications in art painting style categorization

Autoren: Costa Bueno, Vicente

Thesis Advisors: costabuenovicente@gmail.com, Dellunde i Clavé, Pilar

Quelle: TDX (Tesis Doctorals en Xarxa)

Schlagwörter: Clàusula de Horn, Cláusula de Horn, Horn clause, Intel·ligència artificial explicativa, Inteligencia artificial explicativa, Explainable ai, Lògiques difuses, Lógicas difusas, Fuzzy logics, Ciències Humanes

Dateibeschreibung: application/pdf

Zugangs-URL: http://hdl.handle.net/10803/673374

Coverability in VASS Revisited: Improving Rackoff's Bounds to Obtain Conditional Optimality.

Autoren: Künnemann, Marvin Mazowiecki, Filip Schütze, Lia et al.

Quelle: Journal of the ACM; Oct2025, Vol. 72 Issue 5, p1-27, 27p

Schlagwörter: MATHEMATICAL bounds, DETERMINISTIC algorithms, DECIDABILITY (Mathematical logic), HYPOTHESIS

On completeness and A-completeness of S-sets of determinate functions containing all one-place determinate S-functions.

Autoren: Podkolzina, M. A.

Quelle: Discrete Mathematics & Applications; 2009, Vol. 19 Issue 3, p263-276, 14p

Schlagwörter: COMPLETENESS theorem, MATHEMATICAL logic, SET theory, MATHEMATICAL functions, MACHINE theory, MATHEMATICAL variables

Definability in the language of functional equations of a countable-valued logic.

Autoren: Marchenkov, S. S.

Quelle: Discrete Mathematics & Applications; Dec2013, Vol. 23 Issue 5/6, p451-462, 12p

Schlagwörter: DEFINABILITY theory (Mathematical logic), FUNCTIONAL equations, LANGUAGE & languages, SET theory, MATHEMATICAL constants

Foundations of Mathematical Logic

Autoren: Haskell B. Curry

Resource Type: eBook.

Schlagworte: Logic, Symbolic and mathematical

Categories: MATHEMATICS / Logic, MATHEMATICS / Calculus