Výsledky vyhledávání - "((\"mathematical logic and algorithm theory\") OR (\"mathematik logic and algorithm theory\"))~"

A Short Note on the Early History of the Spectrum Problem and Finite Model Theory.

Autoři: Reichenberger, Andrea

Zdroj: History & Philosophy of Logic; May2025, Vol. 46 Issue 2, p287-296, 10p

Témata: FINITE model theory, MATHEMATICS, MATHEMATICAL logic, COMPUTER science, COMPUTATIONAL mathematics

2024 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC, LOGIC COLLOQUIUM 2024 University of Gothenburg Gothenburg, Sweden 24 June – 28 June, 2024.

Zdroj: Bulletin of Symbolic Logic; Dec2024, Vol. 30 Issue 4, p580-614, 35p

Témata: MATHEMATICAL proofs, COMPUTER logic, PHILOSOPHY of science, MATHEMATICAL logic, DISCRETE mathematics, WORD problems (Mathematics), RAMSEY numbers, PROOF theory, KOLMOGOROV complexity

Mathematical Logic: Proof Theory, Constructive Mathematics.

Zdroj: Oberwolfach Reports; 2023, Vol. 20 Issue 4, p3013-3061, 48p

Témata: PROOF theory, MATHEMATICAL logic, MATHEMATICAL proofs, CONSTRUCTIVE mathematics, COMPUTER science

INTERNAL AND EXTERNAL CALCULI: ORDERING THE JUNGLE WITHOUT BEING LOST IN TRANSLATIONS.

Autoři: Lyon, Tim S. Ciabattoni, Agata Galmiche, Didier a další

Zdroj: Bulletin of the Section of Logic; Mar2025, Vol. 54 Issue 1, p59-151, 93p

Témata: PROOF theory, NONCLASSICAL mathematical logic, INTUITIONISTIC mathematics, CONDITIONALS (Logic)

2023 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC University of California, Irvine Irvine, CA, USA March 25–29, 2023.

Zdroj: Bulletin of Symbolic Logic; Dec2024, Vol. 29 Issue 4, p672-695, 24p

Témata: COMPUTATIONAL complexity, MATHEMATICAL equivalence, PROPOSITION (Logic), SET theory

Korporace: ASSOCIATION for Symbolic Logic

Computability theory

Autoři: Zimmermann, Karl-Heinz

Témata: Models of Computation (F.4.1), F.1.3:Complexity Measures and Classes (F.2) (REVISED), F.1.2:Modes of Computation, computability theory, complexity theory, 03-XX, Komplexitätstheorie, Turing machine, Computability, recursion theory, Turing machine, undecidability, word problems, complexity classes, Berechenbarkeit, Ingenieurwissenschaften, theoretical computer science, Theoretische Informatik, Grammars and Other Rewriting Systems (D.3.1), Rekursionstheorie, F.1.1:Models of Computation (F.4.1), computability, Computability, 510: Mathematik, recursion theory, undecidability, word problems, complexity classes, Unentscheidbarkeit, Mathematik, 03-XX:Mathematical logic and foundations, F.1.2, Complexity Measures and Classes (F.2) (REVISED), Nonnumerical Algorithms and Problems (E.2-5, G.2, H.2-3), F.1.3, Algebraische Rekursionstheorie, complexity, F.1.1, Mathematical Logic (F.1.1, I.2.2-4)

Problems in Set Theory, Mathematical Logic and the Theory of Algorithms

Autoři: Igor Lavrov Larisa Maksimova G. Corsi

Resource Type: eBook.

Témata: Set theory--Problems, exercises, etc, Logic, Symbolic and mathematical--Problems, exer, Algorithms--Problems, exercises, etc

Categories: MATHEMATICS / Logic, COMPUTERS / Computer Science, MATHEMATICS / Algebra / General, PHILOSOPHY / Logic

Discordium Mathematica A Symphony in Aleph-minor -Or, a Vision in a Dream, fragmented….

Autoři: Fafat, Vijay

Zdroj: Journal of Humanistic Mathematics; Jul2024, Vol. 14 Issue 2, p618-682, 65p

Témata: TOPOLOGY, MATHEMATICAL logic, PHILOSOPHY of mathematics, MYTHOLOGY, GRAPH theory, ITCHING, MATHEMATICAL notation

Mathematical Logic: Proof Theory, Constructive Mathematics (hybrid meeting).

Zdroj: Oberwolfach Reports; 2021, p1693-1757, 65p

Témata: MATHEMATICAL logic, ABSTRACT algebra, PROOF theory, LOGIC, COMPUTATIONAL mechanics

