Results 101 to 110 of about 528,576 (239)

1936: Post, Turing and ‘a kind of miracle’ in mathematical logic [PDF]

, 2004
Graham Hoare
openalex   +1 more source

The Methodical Recommendations of Study of a Theme “Normal Forms for the Formulas of Algebra of the Statements” with use of Integrated Program Environment “MatLog”.

Ìнформаційні технології в освіті, 2008
In the article the speech goes about implementation of new information technologies in process of mathematical logic learning at the Kherson State University.
Y. I. Sinko
doaj  

Mathematical Logic in Asia [PDF]

, 2006
Vladimir Kanovei, Michael Reeken
openalex   +1 more source

Introduction to mathematical logic - A problem solving course

, 1996
Arnold W. Miller
openalex   +2 more sources

Features of Mathematical Theories in Formal Fuzzy Logic [PDF]

, 2007
Libor Běhounek, Petr Cintula
openalex   +1 more source

The effect of Prospective Science Teachers’ Achievement Levels in Procedures and Mathematical Logic Knowledge on their Declarative Knowledge about Newton’s Laws of Motion

Sakarya Üniversitesi Eğitim Fakültesi Dergisi, 2014
The present paper is focused on the effect of prospective science teachers’ knowledge and achievement levels in mathematical logic on their declarative knowledge and achievement levels in Newton’s laws of motion.
İsmail Yılmaz, Necati Yalçın
doaj  

The Age of Alternative Logics. Assessing Philosophy of Logic and Mathematics Today [PDF]

, 2008
Oskar Hansson
openalex   +1 more source

Design and simulation of a PLC-controlled omni wheel conveyor sorting system for high-speed material handling. [PDF]

Sci Rep
Bhat R, Suresh S, Devakumar D, Subramanian KR, Dhanush D, Krishnan S.   +5 more
europepmc   +1 more source

Vector analog computing via on-demand metasurface dispersive polarization transformation. [PDF]

Sci Adv
Yang H, Xu J, Peng M, He H, Jiang Y, Yu D, Jin R, Gu Y, Hu Y, Duan H, Jing H.   +10 more
europepmc   +1 more source

Is Mathematical Logic a Part of Mathematics?

Historia Mathematica, 1997
openaire   +2 more sources