Search Results - "((\"matematika logic AND algorithm theory\") OR (\"mathematik logic AND algorithm theory\"))~"

Crafting epistemic knowledge in statistics education via didactical engineering integrating the theory of didactical situations and the SECI model.

Authors: Dasari, Dadan Hendriyanto, Agus sahara, Sani et al.

Source: Discover Sustainability; 9/26/2025, Vol. 6 Issue 1, p1-32, 32p

Subject Terms: EPISTEMICS, TACIT knowledge, STATISTICAL literacy, EDUCATION theory, KNOWLEDGE management, INSTRUCTIONAL systems design, CLUSTER analysis (Statistics), AWARENESS

2015 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM ’15 Helsinki, Finland August 3–8, 2015.

Source: Bulletin of Symbolic Logic; Sep2016, Vol. 22 Issue 3, p366-435, 70p

Subject Terms: MATHEMATICAL logic, MATHEMATICIANS, LOGIC, SET theory, CONFERENCES & conventions, SOCIETIES

Company/Entity: ASSOCIATION for Symbolic Logic

Kalmár's Argument Against the Plausibility of Church's Thesis.

Authors: Szabó, Máté

Source: History & Philosophy of Logic; May2018, Vol. 39 Issue 2, p140-157, 18p, 1 Black and White Photograph

Subject Terms: PHILOSOPHY of mathematics, NUMBER theory, PROPOSITION (Logic), PREDICATE (Logic), UNIVERSALS (Philosophy)

Saint Petersburg School of the Theory of Linear Groups. I. Prehistory.

Authors: Vavilov, N. A.

Source: Vestnik St. Petersburg University: Mathematics; Sep2023, Vol. 56 Issue 3, p273-288, 16p

Some Types of Tri-Locally Compactness Spaces.

Authors: Oudetallah, Jamal Amourah, Ala Alsaadi, Sultan et al.

Source: European Journal of Pure & Applied Mathematics; Apr2025, Vol. 18 Issue 2, p1-11, 311p

Subject Terms: COMPACT spaces (Topology), TOPOLOGY

Integrating elements of data science into high-school teaching: Naïve Bayes-classification algorithm and programming in Python.

Authors: VANCSÓ, ÖDÖN PRINCZ, PÉTER

Source: Teaching Mathematics & Computer Science; 2020, Vol. 18 Issue 4, p307-316, 10p

Subject Terms: DATA science, HIGH school students, MATHEMATICS education, GREATEST common divisor, COMPUTER science

Errors and misconceptions of secondary school students in absolute values: a systematic literature review.

Authors: Papadouris, John P. Komis, Vassilis Lavidas, Konstantinos

Source: Mathematics Education Research Journal; Sep2025, Vol. 37 Issue 3, p507-528, 22p

Subject Terms: ABSOLUTE value, SECONDARY school students, MATHEMATICS education, MATHEMATICAL domains, COMMON misconceptions

Regular Single Valued Neutrosophic Hypergraphs.

Authors: Smarandache, Florentin Hassan, Ali

Source: Neutrosophic Sets & Systems; 2016, Vol. 13, p118-123, 6p

Subject Terms: NEUTROSOPHIC logic, HYPERGRAPHS, COMPLETENESS theorem, MATHEMATICAL analysis, GRAPH theory

Fuzzy n-Fold Filters of Pseudoresiduated Lattices.

Authors: Kadji, Albert Lele, Celestin Tonga, Marcel

Source: International Journal of Mathematics & Mathematical Sciences; 10/1/2015, Vol. 2015, p1-10, 10p

Subject Terms: FUZZY systems, LATTICE field theory, IMPLICATION (Logic), MATHEMATICAL analysis, MATHEMATICS

References.

Authors: Hodges, Wilfrid

Source: Model Theory (9780521066365); 1993, p716-754, 39p

Expanding the Possibilities of the Metric Approach Based on the Theory of Means and the Theory of Errors.

Authors: Sidel'nikov, Yu. V.

Source: Automation & Remote Control; Nov2021, Vol. 82 Issue 11, p1912-1922, 11p

Subject Terms: ERROR analysis in mathematics, CAPABILITIES approach (Social sciences), PROBABILITY measures, PROBLEM solving, KOLMOGOROV complexity

On algorithm complexity.

Authors: Kudryavtsev, V. Andreev, A.

Source: Journal of Mathematical Sciences; Jul2010, Vol. 168 Issue 1, p89-122, 34p

Subject Terms: ALGORITHMS, MONOTONE operators, BOOLEAN algebra, CALCULUS, EQUATIONS

Rūsiņš Mārtiņš Freivalds: Academic Genealogy and Selected Publications.

Source: Baltic Journal of Modern Computing; 2016, Vol. 4 Issue 4, p633-654, 22p

Reviews & Products: FUNDAMENTALS of Computers (Book), ON the Size Complexity of Deterministic Frequency Automata (Book)

Bibliography.

Authors: Bazaraa, Mokhtar S. Sherali, Hanif D. Shetty, C. M.

Source: Nonlinear Programming; 2006, p779-841, 63p

A LIST OF APPLICATIONS OF STALLINGS AUTOMATA.

Authors: DELGADO, JORDI VENTURA, ENRIC

Source: Transactions on Combinatorics; 2022, Vol. 11 Issue 3, p181-235, 55p

Subject Terms: FREE groups

Algorithm Theory -- SWAT 2012 : 13th Scandinavian Symposium and Workshops, Helsinki, Finland, July 4-6, 2012, Proceedings

Authors: Fedor V. Fomin Petteri Kaski

Resource Type: eBook.

Subjects: Algorithms, Computer science—Mathematics, Discrete mathematics, Artificial intelligence—Data processing

Categories: COMPUTERS / Programming / Algorithms, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Database Administration & Management, MATHEMATICS / Discrete Mathematics

Neutrosophic Graph Theory and Algorithms

Authors: Florentin Smarandache Said Broumi

Resource Type: eBook.

Subjects: Neutrosophic logic, Group theory

Categories: COMPUTERS / Programming / Algorithms, MATHEMATICS / General, MATHEMATICS / Graphic Methods

Fields of Logic and Computation : Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday

Authors: Andreas Blass Nachum Dershowitz Wolfgang Reisig

Resource Type: eBook.

Subjects: Computer programming, Computer science, Software engineering, Machine theory, Algorithms, Computer networks

Categories: COMPUTERS / Programming / General, COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Algorithms

Developments in Language Theory : 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings

Authors: Mizuho Hoshi Shinnosuke Seki

Resource Type: eBook.

Subjects: Computer science, Machine theory, Algorithms, Artificial intelligence, Data structures (Computer science), Information theory, Computer science—Mathematics

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Database Administration & Management, COMPUTERS / Information Theory, COMPUTERS / Programming / Algorithms, MATHEMATICS / Applied

Logics and Type Systems in Theory and Practice : Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday

Authors: Venanzio Capretta Robbert Krebbers Freek Wiedijk

Resource Type: eBook.

Subjects: Computer science, Computer science—Mathematics, Mathematics

Categories: COMPUTERS / General, COMPUTERS / Computer Science, MATHEMATICS / Applied