Logical metatheorems for accretive and (generalized) monotone set-valued operators.

Autoři: Pischke, Nicholas

Zdroj: Journal of Mathematical Logic; Aug2024, Vol. 24 Issue 2, p1-59, 59p

Témata: MONOTONE operators, NONLINEAR functional analysis, MATHEMATICAL logic, OPERATOR theory, FUNCTION spaces, FUNCTIONAL analysis

2022 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM 2022 Reykjavík University Reykjavík, Iceland June 27 – July 1, 2022.

Zdroj: Bulletin of Symbolic Logic; Dec2022, Vol. 28 Issue 4, p566-606, 41p

Témata: MATHEMATICAL logic, MATHEMATICAL variables, GRADUATE students, PHILOSOPHY of mathematics, SET theory

Steps Toward a Philosophy for Mathematicians.

Autoři: Fenstad, Jens Erik

Zdroj: Mathematical Intelligencer; Mar2023, Vol. 45 Issue 1, p42-49, 8p

Témata: MATHEMATICIANS, MATHEMATICAL logic, HILBERT'S tenth problem, MATHEMATICAL ability, PHILOSOPHY of mathematics, CANTOR sets, NUMBER systems

A TOPOLOGICAL APPROACH TO UNDEFINABILITY IN ALGEBRAIC EXTENSIONS OF $\mathbb {Q}$.

Autoři: EISENTRÄGER, KIRSTEN MILLER, RUSSELL SPRINGER, CALEB a další

Zdroj: Bulletin of Symbolic Logic; Dec2024, Vol. 29 Issue 4, p626-655, 30p

Témata: TOPOLOGICAL groups, POLYNOMIALS, DEFINABILITY theory (Mathematical logic), SET theory, SUBSET selection

Decidability w.r.t. Logical Consecutions of Linear Temporal Logic Extended by Since and Previous.

Autoři: Rybakov, Vladimir V.

Zdroj: Fundamenta Informaticae; 2007, Vol. 81 Issue 1-3, p297-313, 17p

Témata: DECIDABILITY (Mathematical logic), ALGORITHMS, INFERENCE (Logic), MATHEMATICAL logic, FINITE model theory

NON-STANDARD ANALYSIS REVISITED: AN EASY AXIOMATIC PRESENTATION ORIENTED TOWARDS NUMERICAL APPLICATIONS.

Autoři: BENCI, VIERI COCOCCIONI, MARCO FIASCHI, LORENZO

Zdroj: International Journal of Applied Mathematics & Computer Science; 2022, Vol. 32 Issue 1, p65-80, 16p

Témata: NONSTANDARD mathematical analysis, MATHEMATICAL logic, MODEL theory, MARKOV processes, MATRIX decomposition, AXIOMATIC design

An Invitation to Higher Arity Science.

Autoři: Zapata-Carratalá, Carlos Arsiwalla, Xerxes D.

Zdroj: Complex Systems; 2024, Vol. 32 Issue 4, p409-468, 60p

Témata: MATHEMATICAL logic, ALGEBRA, MATHEMATICAL category theory, HYPERGRAPHS, MATHEMATICS

Long and Short Proofs.

Autoři: Calude, Cristian S. Staiger, Ludwig

Zdroj: CDMTCS Research Report Series; Mar2022, Issue 561, p1-12, 12p

Témata: PROOF theory, MATHEMATICAL logic, MATHEMATICAL formulas, MATHEMATICAL models, MATHEMATICAL analysis

Introduction to Mathematical Logic

Autoři: Mendelson, Elliott

Resource Type: eBook.

Témata: Logic, Symbolic and mathematical

Categories: COMPUTERS / Programming / Algorithms, MATHEMATICS / General, MATHEMATICS / Set Theory

Treatise on Intuitionistic Type Theory

Autoři: Johan Georg Granström

Resource Type: eBook.

Témata: Knowledge, Theory of, Mathematical logic, Computer science, Logic, Philosophy—History, Algorithms

Categories: PHILOSOPHY / Epistemology, COMPUTERS / Computer Science, COMPUTERS / Programming / Algorithms, MATHEMATICS / Logic, PHILOSOPHY / History & Surveys / General, PHILOSOPHY / Logic

Optimization of second shortest path for multicommodity network flow without intermediate storage.

Autoři: Beniwal, Gautam Rizwanullah, Mohammad

Zdroj: AIP Conference Proceedings; 2023, Vol. 2768 Issue 1, p1-9, 9p

Témata: MATHEMATICAL logic, PHYSICAL distribution of goods, STORAGE, MULTICASTING (Computer networks)