*sublabel_EDS*

*custom_text_above_search_result**custom_text_above_search_result_EDS*

*Showing* 1 - 20 *of* 31*number_thousands_separator*476

1

Mathematical Logic through Python.
SWIFT, TIM
Bulletin of the Irish Mathematical Society. Winter2023/2024, Issue 92, p65-67. 3p.

MATHEMATICAL logic PYTHON programming langu... PYTHONS MATHEMATICAL programming MATHEMATICAL proofs COMPUTER science student...
*Academic Journal*
2

The Impact of Computational Thinking on Logical-Mathematical Reasoning in High School Education: A Quasi-Experimental Study.
Pajares Pescador, Rubén ; Martín-Antón, Luis Jorge ; Carbonero-Martín, Miguel Á.
Education Sciences; Feb2026, Vol. 16 Issue 2, p345, 18p

COMPUTATIONAL thinking MATHEMATICAL logic SECONDARY education EDUCATIONAL programs VISUAL programming langu... PYTHON programming langu...
*Academic Journal*
3

Mathematical Logic through Python
Gonczarowski, Yannai A. ; Nisan, Noam
ISBN 9781108954464 9781108845076 9781108949477.

*Book*
4

Thinking Machines: Mathematical Reasoning in the Age of LLMs.
Asperti, Andrea ; Naibo, Alberto ; Sacerdoti Coen, Claudio
Big Data & Cognitive Computing; Jan2026, Vol. 10 Issue 1, p38, 36p

LANGUAGE models MATHEMATICAL proofs LOGIC MATHEMATICAL logic MACHINE learning COMPUTER programming
*Academic Journal*
5

Optimizing security in the Metaverse using DLP – Data Loss Prevention and Paraconsistent Logic.
de Lima, Luigi Pavarini ; Sakamoto, Liliam Sayuri ; Abe, Jair Minoro ; et al.
Procedia Computer Science. 2025, Vol. 270, p357-373. 17p.

Non-fungible tokens Data protection Artificial intelligence Internet security Shared virtual environme... Information assurance
*Academic Journal*
6

Combining Building Block Process with Computational Thinking Improves Learning Outcomes of Python Programming with Peer Assessment
Tsung-Chih Hsiao ; Ya-Hsueh Chuang ; Chien-Yun Chang ; et al.
15

Computer Science Educati... Computation Thinking Skills Programming Programming Languages Peer Evaluation
*Academic Journal*
7

DEVELOPMENT OF COMPUTATIONAL THINKING SKILLS THROUGH MATHEMATICAL MODELLING: A SELF-EFFICACY PERSPECTIVE.
HAKSEVER, Ümmi Gülsün ; TAŞPINAR ŞENER, Zehra ; KERT, Serhat Bahadır
International Journal of Education Technology & Scientific Researches; 2024, Vol. 9 Issue 28, p603-618, 16p

PREPARATORY school stude... SECONDARY school curricu... SYSTEMS software PROBLEM solving MATHEMATICAL models PYTHON programming langu...
*Academic Journal*
8

Mathematical model of adaptive hierarchical high-level control of a three-link collaborative robot-manipulator
INNOVATIVE TECHNOLOGIES AND SCIENTIFIC SOLUTIONS FOR INDUSTRIES; No. 2(32) (2025): Innovative Technologies and Scientific Solutions for Industries; 58-68; 58-68; 58-68; 2524-2296; 2522-9818

*Electronic Resource*
9

Tableaux for metainferential logics.
Bavosa Castro, A. ; Borzi, A. ; Da Ré, B. ; et al.
Journal of Applied Non-Classical Logics; Mar2026, Vol. 36 Issue 1, p113-146, 34p

INFERENCE (Logic) NONCLASSICAL mathematica... EDUCATION software COMPUTER software execut...
*Academic Journal*
10

A Multimodal AI System: Comparing LLMs and Theorem Proving Systems †.
Bradford, Phillip G. ; Orphys, Henry
Electronics (2079-9292); Feb2026, Vol. 15 Issue 4, p892, 31p

