Search Results - "((\"mathematical logic and algorithm theory\") OR (\"mathematical logic and algorithm theory\"))*"

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

Authors: Hartati, Sulis Janu

Source: 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

Geographic Terms: Indonesia

Foundations of Software Science and Computation Structures

Contributors: Abdulla, Parosh Aziz Kesner, Delia

Subject Terms: 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

File Description: application/pdf

Relation: Lecture Notes in Computer Science

Access URL: https://library.oapen.org/handle/20.500.12657/101666

Computer-Supported Assessment of Geometric Exploration Using Variation Theory

Authors: Luz, Yael Yerushalmy, Michal

Source: 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

Authors: Broumi, Said

Source: 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

Boolean Functions: Theory, Algorithms, and Applications

Authors: Crama, Yves Hammer, Peter L. QuantOM

Contributors: Crama, Yves Hammer, Peter L. QuantOM

Subject Terms: 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

File Description: xxi, 687

Relation: Encyclopedia of Mathematics and its Applications 142

Access URL: https://orbi.uliege.be/handle/2268/72714

Foundations of Software Science and Computation Structures

Contributors: Kobayashi, Naoki Worrell, James

Subject Terms: 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

File Description: application/pdf

Relation: Lecture Notes in Computer Science

Access URL: https://library.oapen.org/handle/20.500.12657/89912

Applied Set Theory and Logic

Authors: Kuczynski, John-Michael

Index Terms: Classical, Foundations, Logic, Computer Science, Preprint, NonPeerReviewed

URL: https://philsci-archive.pitt.edu/25447/1/EXTENDED%20SET%20THEORY%20AND%20LOGIC%20WITH%20APPLICATIONS.pdf
https://philsci-archive.pitt.edu/25447/
https://www.analyticphilosophy.ai/applies-set-theory-and-logic
https://philsci-archive.pitt.edu/25447
https://www.analyticphilosophy.ai/applies-set-theory-and-logic

Tools and Algorithms for the Construction and Analysis of Systems

Contributors: Vojnar, Tomáš Zhang, Lijun

Subject Terms: Computer science, Computer logic, Software engineering, Mathematical logic, Algorithms, Logic design, Artificial intelligence, Computer programming / software engineering, Algorithms and data structures, Software Engineering, Mathematical theory of computation, Computer architecture and logic design

File Description: application/pdf

Relation: Lecture Notes in Computer Science

Access URL: http://library.oapen.org/handle/20.500.12657/23328

The Everyday Life of an Algorithm

Authors: Neyland, Daniel

Subject Terms: Social sciences, Technology—Sociological aspects, Culture, Technology, Computers and civilization, Data structures (Computer science), Mathematical logic, Cultural studies, Sociology, Digital and information technologies: social and ethical aspects, Algorithms and data structures, Mathematical theory of computation

File Description: application/pdf

Access URL: http://library.oapen.org/handle/20.500.12657/22916

Tools and Algorithms for the Construction and Analysis of Systems

Contributors: Beyer, Dirk Huisman, Marieke Kordon, Fabrice et al.

Subject Terms: Computer science, Computer logic, Software engineering, Mathematical logic, Computers, Computer system failures, Computer simulation, Information technology: general topics, Computer programming / software engineering, Software Engineering, Mathematical theory of computation, Systems analysis and design, Computer modelling and simulation

File Description: application/pdf

Relation: Lecture Notes in Computer Science

Access URL: http://library.oapen.org/handle/20.500.12657/23327

Identification of Graph Thinking in Solving Mathematical Problems Naturally

Authors: Prayitno, Anggar Titis Nusantara, Toto Hidayanto, Erry et al.

Source: Participatory Educational Research. Mar 2022 9(2):118-135.

Peer Reviewed: Y

Page Count: 18

Descriptors: Mathematics Instruction, Graphs, Problem Solving, Grade 10, High School Students, Mathematical Logic, Mathematics Skills, 21st Century Skills, Foreign Countries, Secondary School Mathematics

Geographic Terms: Indonesia

Fuzzy Horn clauses in artificial intelligence: a study of free models, and applications in art painting style categorization

Authors: Costa Bueno, Vicente

Thesis Advisors: costabuenovicente@gmail.com, Dellunde i Clavé, Pilar

Source: TDX (Tesis Doctorals en Xarxa)

Subject Terms: Clàusula de Horn, Cláusula de Horn, Horn clause, Intel·ligència artificial explicativa, Inteligencia artificial explicativa, Explainable ai, Lògiques difuses, Lógicas difusas, Fuzzy logics, Ciències Humanes

File Description: application/pdf

Access URL: http://hdl.handle.net/10803/673374

How Do Students Create Algorithms? Exploring a Group's Attempt to Maximise Happiness

Authors: Mathematics Education Research Group of Australasia Moala, John Griffith

Source: Mathematics Education Research Group of Australasia. 2018Paper presented at the Annual Meeting of the Mathematics Education Research Group of Australasia (MERGA) (41st, Auckland, New Zealand, 2018).

Peer Reviewed: N

Page Count: 8

Descriptors: Mathematics, Group Activities, Graphs, Foreign Countries, High School Seniors, Calculus, Problem Solving, Mathematical Logic, Cognitive Style

Geographic Terms: New Zealand

Some Application of Nevanlinna Theory to Mathematical Logic: Identities Exponential Functions

Authors: Henson, C. Ward Rubel, Lee A.

Source: Transactions of the American Mathematical Society, 1984 Mar 01. 282(1), 1-32.

Access URL: https://www.jstor.org/stable/1999575

Computer Aided Verification

Contributors: Chockler, Hana Weissenbacher, Georg

Subject Terms: Computer science, Computer logic, Software engineering, Artificial intelligence, Mathematical logic, Algorithms, Computer simulation, Computer programming / software engineering, Algorithms and data structures, Software Engineering, Mathematical theory of computation, Computer modelling and simulation

File Description: application/pdf

Relation: Lecture Notes in Computer Science

Access URL: http://library.oapen.org/handle/20.500.12657/23316

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

Authors: Palka, Ewa

Source: 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

Access URL: https://www.jstor.org/stable/20016745

Kolmogorov and Mathematical Logic

Authors: Uspensky, Vladimir A.

Source: The Journal of Symbolic Logic, 1992 Jun 01. 57(2), 385-412.

Access URL: https://www.jstor.org/stable/2275276

VON NEUMANN, GÖDEL AND COMPLEXITY THEORY

Authors: URQUHART, ALASDAIR

Source: The Bulletin of Symbolic Logic, 2010 Dec 01. 16(4), 516-530.

Access URL: https://www.jstor.org/stable/40961368

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

Authors: Mendelson, Elliott

Source: Studia Logica: An International Journal for Symbolic Logic, 2005 Apr 01. 79(3), 409-410.

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

Access URL: https://www.jstor.org/stable/20016698

The Amazing Journey of Reason

Authors: Alemi, Mario

Subject Terms: Computer science, Computer science—Mathematics, Input-output equipment (Computers), Computer communication systems, Operating systems (Computers), Algorithms, Mathematical logic, Network hardware, Operating systems, Algorithms and data structures, Computer networking and communications, Mathematical theory of computation, Maths for computer scientists

File Description: application/pdf

Relation: SpringerBriefs in Computer Science

Access URL: http://library.oapen.org/handle/20.500.12657/23086