Výsledky vyhledávání - mathematical logic and algorithm theory
-
1
Autoři: a další
Zdroj: ACM Transactions on Embedded Computing Systems; 2025 Suppl 5, Vol. 24, p1-23, 23p
-
2
Autoři: a další
Zdroj: Moscow University Mathematics Bulletin; Feb2025, Vol. 80 Issue 1, p23-33, 11p
-
3
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
-
4
Autoři: a další
Zdroj: Journal of the ACM; Oct2025, Vol. 72 Issue 5, p1-27, 27p
-
5
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.
-
6
Přispěvatelé:
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
-
7
Autoři:
Zdroj: Journal for Research in Mathematics Education. Mar 2023 54(2):141-174.
Peer Reviewed: Y
Page Count: 34
-
8
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
-
9
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
-
10
New Variants of the Multi-Verse Optimizer Algorithm Adapting Chaos Theory in Benchmark Optimization.
Autoři: a další
Zdroj: Symmetry (20738994). Jul2023, Vol. 15 Issue 7, p1319. 21p.
-
11
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
-
12
Autoři: Hartonas, Chrysafis1 (AUTHOR)
Zdroj: Logics. Sep2025, Vol. 3 Issue 3, p10. 38p.
-
13
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
-
14
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
-
15
Autoři:
Zdroj: Mathematics (2227-7390); Oct2025, Vol. 13 Issue 20, p3324, 36p
-
16
Autoři:
Zdroj: Journal of Mathematical Logic; Dec2025, Vol. 25 Issue 3, p1-31, 31p
-
17
Autoři:
Přispěvatelé:
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
-
18
Autoři: Moot, Richard
Zdroj: Journal of Logic, Language & Information; Dec2025, Vol. 34 Issue 5, p463-514, 52p
-
19
Autoři: a další
Zdroj: Carpathian Journal of Mathematics; 2025, Vol. 41 Issue 4, p1061-1077, 17p
-
20
Autoři: Reichenberger, Andrea
Zdroj: History & Philosophy of Logic; May2025, Vol. 46 Issue 2, p287-296, 10p
Full Text Finder
Nájsť tento článok vo Web of Science