Výsledky vyhledávání - abstract and ((axiomatic OR automatizace) OR automation) computability and recursion theory*

Computable classifications of continuous, transducer, and regular functions.

Autoři: Franklin, Johanna N.Y. Hölzl, Rupert Melnikov, Alexander a další

Zdroj: Theoretical Computer Science. Mar2025, Vol. 1032, pN.PAG-N.PAG. 1p.

Témata: *RECURSION theory, *BANACH spaces, *CONTINUOUS functions, *TRANSDUCERS, *CLASSIFICATION

Abstract Hierarchies and Degrees

Autoři: Ivanov, Ljubomir L.

Zdroj: The Journal of Symbolic Logic, 1989 Mar 01. 54(1), 16-25.

Přístupová URL adresa: https://www.jstor.org/stable/2275011

Definibilitas Minimaximi

Autoři: Duvalier, Matthew

Témata: Logic, Theoretical mathematics, Mathematics

Popis souboru: application/pdf

Přístupová URL adresa: https://escholarship.org/uc/item/7326h843
https://escholarship.org/content/qt7326h843/qt7326h843.pdf

Further N -Frame networking dynamics of conscious observer-self agents via a functional contextual interface: predictive coding, double-slit quantum mechanical experiment, and decision-making fallacy modeling as applied to the measurement problem in humans and AI

Autoři: Edwards, Darren J.

Zdroj: Frontiers in Computational Neuroscience; 2025, p1-53, 53p

Témata: LANGUAGE models, ARTIFICIAL intelligence, COGNITIVE bias, QUANTUM operators, COGNITIVE maps (Psychology)

Uniformly Reflexive Structures: On the Nature of Gödelizations and Relative Computability

Autoři: Wagner, Eric G.

Zdroj: Transactions of the American Mathematical Society, 1969 Oct 01. 144, 1-41.

Přístupová URL adresa: https://www.jstor.org/stable/1995267

Reverse Complexity.

Autoři: Asperti, Andrea

Zdroj: Journal of Automated Reasoning; Dec2015, Vol. 55 Issue 4, p373-388, 16p

Témata: COMPLEXITY (Philosophy), MACHINE performance, MATHEMATICAL proofs, MATHEMATICS theorems, AXIOMATIC set theory

Intensional Kleene and Rice Theorems for Abstract Program Semantics

Autoři: Baldan, Paolo Ranzato, Francesco Zhang, Linpeng

Témata: Computer Science - Logic in Computer Science, Computer Science - Formal Languages and Automata Theory, F.1.1, F.3.1, text

URL: http://arxiv.org/abs/2105.14579

From Fieldwork to Linguistic Theory

Autoři: Gibson, Edward Poliak, Moshe

Resource Type: eBook.

Categories: LANGUAGE ARTS & DISCIPLINES / Linguistics / General

Indexed induction–recursion

Autoři: Dybjer, Peter Setzer, Anton

Zdroj: Journal of Logic & Algebraic Programming. Jan2006, Vol. 66 Issue 1, p1-49. 49p.

Témata: *MATHEMATICAL induction, *SET theory, *MATHEMATICS, *AXIOMATIC set theory, *AXIOMS

Foundations of Software Science and Computation Structures : 27th International Conference, FoSSaCS 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II

Autoři: Naoki Kobayashi James Worrell

Resource Type: eBook.

Témata: Computer software--Congresses, Software engineering--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Computer Architecture, COMPUTERS / Database Administration & Management, COMPUTERS / Information Theory, COMPUTERS / Hardware / General, MATHEMATICS / Applied, MATHEMATICS / Logic

Engines of Order : A Mechanology of Algorithmic Techniques

Autoři: Bernhard Rieder

Resource Type: eBook.

Categories: COMPUTERS / Information Theory, COMPUTERS / Programming / Algorithms, LANGUAGE ARTS & DISCIPLINES / Library & Information Science / General, PHILOSOPHY / Epistemology

Programming Languages and Systems : 33rd European Symposium on Programming, ESOP 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II

Autoři: Stephanie Weirich

Resource Type: eBook.

Témata: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

Categories: COMPUTERS / Languages / General, COMPUTERS / Programming / Compilers

Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I

Autoři: Bernd Finkbeiner Laura Kovács

Resource Type: eBook.

Témata: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

Natural Communication : The Obstacle-Embracing Art of Abstract Gnomonics

Autoři: Elias Zafiris Ludger Hovestadt Vera Bühlmann

Resource Type: eBook.

Témata: Complexity (Philosophy)

Categories: ARCHITECTURE / Study & Teaching, ARCHITECTURE / Criticism

Polynomial Time Turing Mitoticity and Arithmetical Hierarchy.

Autoři: Mokatsian, A. H.

Zdroj: Pattern Recognition & Image Analysis; Mar2024, Vol. 34 Issue 1, p9-19, 11p

The recursively generational brain.

Autoři: van Deventer, Vasi

Zdroj: Theory & Psychology; Oct2016, Vol. 26 Issue 5, p647-664, 18p

Témata: BRAIN chemistry, ARTIFICIAL neural networks, NEUROMORPHICS, SIMULATION methods & models, RECURSION theory

On Giving Meanings to Programs.

Autoři: Cardone, Felice

Zdroj: Axiomathes: Global Philosophy; Feb2023, Vol. 33 Issue 1, p1-22, 22p

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 Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings

Autoři: Christel Baier Ugo Dal Lago

Resource Type: eBook.

Témata: Computer software--Congresses, Software engineering--Congresses

Categories: COMPUTERS / Computer Science, BUSINESS & ECONOMICS / Careers / General, COMPUTERS / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Architecture, COMPUTERS / Software Development & Engineering / General, MATHEMATICS / Discrete Mathematics

Formalizing Restriction Categories.

Autoři: CHAPMAN, JAMES UUSTALU, TARMO VELTRI, NICCOLÒ

Zdroj: Journal of Formalized Reasoning; 2017, Vol. 10 Issue 1, p1-36, 36p

Témata: AXIOMATIC design, MATRIX analytic methods

On Strong and Weak Logics for Paraconsistent Computability.

Autoři: Weber, Zach Cano-Jorge, Fernando

Zdroj: Journal of Applied Logics- IfCoLog Journal of Logics & their Applications (FLAP); Jun2025, Vol. 12 Issue 5, p1349-1381, 33p

Témata: RECURSION theory, ARITHMETIC, LOGIC, MATHEMATICS, VIRTUES