Results 111 to 120 of about 56,783 (314)
Образование и наука, 2015 The research subject concerns the discrete mathematics teaching - a fundamental aspect of training the future teachers of mathematics and computer science.
V. I. Igoshin
doaj +1 more source
Mathematical Logic: Foundations and Beyond [PDF]
, 2018 Mathematical logic serves as the cornerstone of formal reasoning, providing precise tools for analyzing the structure and validity of arguments. This paper offers a comprehensive exploration of key topics in mathematical logic, spanning from classical ...
Bala, Romi, Pandey, Hemant
core +1 more source
Automated Extraction of Multicomponent Alloy Data Using Large Language Models for Sustainable Design
Advanced Science, EarlyView.A large language model (LLM) based pipeline is developed to automatically extract a comprehensive and accurate multicomponent alloy database from literature corpus. The extracted dataset is integrated with sustainability indicators to identify potential alloys that outperform existing industrial benchmark materials in terms of both performance and ...
Aravindan Kamatchi Sundaram +4 more
wiley +1 more source
Topological modular forms and conformal nets [PDF]
, 2011 We describe the role conformal nets, a mathematical model for conformal field theory, could play in a geometric definition of the generalized cohomology theory TMF of topological modular forms.
Sati, H. +10 more
core +2 more sources
Femtosecond‐Laser‐Induced Physical Unclonable Random Maze Structure for Storage‐Free Encryption
Advanced Science, EarlyView.Femtosecond‐laser‐induced gold random maze structures serve as multimodal physical unclonable functions for storage‐free encryption. Their stochastic optical, electrical, and Raman responses are generated by plasmon‐assisted Marangoni formation and converted into AES‐compatible keys without permanent secret‐key storage, offering a portable route toward
Shiru Jiang +6 more
wiley +1 more source
The future of post-human mathematical logic [PDF]
, 2008 Why should mathematical logic be grounded on the basis of some formal requirements in the way that it has been developed since its classical emergence as a hybrid field of mathematics and logic in the 19th century or earlier?
Baofu, Peter
core
Advanced Science, EarlyView.This paper illustrates a knowledge‐augmented dual‐track AI framework for advanced superalloy design. First, Large Language Models translate metallurgical heuristics into explicit rules to rapidly prune a vast compositional search space. Subsequently, LLM‐distilled priors safely guide a reinforcement learning agent during autonomous process optimization,
Jian Yao +9 more
wiley +1 more source
Sliding Ferroelectricity Driven Spin‐Layertronics in Altermagnetic Multilayers
Advanced Science, EarlyView.Integrating sliding ferroelectricity with altermagnetism enables nonvolatile electrical control of spin and layer degrees of freedom. In bilayer CuF2, interlayer translation reverses layer‐locked spin‐split bands, establishing a multifunctional “spin‐layertronic” platform.
Rui Peng +5 more
wiley +1 more source
Ìнформаційні технології в освіті, 2008 Sinko Yuri. “The general principles and requirements to construction of methodical learning system of mathematical logic with use of information technologies”. In the article the speech goes about implementation of new information technologies in process
Y. I. Sinko
doaj
ON THE MATHEMATICS OF LOGIC AND THE LOGIC OF MATHEMATICS
, 2016 In this paper we deal with two different approaches to logic, the Boolean and the Fregean. In particular, we give some reasons to explain certain ignorance of the Boolean approach at some Philosophy Departments, particularly in the teaching of logic. After giving some reasons for the convenience of combining both approaches, we recommend material on ...
openaire +1 more source