Suchergebnisse - "((\"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.

Autoren: Reichenberger, Andrea

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

Schlagwörter: 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.

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

Schlagwörter: 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.

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

Schlagwörter: PROOF theory, MATHEMATICAL logic, MATHEMATICAL proofs, CONSTRUCTIVE mathematics, COMPUTER science

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

Autoren: Lyon, Tim S. Ciabattoni, Agata Galmiche, Didier et al.

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

Schlagwörter: 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.

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

Schlagwörter: COMPUTATIONAL complexity, MATHEMATICAL equivalence, PROPOSITION (Logic), SET theory

Firma/Körperschaft: ASSOCIATION for Symbolic Logic

Computability theory

Autoren: Zimmermann, Karl-Heinz

Schlagwörter: 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

Autoren: Igor Lavrov Larisa Maksimova G. Corsi

Resource Type: eBook.

Schlagworte: 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….

Autoren: Fafat, Vijay

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

Schlagwörter: TOPOLOGY, MATHEMATICAL logic, PHILOSOPHY of mathematics, MYTHOLOGY, GRAPH theory, ITCHING, MATHEMATICAL notation

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

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

Schlagwörter: MATHEMATICAL logic, ABSTRACT algebra, PROOF theory, LOGIC, COMPUTATIONAL mechanics

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

Autoren: Pischke, Nicholas

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

Schlagwörter: 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.

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

Schlagwörter: MATHEMATICAL logic, MATHEMATICAL variables, GRADUATE students, PHILOSOPHY of mathematics, SET theory

Steps Toward a Philosophy for Mathematicians.

Autoren: Fenstad, Jens Erik

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

Schlagwörter: 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}$.

Autoren: EISENTRÄGER, KIRSTEN MILLER, RUSSELL SPRINGER, CALEB et al.

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

Schlagwörter: 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.

Autoren: Rybakov, Vladimir V.

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

Schlagwörter: DECIDABILITY (Mathematical logic), ALGORITHMS, INFERENCE (Logic), MATHEMATICAL logic, FINITE model theory

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

Autoren: BENCI, VIERI COCOCCIONI, MARCO FIASCHI, LORENZO

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

Schlagwörter: NONSTANDARD mathematical analysis, MATHEMATICAL logic, MODEL theory, MARKOV processes, MATRIX decomposition, AXIOMATIC design

An Invitation to Higher Arity Science.

Autoren: Zapata-Carratalá, Carlos Arsiwalla, Xerxes D.

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

Schlagwörter: MATHEMATICAL logic, ALGEBRA, MATHEMATICAL category theory, HYPERGRAPHS, MATHEMATICS

Long and Short Proofs.

Autoren: Calude, Cristian S. Staiger, Ludwig

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

Schlagwörter: PROOF theory, MATHEMATICAL logic, MATHEMATICAL formulas, MATHEMATICAL models, MATHEMATICAL analysis

Introduction to Mathematical Logic

Autoren: Mendelson, Elliott

Resource Type: eBook.

Schlagworte: Logic, Symbolic and mathematical

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

Treatise on Intuitionistic Type Theory

Autoren: Johan Georg Granström

Resource Type: eBook.

Schlagworte: 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.

Autoren: Beniwal, Gautam Rizwanullah, Mohammad

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

Schlagwörter: MATHEMATICAL logic, PHYSICAL distribution of goods, STORAGE, MULTICASTING (Computer networks)