LEGAL reasoning FIRST-order logic SEMANTICS (Philosophy) ARTIFICIAL intelligence MATHEMATICS theorems MATHEMATICAL logic
*Academic Journal*
11

AI Supported Python Programming in Architectural Form-Finding Processes
Devetaković, Mirjana ; Devetaković, Mirjana ; Ivanović, Jelena ; et al.
Proceedings [of] The International Conference Synergy of Architecture & Civil Engineering, SINARG 2025, Niš (Serbia), September 11-12, 2025. Vol. 4

*Electronic Resource*
13

Improving Computational Thinking for Middle School Students Through Python Programming: Interaction Effect Analysis of Grade Level and Gender.
Sun, Lihui ; Liu, Junjie
Journal of Educational Computing Research; Jul2025, Vol. 63 Issue 4, p902-929, 28p

MIDDLE school students EIGHTH grade (Education) MIDDLE school education NINTH grade (Education) CURRICULUM PYTHON programming langu...
*Academic Journal*
14

Exploring the interplay between AI and human logic in mathematical problem-solving.
Shanzhen Gao ; Weizheng Gao ; Malomo, Olumide ; et al.
Online Journal of Applied Knowledge Management; 2024, Vol. 12 Issue 1, p73-93, 21p

ARTIFICIAL intelligence MATHEMATICS education EPISTEMIC logic MATHEMATICAL logic MATHEMATICAL domains
*Academic Journal*
15

Layered Verification Strategies for AI Accelerator Hardware: Matrix Engines and SRAM Buffers.
Reddy, Kaushik Velapa
Journal of Computer Science & Technology Studies; 2025, Vol. 7 Issue 5, p786-795, 10p

ARTIFICIAL intelligence MATHEMATICAL models STATIC random access mem... TEST systems SYNCHRONIZATION
*Academic Journal*
16

MATRIX-MFO Tandem Workshop: Machine Learning and AI for Mathematics.
Oberwolfach Reports; 2025, Vol. 22 Issue 3, p2323-2350, 26p

MACHINE learning MATHEMATICS MATHEMATICAL logic ARTIFICIAL intelligence REINFORCEMENT learning DEEP learning
*Academic Journal*
17

Polynomial-Computable Representation of Neural Networks in Semantic Programming.
Goncharov, Sergey ; Nechesov, Andrey
J: Multidisciplinary Scientific Journal; Mar2023, Vol. 6 Issue 1, p48-57, 10p

PROGRAMMING languages FEEDFORWARD neural netwo... MATHEMATICAL logic PYTHON programming langu... ARTIFICIAL intelligence MATHEMATICAL formulas
*Academic Journal*
18

On Programmatic Aspects of the Universality, Parameter, and Recursion Theorems of Classical Computability.
Kulyukin, Vladimir A.
Mathematics (2227-7390); Jul2025, Vol. 13 Issue 13, p2090, 24p

RECURSION theory MATHEMATICAL logic PROOF theory PROGRAMMING languages
*Academic Journal*
19

CONSTRUCTION OF A MODEL FOR MATCHING USER'S LINGUISTIC STRUCTURES TO A CHATBOT LANGUAGE MODEL.
Kryazhych, Olha ; Vasenko, Oleksandr ; Isak, Liudmyla ; et al.
Eastern-European Journal of Enterprise Technologies; 2024, Vol. 129 Issue 2, p34-41, 8p

CHATBOTS GENERATIVE artificial in... LANGUAGE models LINGUISTIC models MATHEMATICAL logic NATURAL languages
*Academic Journal*
20

AI Reasoning in Deep Learning Era: From Symbolic AI to Neural–Symbolic AI.
Liang, Baoyu ; Wang, Yuchen ; Tong, Chao
Mathematics (2227-7390); Jun2025, Vol. 13 Issue 11, p1707, 42p

ARTIFICIAL intelligence LOGIC programming MATHEMATICAL logic DEEP learning BRITTLENESS SCALABILITY
*Academic Journal*

*Filter*