Treffer 1 - 20 von 25.021

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...
Fachzeitschrift
Merkliste
2

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

Buch
Merkliste
3

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
Fachzeitschrift
Merkliste
4

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
Fachzeitschrift
Merkliste
5

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...
Fachzeitschrift
Merkliste
6

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

E-Ressource
Merkliste
7

RaspyLab: A Low-Cost Remote Laboratory to Learn Programming and Physical Computing Through Python and Raspberry Pi
Ariza, J.A. ; Gil, S.G.
IEEE Revista Iberoamericana de Tecnologias del Aprendizaje IEEE R. Iberoamericana Tecnologias Aprendizaje Tecnologias del Aprendizaje, IEEE Revista Iberoamericana de. 17(2):140-149 May, 2022

Fachzeitschrift
Merkliste
8

Extracting Formulae in Many-Valued Logic From Deep Neural Networks
Zhang, Y. ; Bolcskei, H.
IEEE Transactions on Signal Processing IEEE Trans. Signal Process. Signal Processing, IEEE Transactions on. 74:1-12 2026

Fachzeitschrift
Merkliste
9

The Silent (R)evolution of SAT.
FICHTE, JOHANNES K. ; LE BERRE, DANIEL ; HECHER, MARKUS ; et al.
Communications of the ACM. Jun2023, Vol. 66 Issue 6, p64-72. 9p. 4 Diagrams, 1 Chart.

Zeitschrift
Merkliste
10

Topological constraints of gate-level circuits obtained through standard cell recognition (SCR)
Hsia, L. A. ; Vernizzi, G. ; Lanzerotti, M. Y. ; et al.
2015 National Aerospace and Electronics Conference (NAECON) Aerospace and Electronics Conference (NAECON), 2015 National. :165-175 Jun, 2015

Konferenz
Merkliste
11

Combining Building Block Process With Computational Thinking Improves Learning Outcomes of Python Programming With Peer Assessment.
Hsiao, Tsung-Chih ; Chuang, Ya-Hsueh ; Chang, Chien-Yun ; et al.
SAGE Open; Oct-Dec2023, Vol. 13 Issue 4, p1-15, 15p

PYTHON programming langu... EDUCATIONAL outcomes TECHNICAL education INFORMATION technology DESCRIPTIVE statistics TEACHING methods
Fachzeitschrift
Merkliste
12

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

E-Ressource
Merkliste
13

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
Fachzeitschrift
Merkliste
14

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...
Fachzeitschrift
Merkliste
15

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
Fachzeitschrift
Merkliste
16

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
Fachzeitschrift
Merkliste
17

Quantum Serious Games to Boost Quantum Literacy within Computational Thinking 2.0 Framework
Xenakis, Apostolos ; Avramouli, Maria ; Sabani, Maria ; et al.
2023 IEEE Global Engineering Education Conference (EDUCON) Engineering Education Conference (EDUCON), 2023 IEEE Global. :1-9 May, 2023

Konferenz
Merkliste
18

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
Fachzeitschrift
Merkliste
19

Problem Based Gamification to Enhance Quantum Literacy within Computational Thinking 2.0 Framework
Xenakis, Apostolos ; Sabani, Maria ; Avramouli, Maria ; et al.
2023 IEEE Integrated STEM Education Conference (ISEC) Integrated STEM Education Conference (ISEC), 2023 IEEE. :103-110 Mar, 2023

Konferenz
Merkliste
20

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
Fachzeitschrift
Merkliste

Filter