Výsledky vyhledávání - mathematical logic and algorithm theory

STL-GO: Spatio-Temporal Logic with Graph Operators for Distributed Systems with Multiple Network Topologies.

Autoři: Zhao, Yiqi Yu, Xinyi Hoxha, Bardh a další

Zdroj: ACM Transactions on Embedded Computing Systems; 2025 Suppl 5, Vol. 24, p1-23, 23p

Témata: MULTIAGENT systems, DISTRIBUTED computing, ROBOTICS, MATHEMATICAL logic, TOPOLOGICAL graph theory, INTERNET of things, GRAPH algorithms, SMART cities

Chair of Mathematical Logic and Theory of Algorithms.

Autoři: Semenov, A. L. Babenko, M. A. Belov, A. Ya. a další

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

Design of Learning Model of Logic and Algorithms Based on APOS Theory

Autoři: Hartati, Sulis Janu

Zdroj: International Journal of Evaluation and Research in Education. Jun 2014 3(2):109-118.

Peer Reviewed: Y

Page Count: 10

Descriptors: Mathematics, Mathematical Logic, Mathematics Instruction, Outcomes of Education, Foreign Countries, Models, Mathematics Education, Problem Solving, Mathematical Concepts, Equations (Mathematics), Cognitive Structures, Statistical Analysis, Mathematics Achievement, Test Results

Geografický termín: Indonesia

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

Autoři: Künnemann, Marvin Mazowiecki, Filip Schütze, Lia a další

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

Témata: MATHEMATICAL bounds, DETERMINISTIC algorithms, DECIDABILITY (Mathematical logic), HYPOTHESIS

Injecting Observers into Computational Complexity.

Autoři: Daylight, Edgar Graham

Zdroj: Philosophies; Aug2025, Vol. 10 Issue 4, p76, 24p

Témata: COMPUTATIONAL complexity, MACHINE theory, MATHEMATICAL logic, DETERMINISTIC algorithms, PROPOSITION (Logic), INDUCTION (Logic)

People: PLATO, 428-347 B.C.

Foundations of Software Science and Computation Structures

Přispěvatelé: Abdulla, Parosh Aziz Kesner, Delia

Témata: program analysis, categorical models and logics, language theory, automata, and games, concurrency theory, modal, spatial, and temporal logics, logics of programming, software specification and refinement, emerging models of computation, models of software security, logical aspects of computational complexity, Mathematical theory of computation, Mathematical logic, Mathematical foundations, Algorithms and data structures, Information theory, Systems analysis and design, Maths for computer scientists

Popis souboru: application/pdf

Relation: Lecture Notes in Computer Science

Přístupová URL adresa: https://library.oapen.org/handle/20.500.12657/101666

Computer-Supported Assessment of Geometric Exploration Using Variation Theory

Autoři: Luz, Yael Yerushalmy, Michal

Zdroj: Journal for Research in Mathematics Education. Mar 2023 54(2):141-174.

Peer Reviewed: Y

Page Count: 34

Descriptors: Algorithms, Computer Assisted Testing, Geometry, Mathematics Instruction, Geometric Concepts, Mathematical Logic, Grade 9, Classification, Error Patterns, Learning Analytics, Mathematical Concepts, Instructional Design, Learning Theories, Concept Formation

Handbook of Research on the Applications of Neutrosophic Sets Theory and Their Extensions in Education. Advances in Data Mining and Database Management (ADMDM) Book Series

Autoři: Broumi, Said

Zdroj: IGI Global. 2023.

Peer Reviewed: Y

Page Count: 365

Descriptors: Theories, Mathematical Logic, Intuition, Decision Making, Data, Models, Educational Technology, Learning Management Systems, Instructional Design, Algorithms, Role of Education, Student Evaluation, Evaluation Methods, Cognitive Processes, Artificial Intelligence, Number Concepts, Scores

Проектирование информационной системы по дисциплине «Математическая логика и теория алгоритмов» при помощи языка гипертекстовой разметки html ; Designing An Information System for the Discipline 'Mathematical Logic and Theory of Algorithms' with the Help of the Hypertext Markup Language HTML

Autoři: Воронин, В. И. Латыпова, Е. К. Дерюжкина, Е. К. a další

Témata: АВТОМАТИЗИРОВАННЫЕ ИНФОРМАЦИОННЫЕ СИСТЕМЫ, МАТЕМАТИЧЕСКАЯ ЛОГИКА, ТЕОРИЯ АЛГОРИТМОВ, ЯЗЫК HTML, AUTOMATED INFORMATION SYSTEMS, MATHEMATICAL LOGIC, ALGORITHM THEORY, HTML LANGUAGE

Popis souboru: application/pdf

Relation: Актуальные проблемы развития естественных наук : сборник статей участников XXV Областного конкурса научно-исследовательских работ «Научный Олимп» по направлению «Естественные науки». — Екатеринбург, 2022; http://elar.urfu.ru/handle/10995/119880

Dostupnost: http://elar.urfu.ru/handle/10995/119880

New Variants of the Multi-Verse Optimizer Algorithm Adapting Chaos Theory in Benchmark Optimization.

Autoři: Amezquita, Lucio Castillo, Oscar Soria, Jose a další

Zdroj: Symmetry (20738994). Jul2023, Vol. 15 Issue 7, p1319. 21p.

Témata: *MATHEMATICAL optimization, *MATHEMATICAL functions, *MATHEMATICAL logic, *ALGORITHMS, *CHAOS theory, *FUZZY logic

Relationships between Specified and Underspecified Quantification by the Theory of Acyclic Recursion

Autoři: Loukanova, Roussanka

Zdroj: ADCAIJ: Advances in Distributed Computing and Artificial Intelligence Journal. 5(4):19-42

Témata: recursion, type-theory, semantics, algorithms, denotation, reduction, quantifiers, underspecification, datalogi, Computer Science, administrativ databehandling, Computing Science, datorlingvistik, Computational Linguistics, matematisk logik, Mathematical Logic, Mathematics, matematik

Popis souboru: print

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-141001
https://doi.org/10.14201/ADCAIJ2016541942

Distribution-Free Modal Logics: Sahlqvist–Van Benthem Correspondence.

Autoři: Hartonas, Chrysafis¹ (AUTHOR)

Zdroj: Logics. Sep2025, Vol. 3 Issue 3, p10. 38p.

Témata: *MODAL logic, *RESIDUATED lattices, *NONCLASSICAL mathematical logic, *NEGATION (Logic), *DUALITY theory (Mathematics)

Gamma-star Reduction in the Type-theory of Acyclic Algorithms

Autoři: Loukanova, Roussanka

Zdroj: Proceedings of the 10th International Conference on Agents and Artificial Intelligence (ICAART 2018). :231-242

Témata: Mathematics Of Algorithms, Recursion, Types, Semantics, Algorithmic Semantics, Denotation, Canonical Computations, matematisk logik, Mathematical Logic

Popis souboru: print

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-161666
https://doi.org/10.5220/0006662802310242

Problems in Set Theory, Mathematical Logic and the Theory of Algorithms Igor Lavrov Larisa Maksimova Giovanna Corsi Valentin Shehtman

Autoři: Palka, Ewa

Zdroj: Studia Logica: An International Journal for Symbolic Logic, 2005 Nov 01. 81(2), 283-285.

Relation: Problems in Set Theory, Mathematical Logic and the Theory of Algorithms Igor Lavrov Larisa Maksimova Giovanna Corsi Valentin Shehtman

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

Research on a General State Formalization Method from the Perspective of Logic.

Autoři: Qiu, Siyuan Xu, Jianfeng

Zdroj: Mathematics (2227-7390); Oct2025, Vol. 13 Issue 20, p3324, 36p

Témata: MODEL theory, INFORMATION theory, SEMANTICS, MATHEMATICAL logic

Noetherian theories.

Autoři: Martin-Pizarro, Amador Ziegler, Martin

Zdroj: Journal of Mathematical Logic; Dec2025, Vol. 25 Issue 3, p1-31, 31p

Témata: NOETHERIAN rings, MODEL theory, MATHEMATICAL logic, TOPOLOGY, ALGEBRAIC fields, MATHEMATICAL formulas

Boolean Functions: Theory, Algorithms, and Applications

Autoři: Crama, Yves Hammer, Peter L. QuantOM

Přispěvatelé: Crama, Yves Hammer, Peter L. QuantOM

Témata: Boolean functions, propositional logic, satisfiability, graph theory, electrical engineering, reliability, simple games, computational complexity, circuits, pseudo-Boolean functions, artificial intelligence, duality, integer programming, combinatorial optimization, Engineering, computing & technology, Computer science, Electrical & electronics engineering, Business & economic sciences, Quantitative methods in economics & management, Physical, chemical, mathematical & earth Sciences, Mathematics, Ingénierie, informatique & technologie, Sciences informatiques, Ingénierie électrique & électronique, Sciences économiques & de gestion, Méthodes quantitatives en économie & gestion, Physique, chimie, mathématiques & sciences de la terre, Mathématiques

Popis souboru: xxi, 687

Relation: Encyclopedia of Mathematics and its Applications 142

Přístupová URL adresa: https://orbi.uliege.be/handle/2268/72714

Proof-Theoretic Aspects of the Logic of Scope.

Autoři: Moot, Richard

Zdroj: Journal of Logic, Language & Information; Dec2025, Vol. 34 Issue 5, p463-514, 52p

Témata: PROOF theory, COMPUTATIONAL complexity, MATHEMATICAL logic, LOGIC, LINGUISTICS, DECIDABILITY (Mathematical logic)

A glimpse of some common concepts in algebras of logic and uncertain environments.

Autoři: DĂNCIULESCU, DANIELA PICIU, DANA DINU, CRISTIAN a další

Zdroj: Carpathian Journal of Mathematics; 2025, Vol. 41 Issue 4, p1061-1077, 17p

Témata: RESIDUATED lattices, FUZZY numbers, FUZZY sets, EQUIVALENCE classes (Set theory), MATHEMATICAL logic, EQUIVALENCE relations (Set 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